diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-09-11 20:45:02 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-09-13 18:59:32 +0200 |
commit | e88dfedd99a84e9e375f3583be6fd1de3de36c72 (patch) | |
tree | 62b302200eed2ab08f4b71e147df4aae9bb4c5b9 /Makefile.build | |
parent | 712c0f124da2322dc58b012a110894329360581d (diff) |
Supporting library names in utf8 in coqdep.
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index 26a40c6cc..db821d485 100644 --- a/Makefile.build +++ b/Makefile.build @@ -429,6 +429,7 @@ tools: $(TOOLS) $(OCAMLLIBDEP) $(COQDEPBOOT) # is being built. COQDEPBOOTSRC := lib/minisys.cmo \ + lib/segmenttree.cmo lib/unicodetable.cmo lib/unicode.cmo \ tools/coqdep_lexer.cmo tools/coqdep_common.cmo tools/coqdep_boot.cmo tools/coqdep_lexer.cmo : tools/coqdep_lexer.cmi @@ -449,6 +450,7 @@ $(OCAMLLIBDEP): $(call bestobj, tools/ocamllibdep.cmo) # The full coqdep (unused by this build, but distributed by make install) COQDEPCMO:=lib/clib.cma lib/cErrors.cmo lib/cWarnings.cmo lib/minisys.cmo \ + lib/segmenttree.cmo lib/unicodetable.cmo lib/unicode.cmo \ lib/system.cmo tools/coqdep_lexer.cmo tools/coqdep_common.cmo \ tools/coqdep.cmo |