Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added dependency for $(OUT)/Pure
authorkleing
Fri, 05 Jul 2002 11:18:05 +0200
changeset 13301 c505fc950cbe
parent 13300 debf9ef73e4e
child 13302 98ce70e7d1f7
added dependency for $(OUT)/Pure
src/FOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/FOL/IsaMakefile	Fri Jul 05 11:17:42 2002 +0200
+++ b/src/FOL/IsaMakefile	Fri Jul 05 11:18:05 2002 +0200
@@ -26,6 +26,8 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
+$(OUT)/Pure: Pure
+
 $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	$(SRC)/Provers/make_elim.ML \
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML \
isabelle