Message-ID: <42B5F261.9050304 at rftp.com>
Date: Sun, 19 Jun 2005 15:32:01 -0700
From: Robert Roessler <robertr at rftp.com>
Organization: Robert's High-performance Software
MIME-Version: 1.0
To: lablgtk at math.nagoya-u.ac.jp
CC: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Subject: Re: New lablgtk2 snapshot
References: <20050613.210716.25991716.garrigue at math.nagoya-u.ac.jp>
In-Reply-To: <20050613.210716.25991716.garrigue at math.nagoya-u.ac.jp>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit

Jacques Garrigue wrote:

> There is a new snapshot of lablgtk2 at
>    http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
>    ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk2-20050613.tar.gz
> 
> It contains only a few enhancements and bug fixes, but some people may
> need them.

Follow-up to my initial posting and additional [suggested] fixes for 
LablGTK package...

I decided to re-install my GTK yesterday - to GTK+-2.6.7 runtime and 
2.6.8 "developer" files... a good idea, since my ocamlc and ocamlopt 
builds were using different versions of the runtime. :)  And yes, this 
was the cause of the display font difference between ocamlc/ocamlopt 
versions of my programs that I had previously mentioned over on the 
OCaml list.

In any case, my initial findings (WRT the suggested Makefile changes 
*and* the necessary LablGTK .c/.h source updates) are still relevant; 
other than my preference for USE_CC, I do not suggest any changes to 
config.make.nt... but I do stick with all of my Makefile points, 
including the unquoting of the LIBDIR-derived install dir vars.

As I think there are major (terminal?) problems with builds using the 
Win32 linker when OCaml has been installed to a path with *spaces* in 
the name, I reinstalled OCaml also - this time, NOT using the folder 
name suggested by the OCaml Win32 installer (which uses "Objective 
Caml").  This problem is ugly enough that I think the OCaml Win32 
installer should be changed to not default to a name with spaces (yes, 
I know - this is the wrong group for this). :(

Finally, because of the new exports, "dlllablgtk2.lib" needs to be 
added to the "make install" section of src/Makefile.

Robert Roessler
robertr@rftp.com
http://www.rftp.com