diff options
| author | barras | 2009-03-16 18:27:31 +0000 |
|---|---|---|
| committer | barras | 2009-03-16 18:27:31 +0000 |
| commit | ae744b3df410ed903a57c2142d29bc3ef301defe (patch) | |
| tree | 3c6a94b7f14931463a1d4ba1e393ca046fe75857 /Makefile.common | |
| parent | d63dee24c817560a6fea49dfe0c851b4df25ecf7 (diff) | |
missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was included in coqdep
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11985 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index 3d5f88f9a8..0fc205b2db 100644 --- a/Makefile.common +++ b/Makefile.common @@ -358,9 +358,10 @@ CSDPCERTCMX:= $(CSDPCERTCMO:.cmo=.cmx) DEBUGPRINTERS:=dev/top_printers.cmo dev/vm_printers.cmo dev/printers.cma -COQDEPBOOTML:=tools/coqdep_lexer.ml tools/coqdep_boot.ml +COQDEPBOOTML:=tools/coqdep_lexer.ml tools/coqdep_common.ml tools/coqdep_boot.ml +COQDEPML:=tools/coqdep_lexer.ml tools/coqdep_common.ml tools/coqdep.ml -COQDEPCMO:=$(COQENVCMO) $(COQDEPBOOTML:.ml=.cmo) tools/coqdep.cmo +COQDEPCMO:=$(COQENVCMO) $(COQDEPML:.ml=.cmo) COQDEPCMX:=$(COQDEPCMO:.cmo=.cmx) GALLINACMO:=tools/gallina_lexer.cmo tools/gallina.cmo |