export AXIOM

system=`uname -s`

case "$system" in
    Linux) clef -e $AXIOM/bin/AXIOMsys "$@"
        ;;
    
    *)
        echo "Warning: I don't know if clef is supported on your system ($system) so clef is disabled."
        echo " You can try it by issuing \"clef -e $AXIOM/bin/AXIOMsys $@\" command."
        echo " If it works, please report to axiom-developer@nongnu.org."
        $AXIOM/bin/AXIOMsys "$@"
        ;;
esac;
