You were looking in the wrong place.
The official lablgtk distribution is at
wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
Since 2.14.2 as just been released, and there has been no change in the trunk
since then, the daily snapshots are also ok.
Jacques
-
From: Jianzhou Zhao
Hi,
I
Hi,
I was looking for a LablGTK release for ocaml 3.12. The one on
http://www.math.nagoya-u.ac.jp/~garrigue/soft/olabl/lablgtk.html is
not vailable now. Is it ok if I am using the Sourcecode Daily Snapshot
from http://gna.org/svn/?group=lablgtk? I downloaded a Snapshot last
night, which was compil
Thanks Alexandre!
Well, it appears that, either due to openSUSE or our sys-admins,
camlp4 is actually *not* part of the installation of OCaml 3.11 on our
workstations.
The need for GODI has always baffled me. There's plenty of OCaml
software available in good system-wide package managers (e.g.,
Hi Aaron!
If you have ocaml, you should have camlp4 since it's part of the
standard distribution.
For all "manual" installation of common ocaml programs, you should
really look in the direction of godi (http://godi.camlcity.org). You
should be able to install lablgtk2 from here without big diffic
Hi, I want to install Coq 8.3 + CoqIDE on my office's openSUSE Linux
machine (to which I do not have root access). It depends on camlp5,
which was no problem for me to install in my home directory. It also
depends on lablgtk2, which our sys-admins have installed on our
machines, but they or openS
Hello Sylvain,
2010/10/1 Sylvain Le Gall :
> [Generated by 'OASIS announce']
Very good! Except the license, all the information I want from an
announcement in a short format.
Sincerely yours,
david
___
Caml-list mailing list. Subscription management: