From c9b969a385e0998e42100c5d41d198860ceecd32 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Sun, 15 Sep 2019 17:29:23 +0100 Subject: [PATCH] Add .cmti files --- Makefile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 9771d45..44708b1 100644 --- a/Makefile +++ b/Makefile @@ -7,18 +7,19 @@ RESULT = cpdf ANNOTATE = true PACKS = camlpdf -OCAMLNCFLAGS = -g -bin-annot -safe-string -w -3 -annot -OCAMLBCFLAGS = -g -bin-annot -safe-string -w -3 -annot +OCAMLFLAGS = -bin-annot +OCAMLNCFLAGS = -g -safe-string -w -3 +OCAMLBCFLAGS = -g -safe-string -w -3 OCAMLLDFLAGS = -g all : native-code native-code-library byte-code-library top htdoc clean :: - rm -rf doc foo foo2 out.pdf out2.pdf *.cmt + rm -rf doc foo foo2 out.pdf out2.pdf *.cmt *.cmti LIBINSTALL_FILES = cpdf.a cpdf.cma cpdf.cmxa \ $(foreach x,$(MODS),$x.mli) $(foreach x,$(MODS),$x.cmi) \ -$(foreach x,$(MODS),$x.cmx) $(foreach x,$(MODS),$x.cmt) +$(foreach x,$(MODS),$x.cmx) $(foreach x,$(MODS),$x.cmti) install : libinstall