Date: Wed, 7 Oct 2009 19:04:03 +0400 From: Stanislav Sedov <stas@deglitch.com> To: "Boris Hollas" <boris.hollas@gmx.de> Cc: stas@freebsd.org, ports@freebsd.org Subject: Re: FreeBSD Port: ocaml-3.11 Message-ID: <20091007190403.523041c7.stas@deglitch.com> In-Reply-To: <op.u1ecs9whk2i85h@lifebook> References: <op.u1ecs9whk2i85h@lifebook>
next in thread | previous in thread | raw e-mail | index | archive | help
--Signature=_Wed__7_Oct_2009_19_04_03_+0400_yOGNv3b4XXd.YYbd Content-Type: text/plain; charset=US-ASCII Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, 06 Oct 2009 23:04:11 +0200 "Boris Hollas" <boris.hollas@gmx.de> mentioned: > Hello, >=20 > I discovered a strange problem with the FreeBSD port of OCaml. =20 > Frama-C/Jessie is a formal verification framework for C code, written in = =20 > OCaml. The Beryllium distribution [1] compiles on OpenBSD, NetBSD, and =20 > Linux, but not on FreeBSD. On FreeBSD 7.2, I tried OCaml 3.11.0 as well a= s =20 > OCaml 3.11.1 [2]. However, I was able to compile [1] with OCaml 3.11.1 on= =20 > Debian testing. On both platforms, I used ./configure && make (gmake on = =20 > FreeBSD). Any ideas? >=20 Hi, Boris! I've been able to successfully build this app on FreeBSD 7.2-RELEASE with ocaml-3.11.1. I suspect there's some configuration problem on your side. Please, note, that configure script for this program is poorly written and requires bash to run. So the configure string for you should probably looks like this: env MAKE=3Dgmake bash ./configure CFLAGS=3D"-I/usr/local/include" LDFLAGS= =3D"-L/usr/local/lib" It also requires gmake to build. --=20 Stanislav Sedov ST4096-RIPE --Signature=_Wed__7_Oct_2009_19_04_03_+0400_yOGNv3b4XXd.YYbd Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- iQIcBAEBAgAGBQJKzK3nAAoJEKN82nOYvCd0Z8gP/3WSS2HatROS6xw93z+dhvgo 56EzyK3FjwY1yvU74cIxTPeQWtqqG7DmGQyngFix3930uKxkM9M35PAE3IsenkKL REooo7L51F4NAZTnwtT/JJzRmqIgGkxIYOwb/laFnbH/21f/mclivZwznVcCZG9F BPohzXLgJLsGmHhy8CjCNOlsRCUCxFFCZC4P0ZO8yfKAjHbyqv7qa7iJv4iyxJGu 7tALpI6FI2uexCRgUjRwROaOSVPhFwNTgOg8OoyoT5mg8feJWZ9/JHe2WcKnOm6E 8hCEp0vtD6rurgE0QyPe/zfQ5CzlrCKNJJw9t/AXksUR0OV3p6N2kLPsM/xryi6D jUMqSUPj3vpvRU7qafJ3emy2mI8JBsJfJfncx95bb9S7LH4vLmZyAzNvObfbI2Ea UEBTYd7hUIAIkxBXolrY8quJTN9j2f0QP5DS1T1Aya0WrrtkbpCmAu5PKnD2p8Xm xga4Oa/amZQCwFQLKZuZjVuoTL7Rf7iQ1pSXCmcS9yHwoM3Ao+C66Us3SjpuaXDp VaKF0tge9GY5C61V0PBCNFtvmBdI6V/iA8nYlfqjH4VfxReQ8cRpNs2TcvUKLY15 yMSSsgI3puZ2oFCaAtT/1036tuKLjHEtQTLo4NSIcl+s0QiJ+o0AdLxZehWDOgsm rCCNcP48OfrID4lBUAUg =L2Tl -----END PGP SIGNATURE----- --Signature=_Wed__7_Oct_2009_19_04_03_+0400_yOGNv3b4XXd.YYbd--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20091007190403.523041c7.stas>