--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on December 2009 ---
Hollas Boris (CR/AEY1) a ?crit : > Hello Julien, > > I set this in my .bashrc: > > export CAMLLIB=/cygdrive/c/Frama-C/lib > export CAML_LD_LIBRARY_PATH=/cygdrive/c/Frama-C/lib/stublibs > > Which seems to work: > ~> echo $CAMLLIB > /cygdrive/c/Frama-C/lib > ~> echo $CAML_LD_LIBRARY_PATH > /cygdrive/c/Frama-C/lib/stublibs > > However, there's also > ~> echo $OCAMLLIB > C:\Program Files\Objective Caml\lib > Which doesn't exist. > > Maybe I should set OCAMLLIB instead of CAMLLIB? Actually, if OCAMLLIB is set, it is used instead of CAMLLIB. So either you set OCAMLLIB to /cygdrive/c/Frama-C/lib, or you unset OCAMLLIB (and set CAMLLIB). Hope this helps, Julien