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

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,

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.