English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
specific ocaml software dependency question
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-10-01 (19:39)
From: Aaron Bohannon <bohannon@c...>
Subject: Re: [Caml-list] specific ocaml software dependency question
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

The need for GODI has always baffled me.  There's plenty of OCaml
software available in good system-wide package managers (e.g.,
macports, which I use on OS X), and, at the same time, there are
always going to be *some* packages or software versions that are not
in GODI and so I'll have to end up manually installing those anyway.
If I use GODI too, then there would be at least three different places
my OCaml software might be living, at which point I start getting

That being said, the OCaml packages on my office machine are
sufficiently screwed up that starting from scratch with GODI may be my
best option in this case.

 - Aaron

On Fri, Oct 1, 2010 at 3:06 PM, Alexandre Pilkiewicz
<alexandre.pilkiewicz@polytechnique.org> wrote:
> 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 difficulties.
> Good luck anyways
> Alexandre
> 2010/10/1 Aaron Bohannon <bohannon@cis.upenn.edu>:
>> 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 openSUSE must have screwed it up because
>> "dlllablgtk2.so" is nowhere to be found (I've looked), and this causes
>> my Coq compilation to fail.  I grudgingly decided to try to compile
>> and install lablgtk2 myself in my home directory, but its "configure"
>> script fails with the error "Cannot find camlp4o."  So I guess I need
>> to find camlp4 now, but Google has been of no help -- when you search
>> for camlp4, you only get pages talking about camlp5 (which, of course,
>> used to be called camlp4).  This is seeming WAY harder than it should
>> be.  Can anybody help?
>>  - Aaron
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs