
post_install() {
    SPC_PKG_NAME="tuxedo-drivers"
    SPC_PKG_VERSION="4.21.0"

    

    # AUTOMATICALLY GENERATED POST-INSTALL CODE




    # Run postinstall logic on debian
    if [ -f /usr/lib/dkms/common.postinst ]; then
    	/usr/lib/dkms/common.postinst tuxedo-drivers 4.21.0 \
    	    /usr/share/tuxedo-drivers-dkms "" $2
    elif [ -z "$RPM_OS" ]; then
        dkms add -m tuxedo-drivers -v 4.21.0 --rpm_safe_upgrade
        dkms build -m tuxedo-drivers -v 4.21.0
        dkms install -m tuxedo-drivers -v 4.21.0
    fi

    # END OF AUTOMATICALLY GENERATED POST-INSTALL CODE

}

pre_remove() {
    SPC_PKG_NAME="tuxedo-drivers"
    SPC_PKG_VERSION="4.21.0"

    

    # AUTOMATICALLY GENERATED PRE-REMOVE CODE



    if [ -f /usr/lib/dkms/common.postinstall ]; then
        if [ "$(dkms status -m tuxedo-drivers -v 4.21.0)" ]; then
            dkms remove -m tuxedo-drivers -v 4.21.0 --all
        fi
    elif [ -z "$RPM_OS" ]; then
        dkms remove -m tuxedo-drivers -v 4.21.0 --all --rpm_safe_upgrade || true
    fi

    # END OF AUTOMATICALLY GENERATED PRE-REMOVE CODE

}

