diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-01 00:59:46 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-01 00:59:46 +0200 |
commit | 114d5f0d0bca9f01d7a5ab3381a9b9ca4291191a (patch) | |
tree | 3aeacfad3a11279599bf4362f8318eb2d8b62ccd /Makefile.common | |
parent | 842dfef1d52c739119808ea1dec3509c0cf86435 (diff) | |
parent | d0a9edabf59a858625d11516cdb230d223a77aeb (diff) |
Merge branch 'yet-another-makefile-bigbang' into trunk
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 e7d092876..5bf49ed76 100644 --- a/Makefile.common +++ b/Makefile.common @@ -63,7 +63,7 @@ CSDPCERT:=plugins/micromega/csdpcert$(EXE) CORESRCDIRS:=\ config lib kernel kernel/byterun library \ proofs tactics pretyping interp stm \ - toplevel parsing printing grammar intf engine ltac + toplevel parsing printing intf engine ltac PLUGINS:=\ omega romega micromega quote \ @@ -85,6 +85,7 @@ CHKSRCDIRS:= config lib checker ########################################################################### COQDEP:=bin/coqdep$(EXE) +COQDEPBOOT:=bin/coqdep_boot$(EXE) OCAMLLIBDEP:=bin/ocamllibdep$(EXE) COQMAKEFILE:=bin/coq_makefile$(EXE) GALLINA:=bin/gallina$(EXE) @@ -258,7 +259,7 @@ CSDPCERTCMO:=$(addprefix plugins/micromega/, \ DEBUGPRINTERS:=dev/top_printers.cmo dev/vm_printers.cmo dev/printers.cma -COQDEPCMO:=$(COQENVCMO) lib/system.cmo tools/coqdep_lexer.cmo tools/coqdep_common.cmo tools/coqdep.cmo +COQDEPCMO:=$(COQENVCMO) lib/minisys.cmo lib/system.cmo tools/coqdep_lexer.cmo tools/coqdep_common.cmo tools/coqdep.cmo COQDOCCMO:=lib/clib.cma $(addprefix tools/coqdoc/, \ cdglobals.cmo alpha.cmo index.cmo tokens.cmo output.cmo cpretty.cmo main.cmo ) |