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

[Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2



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