HOL_USEDIR_OPTIONS no longer applies to HOL-Plain (main HOL is rebuilt from Pure);
authorwenzelm
Sat Sep 27 14:26:06 2008 +0200 (2008-09-27)
changeset 28376f66ca5b982b4
parent 28375 c879d88d038a
child 28377 73b380ba1743
HOL_USEDIR_OPTIONS no longer applies to HOL-Plain (main HOL is rebuilt from Pure);
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Sep 26 19:07:56 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sat Sep 27 14:26:06 2008 +0200
     1.3 @@ -180,7 +180,7 @@
     1.4    $(SRC)/Tools/rat.ML
     1.5  
     1.6  $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES)
     1.7 -	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
     1.8 +	@$(ISATOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
     1.9  
    1.10  $(OUT)/HOL: ROOT.ML $(PLAIN_DEPENDENCIES) \
    1.11    Arith_Tools.thy \