From: Aaron Bohannon <bohannon@cis.upenn.edu>
To: OCaml List <caml-list@inria.fr>
Subject: specific ocaml software dependency question
Date: Fri, 1 Oct 2010 14:52:45 -0400 [thread overview]
Message-ID: <AANLkTi=pPMLmGfuQV==Whzgfoyxm8wQMcKZtbRi2DFbU@mail.gmail.com> (raw)
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
next reply other threads:[~2010-10-01 18:52 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-01 18:52 Aaron Bohannon [this message]
2010-10-01 19:06 ` [Caml-list] " Alexandre Pilkiewicz
2010-10-01 19:38 ` Aaron Bohannon
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='AANLkTi=pPMLmGfuQV==Whzgfoyxm8wQMcKZtbRi2DFbU@mail.gmail.com' \
--to=bohannon@cis.upenn.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).