0005715: disabling shared libraries does not work

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005715

OCaml

OCaml internal build/install (Makefiles, configure)

public

2012-08-03 14:21

2012-09-24 13:42

Reporter

lefessan

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

unable to reproduce

Platform

OS Version

Product Version

4.00.0

Target Version

Fixed in Version

Summary

0005715: disabling shared libraries does not work

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

Tags

No 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 (manager) 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 =>