From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2IHKHCr027283 for ; Fri, 18 Mar 2011 18:20:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACAKYwg03U436rkWdsb2JhbACERKEqFQEBAQkLCwcUAyKITakOkGkCgSWDRXcEiCKIEA X-IronPort-AV: E=Sophos;i="4.63,206,1299452400"; d="scan'208";a="90723409" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Mar 2011 18:20:03 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-213-188.pools.arcor-ip.net [94.219.213.188]) by mrelayeu.kundenserver.de (node=mreu1) with ESMTP (Nemesis) id 0LfnrC-1PgAyg3LlS-00pBCn; Fri, 18 Mar 2011 18:20:00 +0100 Received: from [192.168.1.111] (546BE640.cm-12-4d.dynamic.ziggo.nl [84.107.230.64]) by office1.lan.sumadev.de (Postfix) with ESMTPA id 271605F702; Fri, 18 Mar 2011 18:20:00 +0100 (CET) From: Gerd Stolpmann To: Joel Reymont Cc: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Date: Fri, 18 Mar 2011 18:19:57 +0100 Message-ID: <1300468797.8429.9.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:FXlBoR5HfscdSreKrWgLpaxRRmUWn9bktCKSeV+tyDC M/2RfkpLhhZh6tBGD4biUc6tmO+o0TnJQmRbpxr4ugI6TiW7LG 1JL/aeCWqo6+fhd/SmUQnuZvM+uUAh2DWAtEqKnCumTJnLknXK IRB9NjL4c0V0eXBm60APIbPLBEGCmnWxXJ3psm/lCXTWlqZqun 6LLA7fHDofAhDUIHcIFZw== Subject: Re: [Caml-list] findlib and sys Am Freitag, den 18.03.2011, 16:44 +0100 schrieb Joel Reymont: > I have .../site-lib/unix/META, site-lib/str/META but I don't have a site-lib/sys. > > Is this by design? > > Should I just manually create it and add a META file? sys is part of the standard library, so it always present. Gerd > > Thanks, Joel > > -------------------------------------------------------------------------- > - for hire: mac osx device driver ninja, kernel extensions and usb drivers > ---------------------+------------+--------------------------------------- > http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont > ---------------------+------------+--------------------------------------- > > > > > -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------