From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <aaron678@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 27DB4BBAF
	for <caml-list@yquem.inria.fr>; Fri,  1 Oct 2010 20:52:46 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuIDACfLpUxKfVK2kGdsb2JhbACUBo4qCBUBAQEBCQkMBxEDH61di1uGUCOIYAEBAwWFPwSKPIkK
X-IronPort-AV: E=Sophos;i="4.57,267,1283724000"; 
   d="scan'208";a="75576805"
Received: from mail-wy0-f182.google.com ([74.125.82.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2010 20:52:45 +0200
Received: by wyb29 with SMTP id 29so2234266wyb.27
        for <caml-list@inria.fr>; Fri, 01 Oct 2010 11:52:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:sender:received:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        bh=2SpFaUXgYIXd0/J+HieTGUfa9CuenriwCBiWgZYOqCw=;
        b=sFFVS+oeBAKjx9g6zU1h8eMMxMk9swAF6LqpOwHYuLbeRDjTAK6cji2BLR+44OJS6K
         IE0zcKiUP1s4mPaUhGkZHWAWkjMFBdltRUJXUCfNMbsnn3QJwh/JmbEih0gu2/amWx5B
         kOoAIHZWNhHVvQBt8vnh5ys1Etunkk/egZm9U=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:date:x-google-sender-auth:message-id:subject
         :from:to:content-type;
        b=X6wG4MrhGo3i4AaAGYWeDB0hTOdWyvcqhgej/tAdHVE78UI3H/hgva/Fc+b9m73IE7
         J7XcONZ85aCbTXmtZBIl+d1k7Xg+GwOobU/YJI/UAOdjPIbNZDr8+8UuQJTMCndN1CQp
         DzxcfPnmmb+5P2OOQ9O8MN/Fe1mt9BNtQIAVA=
MIME-Version: 1.0
Received: by 10.227.143.198 with SMTP id w6mr5032709wbu.124.1285959165600;
 Fri, 01 Oct 2010 11:52:45 -0700 (PDT)
Sender: aaron678@gmail.com
Received: by 10.216.163.138 with HTTP; Fri, 1 Oct 2010 11:52:45 -0700 (PDT)
Date: Fri, 1 Oct 2010 14:52:45 -0400
X-Google-Sender-Auth: Hy1-OvNpHMkGZ9MxfEz8EE1KvKk
Message-ID: <AANLkTi=pPMLmGfuQV==Whzgfoyxm8wQMcKZtbRi2DFbU@mail.gmail.com>
Subject: specific ocaml software dependency question
From: Aaron Bohannon <bohannon@cis.upenn.edu>
To: OCaml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; ocaml:01 coq:01 camlp:01 lablgtk:01 coq:01 compilation:01 lablgtk:01 camlp:01 compile:01 upenn:01 dependency:01 root:04 depends:04 depends:04 guess:04 

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