build

   echo "ML_HOME=$ML_HOME"
   echo "ML_OPTIONS=$ML_OPTIONS"
   echo "ML_PLATFORM=$ML_PLATFORM"
   echo
   echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
+  echo "HOL_USEDIR_OPTIONS=$HOL_USEDIR_OPTIONS"
   echo
 fi
 
 
 # build it