Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005715OCamlOCaml internal build/install (Makefiles, configure)public2012-08-03 14:212012-09-24 13:42
Reporterlefessan 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionunable to reproduce 
PlatformOSOS Version
Product Version4.00.0 
Target VersionFixed in Version 
Summary0005715: disabling shared libraries does not work
DescriptionI 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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007893)
xleroy (administrator)
2012-08-04 10:16

"- 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.

(0007933)
doligez (administrator)
2012-08-08 14:20

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).
(0008153)
xleroy (administrator)
2012-09-24 13:42

In the absence of new data, let me mark this PR as "unable to reproduce".

- Issue History
Date Modified Username Field Change
2012-08-03 14:21 lefessan New Issue
2012-08-04 10:16 xleroy Note Added: 0007893
2012-08-04 10:16 xleroy Status new => feedback
2012-08-08 14:20 doligez Note Added: 0007933
2012-08-08 14:37 doligez Summary disabling shared libraries dows not work => disabling shared libraries does not work
2012-09-06 16:43 doligez Target Version => 4.00.1+dev
2012-09-24 13:42 xleroy Note Added: 0008153
2012-09-24 13:42 xleroy Status feedback => resolved
2012-09-24 13:42 xleroy Resolution open => unable to reproduce
2012-09-24 13:42 xleroy Target Version 4.00.1+dev =>


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker