git.annexia.org / ocaml-bitstring.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b1d2c32)
CIL: Include dynlink for OCaml 3.11.
authorRichard W.M. Jones <rich@annexia.org>
Fri, 8 Jan 2010 14:43:07 +0000 (14:43 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Fri, 8 Jan 2010 14:43:07 +0000 (14:43 +0000)
cil-tools/Makefile.in patch | blob | history

diff --git a/cil-tools/Makefile.in b/cil-tools/Makefile.in
index ed41f8e..c439ecc 100644 (file)
--- a/cil-tools/Makefile.in
+++ b/cil-tools/Makefile.in
@@ -28,7 +28,7 @@ INSTALL               = @INSTALL@
 enable_coverage = @enable_coverage@
 
 OCAMLCFLAGS    = -g
-OCAMLCPACKAGES = -package unix,str,extlib,cil -I +camlp4 -I ..
+OCAMLCPACKAGES = -package dynlink,unix,str,extlib,cil -I +camlp4 -I ..
 OCAMLCLIBS     = $(OCAMLCPACKAGES) camlp4lib.cma -linkpkg ../bitstring.cma ../bitstring_persistent.cma
 OCAMLOPTFLAGS  =
 OCAMLOPTPACKAGES = $(OCAMLCPACKAGES)
bitstrings for OCaml