Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Alexandre Pilkiewicz <alexandre.pilkiewicz@p...>
Subject: Re: [Caml-list] specific ocaml software dependency question
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
>