Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 27396 77ea650bfc3a
parent 27368 9f90ac19e32b
child 27421 7e458bd56860 
--- a/src/HOL/IsaMakefile	Mon Jun 30 13:41:28 2008 +0200
+++ b/src/HOL/IsaMakefile	Mon Jun 30 13:41:30 2008 +0200
@@ -321,7 +321,7 @@
   Tools/Qelim/ferrante_rackoff_data.ML \
   Tools/Qelim/langford.ML \
   Tools/Qelim/langford_data.ML
-	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
+	@cd Complex; $(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/HOL HOL-Complex
 
 
 ## HOL-Complex-ex
isabelle