From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA17053 for caml-redistribution@pauillac.inria.fr; Tue, 22 Feb 2000 18:53:06 +0100 (MET) Resent-Message-Id: <200002221753.SAA17053@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA21340 for ; Tue, 22 Feb 2000 15:26:27 +0100 (MET) Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id PAA13407 for ; Tue, 22 Feb 2000 15:26:25 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by saul.cis.upenn.edu (8.8.5/8.8.5) with SMTP id JAA04716; Tue, 22 Feb 2000 09:22:28 -0500 (EST) To: skaller cc: ohl@hep.tu-darmstadt.de, caml-list@inria.fr Reply-to: bcpierce@cis.upenn.edu Subject: Re: Preferred GUI Toolkit for O'Caml 3? In-reply-to: Your message of Wed, 23 Feb 2000 00:41:24 +1100. <38B29204.D4882C63@maxtal.com.au> Date: Tue, 22 Feb 2000 09:22:28 EST Message-ID: <4714.951229348@saul.cis.upenn.edu> From: "Benjamin C. Pierce" Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 22 Feb 2000 18:53:06 +0100 Resent-To: caml-redistribution@pauillac.inria.fr > > * seamless portability (Unix and Win32) > > * ability to build statically linked binaries (this is a pretty > > big drawback to the Tk-based solutions) > > I do not understand the latter comment. Tk can be statically > linked, or dynamically linked, or even dynamically loaded as a tcl > package. GTK can also be statically or dynamically linked. I've been told that statically linking Tk applications is not possible. If you can tell me how to do it (ideally on both Unix and Windows) I'd be delighted to know: this is one of our biggest problems with distributing Unison at the moment. B