--- layout: fc_discuss_archives title: Message 7 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



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?

-Boris