removed target RAW-ProofGeneral (impractical to maintain);
authorwenzelm
Mon Jul 09 23:12:29 2007 +0200 (2007-07-09)
changeset 236695d3c022cbf97
parent 23668 8b5a2a79a6e3
child 23670 681ffad36776
removed target RAW-ProofGeneral (impractical to maintain);
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/IsaMakefile	Mon Jul 09 22:40:57 2007 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Jul 09 23:12:29 2007 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  default: Pure
     1.6  images: Pure
     1.7 -test: RAW RAW-ProofGeneral
     1.8 +test: RAW
     1.9  all: images test
    1.10  
    1.11  
    1.12 @@ -82,19 +82,8 @@
    1.13    ML-Systems/smlnj.ML
    1.14  	@./mk -r
    1.15  
    1.16 -RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz
    1.17 -
    1.18 -$(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML		\
    1.19 -  ProofGeneral/parsing.ML ProofGeneral/pgip_input.ML				\
    1.20 -  ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML                     \
    1.21 -  ProofGeneral/pgip.ML ProofGeneral/pgip_output.ML ProofGeneral/pgip_tests.ML	\
    1.22 -  ProofGeneral/pgip_types.ML ProofGeneral/preferences.ML			\
    1.23 -  ProofGeneral/proof_general_pgip.ML ProofGeneral/proof_general_emacs.ML
    1.24 -	@./mk -R ProofGeneral/pgip_standalone.ML
    1.25 -
    1.26  
    1.27  ## clean
    1.28  
    1.29  clean:
    1.30 -	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \
    1.31 -	$(LOG)/RAW-ProofGeneral.gz
    1.32 +	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz