--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Why/Jessie plugin version 2.22 is out



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