2012/2/27 Damien Doligez <damien.doligez@inria.fr>

> Hi Alan,
> > Following a suggestion by Daniel Bünzli, I used the minimum example from
> http://caml.inria.fr/mantis/view.php?id=5093 then I can see that native
> dynlink does work.
> >
> > However two questions remain. I get `ld: warning: -read_only_relocs
> cannot be used with x86_64` each time I link natively. Does this mean I
> should reopen http://caml.inria.fr/mantis/view.php?id=4863 (the patch
> there is applied to my version of caml)?
>
> Which version of Mac OS X, which version of OCaml, and what is the output
> of configure?
>
I had it in Mac Lion ( 10.7.3  - 11.3.0 Darwin Kernel Version 11.3.0: Thu
Jan 12 18:47:41 PST 2012; root:xnu-1699.24.23~1/RELEASE_X86_64 x86_64 )
Example, compiling Ocsigen :
(end of make...)
ocamlfind ocamlc  -thread -o ocsigenserver -linkpkg -linkall  -thread -I
../baselib -I ../http -package lwt.ssl -package lwt.extra -package
netstring -package findlib -package cryptokit -package tyxml -package
tyxml.parser -package dynlink -package tyxml.syntax -I .
../baselib/parsecommandline.cma ../baselib/baselib.cma
../baselib/polytables.cma ../http/http.cma ocsigenserver.cma server_main.cmo
File "_none_", line 1, characters 0-1:
Error: Error while linking
/opt/local/lib/ocaml/camlp4/camlp4lib.cma(Camlp4):
Reference to undefined global `Dynlink'
make[4]: *** [ocsigenserver] Error 2
make[3]: *** [all] Error 2
make[2]: *** [all] Error 2
make[1]: *** [do-ocsigenserver-build] Error 2
make: *** [.ocsigenserver-build] Error 2


> > Also, when running why3, I get some undefined symbols (_camlRandom,
> _camlParsing, _camlString). Where are these symbols defined?
>
> Looks like modules of the standard library, right ?
>
>
> Here, i have :
File "_none_", line 1, characters 0-1:
Error: Cannot find file dynlink.cmxa
make: *** [bin/why3config.opt] Error 2
make: *** Waiting for unfinished jobs....

configure of why3 :
$ ./configure  --enable-menhirlib --enable-doc
checking executable suffix... <none>
checking for ocamlc... ocamlc
ocaml version is 3.12.1
ocaml library path is /opt/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for camlp5o... camlp5o
checking for ocamlfind... yes
checking for menhir... menhir
ocamlfind found menhir library in /opt/local/lib/ocaml/site-lib/menhirLib
checking for rubber... no
configure: WARNING: cannot find rubber
ocamlfind found lablgtk2 in /opt/local/lib/ocaml/lablgtk2
ocamlfind found sqlite3 in /opt/local/lib/ocaml/site-lib/sqlite3
checking for coqc... coqc
checking Coq version... 8.3pl2
checking for /usr/local/lib/coq/kernel/term.cmi... yes
ocamlfind found ocamlgraph in /opt/local/lib/ocaml/site-lib/ocamlgraph
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/config.sh
config.status: creating doc/version.tex
config.status: creating share/provers-detection-data.conf
config.status: creating META
config.status: executing chmod commands

                 Summary
-----------------------------------------
OCaml version           : 3.12.1
OCaml library path      : /opt/local/lib/ocaml
Verbose make            : no
Why IDE                 : yes
Why bench tool          : yes
Why documentation       : no
Why plugins             : yes
Coq plugin support      : no  (not yet implemented)
TPTP parser             : yes
Menhir library          : yes
hypothesis selection    : yes
profiling               : no
localdir                : no

>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>


-- 
---------------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne