FreeBSD Port: ocaml-3.11

2009-10-06 Thread Boris Hollas 

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,



___
freebsd-ports@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"

qiv quits with Gdk-ERROR on FreeBSD 6.3

2008-01-24 Thread Boris Hollas 
I invoked qiv (quick image viewer) on an image file and got the following 
message:

Gdk-ERROR **: BadMatch (invalid parameter attributes)
  serial 115 error_code 8 request_code 2 minor_code 0

I installed qiv-2.0_2 from package on FreeBSD 6.3.

On 6.1, I've used qiv without any problems.

Regards,

Boris
___
freebsd-ports@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "[EMAIL PROTECTED]"

Re: qiv quits with Gdk-ERROR on FreeBSD 6.3

2008-01-25 Thread Boris Hollas 
On Thu, 24 Jan 2008 20:19:26 -0500
Randy Pratt <[EMAIL PROTECTED]> wrote:
> I switched to using a qiv development version (2.1) and this problem 
> doesn't seem to exist there.

I've solved the problem with qiv 2.1-pre11 (from 
http://www.klografx.net/qiv/download/qiv-2.1-pre12.tgz) now.

Regards,
Boris
___
freebsd-ports@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "[EMAIL PROTECTED]"