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)/FOL
authorkleing
Fri, 05 Jul 2002 11:17:42 +0200
changeset 13300 debf9ef73e4e
parent 13299 3a932abf97e8
child 13301 c505fc950cbe
added dependency for $(OUT)/FOL
src/CCL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/CCL/IsaMakefile	Thu Jul 04 18:29:50 2002 +0200
+++ b/src/CCL/IsaMakefile	Fri Jul 05 11:17:42 2002 +0200
@@ -26,6 +26,8 @@
 FOL:
 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
 
+$(OUT)/FOL: FOL
+
 $(OUT)/CCL: $(OUT)/FOL CCL.ML CCL.thy Fix.ML Fix.thy Gfp.ML Gfp.thy \
   Hered.ML Hered.thy Lfp.ML Lfp.thy ROOT.ML Set.ML Set.thy Term.ML \
   Term.thy Trancl.ML Trancl.thy Type.ML Type.thy Wfd.ML Wfd.thy \
isabelle