You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5715 Reporter:@lefessan Status: closed (set by @xavierleroy on 2015-12-11T18:08:08Z) Resolution: unable to duplicate Priority: normal Severity: minor Version: 4.00.0 Category: configure and build/install
Bug description
I tried to compile OCaml 4.00.0 with disabled shared libraries using:
generated by ./configure --prefix /home/lefessan/.ocaml/roots/ocaml-4.00.0 -with-debug-runtime -no-shared-libs
"- Doctor, it hurts when I disable shared libraries.
Well, don't do that, then."
More technically: something is weird indeed, since in your configuration, the various .cma libraries should contain the "force -custom mode" flag. You should use ocamlobjinfo to check unix.cma, labltk.cma and str.cma. If the "force custom" flag is not here, check how ocamlmklib was configured.
Which OS are you using? Did you do "make clean distclean" before configure?
On Mac OS X, I don't get any error. On Cygwin, I get a different error (because C libraries are passed with -ccopt instead of -cclib, and they get linked in the wrong order -- I'm going to fix that).
Original bug ID: 5715
Reporter: @lefessan
Status: closed (set by @xavierleroy on 2015-12-11T18:08:08Z)
Resolution: unable to duplicate
Priority: normal
Severity: minor
Version: 4.00.0
Category: configure and build/install
Bug description
I tried to compile OCaml 4.00.0 with disabled shared libraries using:
generated by ./configure --prefix /home/lefessan/.ocaml/roots/ocaml-4.00.0 -with-debug-runtime -no-shared-libs
and compilation failed at:
make[3]: Entering directory `/home/lefessan/devel/ocaml-4.00.0/otherlibs/labltk/lib'
../../../ocamlcomp.sh -verbose -linkall -o labltktop -I ../support
../../../compilerlibs/ocamlcommon.cma ../../../compilerlibs/ocamlbytecomp.cma ../../../compilerlibs/ocamltoplevel.cma
-I ../../../otherlibs/unix -I ../../../otherlibs/win32unix unix.cma
-I ../labltk -I ../camltk labltk.cma
-I ../../../otherlibs/str str.cma
../../../toplevel/topstart.cmo
File "none", line 1:
Error: Error on dynamically loaded library: ../../../otherlibs/unix/dllunix.so: dynamic loading not supported on this platform
make[3]: *** [labltktop] Error 2
The text was updated successfully, but these errors were encountered: