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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 2E7DABC6C for ; Thu, 2 Aug 2007 20:58:31 +0200 (CEST) Received: from lizzy.dyndns.org (209-204-188-132.dsl.static.sonic.net [209.204.188.132]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l72IwSiC018050 for ; Thu, 2 Aug 2007 20:58:30 +0200 Received: (qmail 41512 invoked by uid 1000); 2 Aug 2007 18:58:50 -0000 Date: Thu, 2 Aug 2007 11:58:50 -0700 From: Jos Backus To: caml-list@inria.fr Subject: Re: [Caml-list] undefined symbol `caml_tuplify2' in dynamic rocaml extension (UPDATE) Message-ID: <20070802185850.GC41396@lizzy.catnook.local> Reply-To: jos@catnook.com References: <20070801040102.GA88101@lizzy.catnook.local> <20070801091647.GB31718@tux-chan> <20070801161702.GA28680@lizzy.catnook.local> <20070801175907.GA29353@lizzy.catnook.local> <20070801232405.GB29353@lizzy.catnook.local> <20070802092050.GC21868@tux-chan> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20070802092050.GC21868@tux-chan> User-Agent: Mutt/1.5.16 (2007-06-09) X-Miltered: at concorde with ID 46B22954.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 libs:01 objs:01 libs:01 -output-obj:01 variants:01 makefile:01 wrappers:01 makefile:01 wrote:01 wrote:01 compile:01 caml-list:01 undefined:01 tuple:02 On Thu, Aug 02, 2007 at 11:20:50AM +0200, Mauricio Fernandez wrote: > On Wed, Aug 01, 2007 at 04:24:05PM -0700, Jos Backus wrote: > > On Wed, Aug 01, 2007 at 10:59:07AM -0700, Jos Backus wrote: [snip] > > Some good news. We got this to work by creating a kpp.ml file (containing the > > Callback.register calls) in the extension directory, and adding some values to > > CAML_LIBS, CAML_OBJS and CAML_INCLUDES. Yay! > > Yes, I wrote a very long message telling you exactly this (that you needed to > use CAML_LIBS so that -output-obj could work correctly) late at night but > forgot to send it :) Heh. All's well that ends well. > > Btw, besides having to remove the stray `"' we also found that we had to patch > > the kpp_rocaml_wrapper.c to make it compile, basically doing a `%s/t_value > > /t_value_/g' in this case. > > Chris Waterson has kindly sent me a patch fixing the problems you saw; I've > just pushed it to the online repository, along with an example of the above > TUPLE(LIST(t)) in examples/variants. Yeah, I dragged Chris into working on this yesterday (thanks Chris!) and he beat me to the patch :) > I'll work on the INCFLAGS issue so there's no need to hand-edit the > generated Makefile/wrappers. That would be nice. While you're at it, can you add LOCAL_LIBS, too? Those were the only variables we needed to change in the Makefile. > -- Mauricio Fernandez - http://eigenclass.org Thanks again Mauricio. -- Jos Backus jos at catnook.com