Install cmi, cmx and mli for CIL features

cil-project · Sep 4, 2013 · ddb6713 · ddb6713
1 parent ee33a61
commit ddb6713
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -84,7 +84,7 @@ ifeq ($(OCAMLNATDYNLINK),yes)
 endif
 endif
 
-CILLIB_FILES = $(OBJDIR)/src/cil.libfiles
+CILLIB_FILES = $(OBJDIR)/src/cil.libfiles $(addsuffix .libfiles,$(CIL_PLUGINS))
 CILDOC_INDEX = $(OBJDIR)/cil.docdir/index.html
 CILLY_EXE_BIN = $(patsubst $(OBJDIR)/src/main.%,bin/$(CILLY).%,$(CILLY_EXE_FILES))
 

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
@@ -13,7 +13,8 @@ let find_modules builder mllib =
   let build_result = builder dependencies in
   let built_files = List.filter_opt
     (function Good file -> Some (!Options.build_dir/file) | Bad _ -> None) build_result in
-  String.concat " " built_files
+  (* add a trailing space to ease concatenation of .libfiles *)
+  (String.concat " " built_files) ^ " "
 ;;
 
 let cil_version =