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: 643 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: David Mentr'e
Version: 3.03 alpha -with-pthread
OS: Linux RedHat 7.1, glibc 2.2.4, x86
Submission from: pochi.inria.fr (128.93.8.128)
Hello,
I cannot compile my program with O'Caml 3.03 alpha in byte code mode. No
problem
with native code.
The error :
Error on dynamically loaded library:
/local/mentre/install/ocaml-3.03-alpha//lib/ocaml/libthreads.so: undefined
symbol: extern_sp
This problem occurs with ocamlc.opt, not bytecoded ocamlc. Need to include
dummy definitions of the global variables in question in the native runtime.
Fixed 2002-02-21 by XL.
Original bug ID: 643
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: David Mentr'e
Version: 3.03 alpha -with-pthread
OS: Linux RedHat 7.1, glibc 2.2.4, x86
Submission from: pochi.inria.fr (128.93.8.128)
Hello,
I cannot compile my program with O'Caml 3.03 alpha in byte code mode. No
problem
with native code.
The error :
Error on dynamically loaded library:
/local/mentre/install/ocaml-3.03-alpha//lib/ocaml/libthreads.so: undefined
symbol: extern_sp
This error is produced at the final linking step.
I put an archive of this program at the URL:
http://www-rocq.inria.fr/~mentre/tmp/adhocfs-bug-3.03alpha-no-bytecode.tar.gz
Do a 'make' to compile the bytecode program.
Do a 'make opt' to compile the program in native mode.
Sorry if this bug was already reported (I made a quick search but found
nothing).
Best regards,
d.
PS : I've made a ldd on the libthreads.so library:
ldd /local/mentre/install/ocaml-3.03-alpha//lib/ocaml/libthreads.so
libpthread.so.0 => /lib/libpthread.so.0 (0x40015000)
libc.so.6 => /lib/libc.so.6 (0x4002c000)
/lib/ld-linux.so.2 => /lib/ld-linux.so.2 (0x2aaaa000)
The text was updated successfully, but these errors were encountered: