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: 5031 Reporter: pascal_cuoq Assigned to:@damiendoligez Status: closed (set by @damiendoligez on 2010-04-30T14:45:06Z) Resolution: fixed Priority: normal Severity: major Fixed in version: 3.12.0+dev Category: ~DO NOT USE (was: OCaml general)
Bug description
On Mac OS X 10.6.3 with XCode 3.2.1, OCaml 3.12.0+dev18 from the public SVN was configured with:
Original bug ID: 5031
Reporter: pascal_cuoq
Assigned to: @damiendoligez
Status: closed (set by @damiendoligez on 2010-04-30T14:45:06Z)
Resolution: fixed
Priority: normal
Severity: major
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Bug description
On Mac OS X 10.6.3 with XCode 3.2.1, OCaml 3.12.0+dev18 from the public SVN was configured with:
./configure -cc "gcc -m32" -as "as -arch i386" -aspp "gcc -m32 -c" -prefix /usr/local/Frama-C_B/ocaml-3.12.0+dev18-32
With the two attached files, compiling with the command:
ocamlc.opt -I ptests -dtypes -vmthread -g -o ptests.byte unix.cma threads.cma str.cma dynlink.cma ptests_config.ml ptests.ml
produces the error:
File "ptests.ml", line 1, characters 0-1:
Error: Error on dynamically loaded library: /usr/local/Frama-C_B/ocaml-3.12.0+dev18-32/lib/ocaml/stublibs/dllunix.so: dlopen(/usr/local/Frama-C_B/ocaml-3.12.0+dev18-32/lib/ocaml/stublibs/dllunix.so, 138): Symbol not found: _caml_debugger_fork_mode
Referenced from: /usr/local/Frama-C_B/ocaml-3.12.0+dev18-32/lib/ocaml/stublibs/dllunix.so
Expected in: flat namespace
in /usr/local/Frama-C_B/ocaml-3.12.0+dev18-32/lib/ocaml/stublibs/dllunix.so
File attachments
The text was updated successfully, but these errors were encountered: