--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on October 2009 ---
Hello, I've further investigated the issue with the help of the maintainer of the FreeBSD Ocaml-port. I've been able to build Beryllium with env MAKE=gmake bash ./configure CFLAGS="-I/usr/local/include" LDFLAGS="-L/usr/local/lib" There seem to be two bugs in the configure script: - it requires bash, which doesn't have to be present on all systems. - it doesn't detect the location of include and of library files. -Boris