From owner-freebsd-ports@FreeBSD.ORG Tue Oct 6 21:31:03 2009 Return-Path: Delivered-To: ports@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 92D661065676 for ; Tue, 6 Oct 2009 21:31:03 +0000 (UTC) (envelope-from boris.hollas@gmx.de) Received: from mail.gmx.net (mail.gmx.net [213.165.64.20]) by mx1.freebsd.org (Postfix) with SMTP id 01B358FC14 for ; Tue, 6 Oct 2009 21:31:02 +0000 (UTC) Received: (qmail invoked by alias); 06 Oct 2009 21:04:21 -0000 Received: from p54A226B5.dip0.t-ipconnect.de (EHLO lifebook) [84.162.38.181] by mail.gmx.net (mp053) with SMTP; 06 Oct 2009 23:04:21 +0200 X-Authenticated: #34156689 X-Provags-ID: V01U2FsdGVkX1/lRpoleJrl9q6m6/EnXUDKXesgdYAkLsWMg84piG 3NhAHp3iA4N4UF Date: Tue, 06 Oct 2009 23:04:11 +0200 To: stas@freebsd.org From: "Boris Hollas" Content-Type: text/plain; format=flowed; delsp=yes; charset=utf-8 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Message-ID: User-Agent: Opera Mail/9.64 (Linux) X-Y-GMX-Trusted: 0 X-FuHaFi: 0.53 Cc: ports@freebsd.org Subject: FreeBSD Port: ocaml-3.11 X-BeenThere: freebsd-ports@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Porting software to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Oct 2009 21:31:03 -0000 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 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,