Date: Tue, 06 Oct 2009 23:04:11 +0200 From: "Boris Hollas" <boris.hollas@gmx.de> To: stas@freebsd.org Cc: ports@freebsd.org Subject: FreeBSD Port: ocaml-3.11 Message-ID: <op.u1ecs9whk2i85h@lifebook>
next in thread | raw e-mail | index | archive | help
Hello, I discovered a strange problem with the FreeBSD port of OCaml. Frama-C/Jessie is a formal verification framework for C code, written in OCaml. The Beryllium distribution [1] compiles on OpenBSD, NetBSD, and Linux, but not on FreeBSD. On FreeBSD 7.2, I tried OCaml 3.11.0 as well as OCaml 3.11.1 [2]. However, I was able to compile [1] with OCaml 3.11.1 on Debian testing. On both platforms, I used ./configure && make (gmake on FreeBSD). Any ideas? Cheers, Boris [1] http://frama-c.cea.fr/download/frama-c-Beryllium-20090901.tar.gz [2] http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-September/001445.html I just tried to compile frama-c-Beryllium-20090901 on FreeBSD 7.2 with OCaml 3.11.0. Compiling stops with File "src/jessie/interp.mli", line 26, characters 0-7: Error: Unbound module Jc gmake: *** [src/jessie/interp.cmi] Error 2 http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-October/001448.html Hi Richard, no success with Ocaml 3.11.1 either: Ocamlc src/jessie/interp.cmi File "src/jessie/interp.mli", line 26, characters 0-7: Error: Unbound module Jc gmake: *** [src/jessie/interp.cmi] Error 2 Maybe it's a problem with the makefile. Does it compile on Debian testing? On Thu, 01 Oct 2009 10:07:58 +0200, Richard Bonichon <richard.bonichon at gmail.com> wrote: > Hi Boris, > >> OCaml 3.11.0. Compiling stops with >> >> File "src/jessie/interp.mli", line 26, characters 0-7: >> Error: Unbound module Jc >> gmake: *** [src/jessie/interp.cmi] Error 2 > > AFAIK, the problem you describe is not related to FreeBSD (the version > you use compiles and runs on both Open- and NetBSD, so there is no > reason this should not be the case on FreeBSD). > > Have you tried something along the lines of: > % gmake clean > % gmake depend > % gmake > (I assume your compilation process has been properly configured) > > Aside from that (and not related to it), why not use the latest OCaml > version (ie. 3.11.1) ported to FreeBSD? > > Cheers,
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?op.u1ecs9whk2i85h>