src/HOL/IsaMakefile
changeset 14042 61093a0ac760
parent 14031 3240066af013
child 14043 b776fd812bdd
     1.1 --- a/src/HOL/IsaMakefile	Fri May 23 17:18:10 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri May 23 17:19:53 2003 +0200
     1.3 @@ -4,6 +4,9 @@
     1.4  # IsaMakefile for HOL
     1.5  #
     1.6  
     1.7 +# for overriding proof objects in HOL image
     1.8 +HOL_PROOF_OBJECTS="-p 2"
     1.9 +
    1.10  ## targets
    1.11  
    1.12  default: HOL
    1.13 @@ -109,7 +112,7 @@
    1.14    Wellfounded_Recursion.ML Wellfounded_Recursion.thy Wellfounded_Relations.ML \
    1.15    Wellfounded_Relations.thy arith_data.ML blastdata.ML cladata.ML \
    1.16    document/root.tex hologic.ML meson_lemmas.ML simpdata.ML thy_syntax.ML
    1.17 -	@$(ISATOOL) usedir -b -g true -p 2 $(OUT)/Pure HOL
    1.18 +	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL
    1.19  
    1.20  
    1.21  ## HOL-Complex-HahnBanach