From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 8AF8ABBAF for ; Fri, 1 Oct 2010 21:07:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As4BAG/OpUzRVde2mGdsb2JhbACUAY4wCBUBAQEBAQgJDAcRIq1ri1uGTokDAQEDBYU/BIo8iQqCEg X-IronPort-AV: E=Sophos;i="4.57,267,1283724000"; d="scan'208";a="72013737" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2010 21:07:03 +0200 Received: by eyx24 with SMTP id 24so2013570eyx.27 for ; Fri, 01 Oct 2010 12:07:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:sender:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type:content-transfer-encoding; bh=4fxog3RtR+TWXevyiaQRJMYgkd9PJ8+wVV7OmSlOsFM=; b=NDytrkGvfyqtSCqShhsYMFP0LhZvoyaBcCVJyzS0VbUdXvzdEQquV0rYSwpg8MfU+w rUyERbpoHgFGgqfS+OCmvpLh41j+5vu8qh1pBYnY40XDdo9hiPH0EXSjAuJYa9E12JEE np8IsZ+Wpk1lCcjJwTMVTeTzVFQiMMSJ0dOAg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type :content-transfer-encoding; b=TRVvd4c4P5C8LVBckvutt9fs5RuFmkkwkn/Aim2pvfrdnr5u7je2X91RE9Z6EjzaTm ZMuaMJ9VgrVPbOjZlgl2gIu2OKQUtyXr8iK/EVVwEl5tSgWNLiJAqWXaCiB0wLrKQO2T U5n62sEAY9oZLCaS1xkSHZSNvzHRovSV79FT0= Received: by 10.216.23.206 with SMTP id v56mr2480895wev.67.1285960022163; Fri, 01 Oct 2010 12:07:02 -0700 (PDT) MIME-Version: 1.0 Sender: dapilki@gmail.com Received: by 10.216.202.79 with HTTP; Fri, 1 Oct 2010 12:06:41 -0700 (PDT) In-Reply-To: References: From: Alexandre Pilkiewicz Date: Fri, 1 Oct 2010 21:06:41 +0200 X-Google-Sender-Auth: l2gEmSvg5VLgvjj9Cd1NCIPjwrA Message-ID: Subject: Re: [Caml-list] specific ocaml software dependency question To: Aaron Bohannon Cc: OCaml List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 ocaml:01 camlp:01 lablgtk:01 coq:01 camlp:01 lablgtk:01 coq:01 compilation:01 beginner's:01 bug:01 beginners:01 compile:01 upenn:01 caml-list:01 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 : > Hi, I want to install Coq 8.3 + CoqIDE on my office's openSUSE Linux > machine (to which I do not have root access). =A0It depends on camlp5, > which was no problem for me to install in my home directory. =A0It 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. =A0I 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." =A0So 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). =A0This is seeming WAY harder than it should > be. =A0Can anybody help? > > =A0- 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 >