From 93de329b187dc323d8179f4ddda71d9a3639fe2e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 8 Jan 2010 14:43:07 +0000 Subject: [PATCH] CIL: Include dynlink for OCaml 3.11. --- cil-tools/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cil-tools/Makefile.in b/cil-tools/Makefile.in index ed41f8e..c439ecc 100644 --- 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) -- 1.8.3.1