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.1 required=5.0 tests=AWL,DNS_FROM_RFC_POST, 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 5C027BBAF for ; Thu, 8 Jan 2009 23:46:53 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.37,235,1231110000"; d="scan'208";a="33477551" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Jan 2009 23:46:53 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id n08MkqJI008006 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Jan 2009 23:46:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQBAKsRZknRVdoKmGdsb2JhbACTUj4BAQEBAQgJDAcRrnmBAYsjAQMBA4Vygmc X-IronPort-AV: E=Sophos;i="4.37,235,1231110000"; d="scan'208";a="19328014" Received: from mail-bw0-f10.google.com ([209.85.218.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Jan 2009 23:46:34 +0100 Received: by bwz3 with SMTP id 3so23718351bwz.9 for ; Thu, 08 Jan 2009 14:46:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender :to:subject:mime-version:content-type:content-transfer-encoding :content-disposition:x-google-sender-auth; bh=4bDD0GQOb37loN8e1h89EAu9aGjRRK5YsvSILNZZaXE=; b=c6lFmSznkh0Fttd1O+HQ94MiX94P/x1A1AK7tCUeezP3fqEj3hrwF6MM6y/E5ph8by /ERLeosjdlnlTINHVPnAwpVSy10j+jkJRED/OVJg6pszYqFopoE6NTJRYm9nISiTqC4D QnNU8NLVL8oK0bEjqJ2LJY1A4hDjfQVocaUuA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition:x-google-sender-auth; b=TSIgeGoxMVkxiGQxhlXWUfro/fCqmWzoWQ8XWOm7P5pN8YYrqgaA0GrKX6uVx21T2o 7FqGS7lrkh6INlPkSeEyVBs5H7ow9AIcOn+dcXk98hzliXKx1il5t8wtXezErUhezW2A CDdoNLXqlwJIKn3YZ1CbrvUsIeOR5a9YHUGKM= Received: by 10.181.23.2 with SMTP id a2mr9472700bkj.166.1231454750698; Thu, 08 Jan 2009 14:45:50 -0800 (PST) Received: by 10.181.3.10 with HTTP; Thu, 8 Jan 2009 14:45:50 -0800 (PST) Message-ID: Date: Thu, 8 Jan 2009 23:45:50 +0100 From: "Ben Aurel" Sender: ben.jakb@gmail.com To: caml-list@inria.fr Subject: Shared libraries with ocamlopt callable from C (without main())? MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Google-Sender-Auth: 79db010b3b94b114 X-Miltered: at discorde with ID 4966825C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlopt:01 callable:01 ocaml:01 ocaml:01 api:02 api:02 library:03 shared:06 shared:06 extension:06 function:08 function:08 somebody:08 i'm:09 complicated:09 hi I'm thinking about the possibility to use OCaml as an extension language. If I wanted to call a OCaml function from langX I had to use a C wrapper. langX -> ( C API of langX | C Wrapper | C API of OCaml ) -> OCaml Maybe I make it more complicated than it is. But could somebody tell me if ( and maybe how ) this can be done. I made some attempts, but there is always a main() function involved. But this C wrapper would be a shared library. Thanks in advance ben