build
changeset 5386 4325d853494a
parent 4581 52edf5ac3afa
child 5393 7299e531d481
equal deleted inserted replaced
5385:8fc3828fdc8a 5386:4325d853494a
    91   echo "                * Welcome to Isabelle build *"
    91   echo "                * Welcome to Isabelle build *"
    92   echo "                *****************************"
    92   echo "                *****************************"
    93   echo
    93   echo
    94   echo "Please check $ISABELLE_HOME/etc/settings"
    94   echo "Please check $ISABELLE_HOME/etc/settings"
    95   [ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
    95   [ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
    96   echo "to make sure that Isabelle's ML system settings are appropriate."
    96   echo "to make sure that Isabelle's ML system settings and compilation options"
       
    97   echo "are appropriate."
    97   echo
    98   echo
    98   echo "Your current values are:"
    99   echo "The current values are:"
    99   echo
   100   echo
   100   echo "  ML_SYSTEM=$ML_SYSTEM"
   101   echo "  ML_SYSTEM=$ML_SYSTEM"
   101   echo "  ML_HOME=$ML_HOME"
   102   echo "  ML_HOME=$ML_HOME"
   102   echo "  ML_OPTIONS=$ML_OPTIONS"
   103   echo "  ML_OPTIONS=$ML_OPTIONS"
       
   104   echo
       
   105   echo "  ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
   103 fi
   106 fi
   104 
   107 
   105 
   108 
   106 # check logics
   109 # check logics
   107 
   110