Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compilation fails with CIL on non default path at least on OSX #14

Open
GoogleCodeExporter opened this issue Jul 31, 2015 · 0 comments
Open

Comments

@GoogleCodeExporter
Copy link

Hello,

using CIL from gabriel's GIT repo, installed using ocamlfind in 
/opt/godi312/lib/ocaml/site-lib rather than /usr/local, I get the following 
build error :

ocamlfind ocamlc -g -package dynlink,unix,str,extlib,cil -I +camlp4 -I .. -c 
bitstring_import_c.ml
ocamlfind ocamlc -g -package dynlink,unix,str,extlib,cil -I +camlp4 -I .. 
camlp4lib.cma -linkpkg ../bitstring.cma ../bitstring_persistent.cma 
bitstring_import_c.cmo -o bitstring-import-c
ld: warning: directory '/usr/local/lib/cil' following -L not found
ocamlfind ocamlopt  -package dynlink,unix,str,extlib,cil -I +camlp4 -I .. -c 
bitstring_import_c.ml
ocamlfind ocamlopt  -package dynlink,unix,str,extlib,cil -I +camlp4 -I .. 
camlp4lib.cmxa -linkpkg ../bitstring.cmxa ../bitstring_persistent.cmxa 
bitstring_import_c.cmx -o bitstring-import-c.opt
ld: warning: directory '/usr/local/lib/cil' following -L not found

creating a symlink like so :

ln -s /opt/godi312/lib/ocaml/site-lib/cil /usr/local/lib/cil
fixes the issue.

Regards.

Original issue reported on code.google.com by [email protected] on 24 Nov 2011 at 10:06

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant