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=0.3 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 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 DB618BBCA for ; Tue, 6 May 2008 23:02:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYBAGNkIEjAXQImiGdsb2JhbACDHY5cAQEBDyCVF4V5 X-IronPort-AV: E=Sophos;i="4.27,445,1204498800"; d="scan'208";a="25899974" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 May 2008 23:02:07 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m46L26ZM013462 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 6 May 2008 23:02:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqgBAJ5kIEjRVcirc2dsb2JhbACDHY5cAQwDBAQJDwWVBoV5 X-IronPort-AV: E=Sophos;i="4.27,445,1204498800"; d="scan'208";a="12321671" Received: from wf-out-1314.google.com ([209.85.200.171]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 May 2008 23:02:06 +0200 Received: by wf-out-1314.google.com with SMTP id 25so1817141wfa.0 for ; Tue, 06 May 2008 14:02:05 -0700 (PDT) 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=vQifKTOR6i3phC1oZ94xXC4t74FndiRVv0MJ6J/chrY=; b=evYhDdAdXyKdoKxEPAd0OyCgdq9+kYMQg8cKG3CPdB4QXNbuhXAvmN4nChYaiSSYnmyHDdE/XehlF/exIBE+iGaY6nZ5hhW+Wq/dKjUQ2F8/4V6rms+5DlmJv34YwBcS8wn1ls5UggxbiP89I9uF9KBkSiTZX1RLMtqjAiv6nCc= 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=E/XCD8nO2ptMamxampeND6TAs6jTW2HFwr5DnUOthWV4trS6pLj0Hl218OvcXKXxx5HA37wKbOVOIf1ZtJ2tPw7lwBdKFBQFTsZDrb/6rCHpAxShXRU6LHvEtzGQ40vJdmrKitXHlUwZdQwBDq1ry/wkW46ge9Yohacs5vcPGEE= Received: by 10.142.154.20 with SMTP id b20mr530290wfe.143.1210107725125; Tue, 06 May 2008 14:02:05 -0700 (PDT) Received: by 10.143.17.15 with HTTP; Tue, 6 May 2008 14:02:05 -0700 (PDT) Message-ID: Date: Tue, 6 May 2008 17:02:05 -0400 From: "Markus Mottl" To: "Ashish Agarwal" Subject: Re: [Caml-list] Core has landed Cc: "Caml List" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1209764381.8680.38.camel@nyc-qws-018.delacy.com> <20080503081946.GA30935@annexia.org> <891bd3390805030356n1988a6cep5f7d4263ae30cffe@mail.gmail.com> X-Miltered: at discorde with ID 4820C74E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 stubs:01 lib:01 ocaml:01 site-lib:01 stublibs:01 stubs:01 lib:01 ocaml:01 site-lib:01 stublibs:01 setsockopt:01 On Tue, May 6, 2008 at 4:38 PM, Ashish Agarwal wrote: > Thanks for the updates! I can compile now, but still get the following > errors in top-level: [snip] > The above is on Mac OS X. I get a slightly different error on a Linux > machine: > Cannot load required shared library dllcore_stubs. > Reason: /home1/aa544/godi/lib/ocaml/site-lib/stublibs/dllcore_stubs.so: > /home1/aa544/godi/lib/ocaml/site-lib/stublibs/dllcore_stubs.so: undefined > symbol: setsockopt_int. We have already encountered this problem, too. This should be fixed in the next release. In the meanwhile you may want to execute "#thread" before "requiring" the core library. Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com