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.3 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 23959BB84 for ; Wed, 13 Aug 2008 07:08:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4DAEsJokjAXQIniGdsb2JhbACRcgEBAQ8gpEuBUg X-IronPort-AV: E=Sophos;i="4.32,199,1217800800"; d="scan'208";a="28182373" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Aug 2008 07:08:17 +0200 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 m7D58GA6011603 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 13 Aug 2008 07:08:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkIBAB8JokjPcws4mmdsb2JhbACRcgEBAQEBCAUIBxEDpEWBUg X-IronPort-AV: E=Sophos;i="4.32,199,1217800800"; d="scan'208";a="15955475" Received: from fmailhost06.isp.att.net ([207.115.11.56]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Aug 2008 07:08:15 +0200 Received: from [192.168.1.103] (adsl-222-8-186.msy.bellsouth.net[68.222.8.186]) by isp.att.net (frfwmhc06) with ESMTP id <20080813050813H06009pub3e>; Wed, 13 Aug 2008 05:08:13 +0000 X-Originating-IP: [68.222.8.186] Message-ID: <48A26C4B.8040306@bellsouth.net> Date: Wed, 13 Aug 2008 00:08:27 -0500 From: Martin Bishop User-Agent: Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: caml-list@inria.fr Subject: uintlib installation? X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48A26C40.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 native:03 install:05 install:05 bishop:08 function:08 apparently:08 load:08 i'm:09 i'm:09 grabbed:09 though:13 martin:13 but:14 I grabbed the latest uintlib from OCamlForge, but I'm unsure how to install it so that I can use it in an OCaml program. I made the proper files (by running "ocaml native.ml"), but I'm not sure where to place them (and apparently you have to run the function install first? I'm not sure how to load it to be able to run that though).