From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 9CCBCBBC1 for ; Mon, 18 Feb 2008 09:24:17 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADTPuEfAXQInh2dsb2JhbACQVQEBAQgKKZUThF0 X-IronPort-AV: E=Sophos;i="4.25,370,1199660400"; d="scan'208";a="8203558" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Feb 2008 09:24:17 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m1I8OGcC013944 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 18 Feb 2008 09:24:17 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPrPuEdA6aa2i2dsb2JhbACQVQEBAQgEBAkKEQWVEoRb X-IronPort-AV: E=Sophos;i="4.25,370,1199660400"; d="scan'208";a="9293856" Received: from py-out-1112.google.com ([64.233.166.182]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Feb 2008 09:24:14 +0100 Received: by py-out-1112.google.com with SMTP id u52so1956124pyb.10 for ; Mon, 18 Feb 2008 00:24:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=Il7TyNwPyIITGetRHQtjr/JN+Or2VHT3JYngr/4aNmk=; b=MZHgIw5dhptYFHGRm8q6uUJaG/UX4mEnOpmJX9ArshIeQBp+gn6ANmMn1ZnjBh3+8XbKomC50oXWOmat/uG75/yrT9JPm4yxaVcVMp5pohA71L9sW0/+1aWM5PHyOznyYVlTtdTKePFUr7mLuxI5kdBHdRCcUyeoOJ4CfS5SW6I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=TTMdzHBxH9Qs0ig5EOjlH+wRYQE4VSQkfSS3fj2fKYFIgsjdjAfhCjNst7iXzoTgw2cFuOqrRUtqJ2bviYCjosCcAjvLouHPwVbU5b2P8BlMhKLhUGTvzwYN0HsidkATKqf3hGJVXKbq/uYzdHkm/3knt1Y11MLGl8ewMWq9ue8= Received: by 10.65.250.11 with SMTP id c11mr9908967qbs.22.1203323053513; Mon, 18 Feb 2008 00:24:13 -0800 (PST) Received: by 10.65.22.2 with HTTP; Mon, 18 Feb 2008 00:24:13 -0800 (PST) Message-ID: Date: Mon, 18 Feb 2008 09:24:13 +0100 From: "Dominique Martinet" To: "Angela Zhu" Subject: Re: [Caml-list] Cancel button or Status bar Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-Miltered: at concorde with ID 47B940B0.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; martinet:01 cmxa:01 -thread:01 -thread:01 cmxa:01 ocamlopt:01 martinet:01 threads:01 threads:01 unix:01 unix:01 caml-list:01 undefined:01 cma:01 cma:01 Hello, Using your compiling line, I get an "reference to undefined global 'Unix'", I've added "unix.cma" / "unix.cmxa" right before the -thread and it then compiled just fine, and my dummy program worked. (if this still doesn't work, mind sending everything make outputs ?) Anyway, I don't know if you actually need all of the libraries the book makes you load - I've only used "unix.cma -thread threads.cma" and it worked just fine the couple of times I've used threads (change .cma to .cmxa for ocamlopt) Good luck, Martinet Dominique.