#!/bin/sh
set -e

case "$1" in
    configure)
        SPC_PKG_NAME="tuxedo-yt6801"
        SPC_PKG_VERSION="1.0.31"

        board_name="$(cat /sys/class/dmi/id/board_name)"
        base_path="/usr/src/$SPC_PKG_NAME-$SPC_PKG_VERSION"

        if [ "GXxHRXx" = "$board_name" ] || [ "GM5IXxA" = "$board_name" ]; then
            target="Kbuild_no_aspm"
        else
            target="Kbuild_default"
        fi

        ln -s $base_path/$target \
            $base_path/Kbuild


        # AUTOMATICALLY GENERATED POST-INSTALL CODE




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

        # END OF AUTOMATICALLY GENERATED POST-INSTALL CODE

    ;;

    abort-upgrade|abort-remove|abort-deconfigure)
    ;;

    *)
        echo "postinst called with unknown argument \`$1'" >&2
        exit 1
    ;;
esac

exit 0
