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=2.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, MISSING_HEADERS,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 547FDBB84 for ; Mon, 9 Feb 2009 23:02:24 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusCAOM2kEnRVZK0m2dsb2JhbACNDIZwPwEBAQEBCAkKCRGuRjCFF4hFAQMBA4QXBoQh X-IronPort-AV: E=Sophos;i="4.37,406,1231110000"; d="scan'208";a="23818986" Received: from wa-out-1112.google.com ([209.85.146.180]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Feb 2009 23:02:23 +0100 Received: by wa-out-1112.google.com with SMTP id k34so1014049wah.27 for ; Mon, 09 Feb 2009 14:02:22 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:cc :content-type:content-transfer-encoding; bh=WIwK7EkVMqXyUYTxK+Y9J1l73U7r3r3aE/HsRwtgrBA=; b=e4ZLcwARwQdkpFq1miu7ASF+8xsyPcvIjBIiSNKYJ3X9jH9uCLJrspGdW+2UYCGBK3 AbSJ7+GR3SgHhzuTt73DtK9suxQeK1OLn2wFC9I1B7Dj/sBHJawjySxvGDuzBXslp7KD am7J9YcVeH/KR39ONMiXaa+/OVX7zp27ClbWI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:cc:content-type :content-transfer-encoding; b=IUpD7fzlsIy6Bj4sUKcbagdJx4Ex6rUpvFCU8IR2dmtsE7oJkEdFuU80Inri2bb4Fi 9aevE78rg0/edwrF3F9o90NIlnv7EV0KkjTZCHpbeOodOKgdsWmoxG3RHs5e1S85YttG W1kzfcbKO/X5qI2ZcJ6tH8C59ugKb0qRYFudw= MIME-Version: 1.0 Sender: peter.hawkins@gmail.com Received: by 10.114.161.11 with SMTP id j11mr4007293wae.24.1234216942504; Mon, 09 Feb 2009 14:02:22 -0800 (PST) In-Reply-To: <498FF839.6090901@lri.fr> References: <1233936696.6216.65.camel@Blefuscu> <200902071458.45000.jon@ffconsultancy.com> <498FF839.6090901@lri.fr> Date: Mon, 9 Feb 2009 14:02:22 -0800 X-Google-Sender-Auth: e02079b6960608f6 Message-ID: Subject: Re: [Caml-list] Re: [ANN] OCaml Batteries Included, alpha 3 From: Peter Hawkins Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 lri:01 wiki:01 wiki:01 ocaml:01 dependencies:01 bindings:01 stub:01 hacked:01 cheers:01 2009:98 wrote:01 compile:01 caml-list:01 linking:02 Hi... On Mon, Feb 9, 2009 at 1:32 AM, Romain Bardou wrote: > The wiki: > http://brion.inria.fr/gallium/index.php/Ocamlbuild > should answer all questions you have to compile simple projects. In fact, > the user manual (first link on the wiki) should answer these questions. > > It would really help to improve the documentation if you could explain what > were the problems you encountered and where did you look for the > documentation. The documentation on linking Ocaml programs to external C libraries or Ocaml libraries with C library dependencies is minimal at best. There are some examples in the wiki, but they come with little explanation and aren't adequate documentation by themselves. Another thing that caused me frustration is that ocamlbuild doesn't understand how to build C++ files. My ocaml programs use external C++ libraries (bindings to MiniSAT, STP, and MONA), and the build system needs to understand how to build the C++ stub files. I hacked up a rule for building .cc files, but I think this is a common use case so one needs to be built in. Cheers, Peter