From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA28565; Thu, 8 Aug 2002 15:33:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA28494 for ; Thu, 8 Aug 2002 15:33:08 +0200 (MET DST) Received: from avocet.mail.pas.earthlink.net (avocet.mail.pas.earthlink.net [207.217.120.50]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g78DX7j16301 for ; Thu, 8 Aug 2002 15:33:07 +0200 (MET DST) Received: from user-0ccegbj.cable.mindspring.com ([24.199.65.115] helo=dragonfly.localdomain) by avocet.mail.pas.earthlink.net with smtp (Exim 3.33 #1) id 17cnPV-0000m7-00 for caml-list@inria.fr; Thu, 08 Aug 2002 06:33:06 -0700 Received: from 209-9-234-140.sdsl.cais.net ([209.9.234.140]) (SquirrelMail authenticated user yminsky) by dragonfly.localdomain with HTTP; Thu, 8 Aug 2002 09:33:05 -0400 (EDT) Message-ID: <55181.209.9.234.140.1028813585.squirrel@dragonfly.localdomain> Date: Thu, 8 Aug 2002 09:33:05 -0400 (EDT) Subject: [Caml-list] RTFM (was: Configuration bug in 3.05: labltk on cygwin) From: "Yaron M. Minsky" To: "Caml List " In-Reply-To: <54334.209.9.234.140.1028812302.squirrel@dragonfly.localdomain> References: <54334.209.9.234.140.1028812302.squirrel@dragonfly.localdomain> X-Priority: 3 Importance: Normal X-MSMail-Priority: Normal X-Mailer: SquirrelMail (version 1.2.6) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk My mistake. 3.05 needs the -tk-no-x11 option, which had not previously been necessary. Sorry for the false alarm. y > It looks like there is a bug in the labltk configuration in 3.05 under > cygwin. When I give it the configuration command (including the > appropriate tkdefs and tklibs options) it refuses to configure labltk, > noting the lack fo X11. Under exactly the same setup (and issuing the > identical configure command on the same system), ocaml-3.04 happily > configures and builds labltk. > y > > > -- > |--------/ Yaron M. Minsky \--------| > |--------\ http://www.cs.cornell.edu/home/yminsky/ /--------| > > Open PGP --- KeyID B1FFD916 (new key as of Dec 4th) > Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916 > > > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: > http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs > FAQ: http://caml.inria.fr/FAQ/ Beginner's list: > http://groups.yahoo.com/group/ocaml_beginners -- |--------/ Yaron M. Minsky \--------| |--------\ http://www.cs.cornell.edu/home/yminsky/ /--------| Open PGP --- KeyID B1FFD916 (new key as of Dec 4th) Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916 ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners