--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on December 2009 ---
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