[Why3-club] problem with why3config

Alan Schmitt alan.schmitt at polytechnique.org
Wed Feb 15 15:18:39 CET 2012


Hello,

I just compiled and installed the git version of why3, and I have an 
error running why3config:

== Found /usr/local/lib/why3/plugins/genequlin.cmxs ==
The plugin /usr/local/lib/why3/plugins/genequlin.cmxs dynlink failed :
Dynlink error : error loading shared library: 
dlopen(/usr/local/lib/why3/plugins/genequlin.cmxs, 134): Symbol not 
found: _camlRandom
   Referenced from: /usr/local/lib/why3/plugins/genequlin.cmxs
   Expected in: flat namespace
  in /usr/local/lib/why3/plugins/genequlin.cmxs
== Found /usr/local/lib/why3/plugins/tptp.cmxs ==
The plugin /usr/local/lib/why3/plugins/tptp.cmxs dynlink failed :
Dynlink error : error loading shared library: 
dlopen(/usr/local/lib/why3/plugins/tptp.cmxs, 134): Symbol not found: 
_camlParsing
   Referenced from: /usr/local/lib/why3/plugins/tptp.cmxs
   Expected in: flat namespace
  in /usr/local/lib/why3/plugins/tptp.cmxs
== Found /usr/local/lib/why3/plugins/tptpfof.cmxs ==
The plugin /usr/local/lib/why3/plugins/tptpfof.cmxs dynlink failed :
Dynlink error : error loading shared library: 
dlopen(/usr/local/lib/why3/plugins/tptpfof.cmxs, 134): Symbol not found: 
_camlString
   Referenced from: /usr/local/lib/why3/plugins/tptpfof.cmxs
   Expected in: flat namespace
  in /usr/local/lib/why3/plugins/tptpfof.cmxs

It seems that some libraries are not loaded before loading these 
plugins.

Alan



More information about the Why3-club mailing list