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.8 required=5.0 tests=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 395B2BC37 for ; Wed, 14 Oct 2009 04:36:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtEBALLV1EpIDtyakGdsb2JhbACRPokLPwEBAQEJCQwHEwOsI4E6hnWIZQEDAwWEKASBWw X-IronPort-AV: E=Sophos;i="4.44,555,1249250400"; d="scan'208";a="48550626" Received: from fg-out-1718.google.com ([72.14.220.154]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Oct 2009 04:36:42 +0200 Received: by fg-out-1718.google.com with SMTP id d23so3150976fga.3 for ; Tue, 13 Oct 2009 19:36:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=k4EBWmSZfCAWFI3Oxc6ZsMB/yXnm4LqZ7YqIJkmypq0=; b=X+k76kmIN0NwAcHpLm99EOKiL95ah+EwwjGzamlktTbHwhXl3qJCgMp6eiAs2TEWdM SvVPTfkBgz+inDYwS+dthX+1DBOyjt/lwGrbGVOxuC4Pc6tHFCPhAY7Ooy6wBwGJcPlX S+ofWKla4CA4kD7HK5QXg4Iz88ldUra6hV0Lk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=pioQjLNFi4QCu3awAX/iFs8B7jeOskQAr4ZcGoqU0k+t3Iu430OKzHx+T3w+PGhzv6 0r2T3zLNvulhmdk+UPPuRKGZKiZjbnJyudEoGMNI5bAeisYBgXg+86nfvW33AB3L3MFF 7NWkYYRH/4rTXsvKdyVCAq1O9POCUNAhX5Koo= MIME-Version: 1.0 Received: by 10.86.192.34 with SMTP id p34mr7132515fgf.28.1255487802190; Tue, 13 Oct 2009 19:36:42 -0700 (PDT) Date: Tue, 13 Oct 2009 22:36:40 -0400 Message-ID: <63caf42f0910131936o6e8ccab2m5f898478770b9107@mail.gmail.com> Subject: Dynlink ocamlfind problem From: Dmitriy Kargapolov To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 cygwin:01 ocamlfind:01 -package:01 dynlink:01 ocamlopt:01 -verbose:01 -linkpkg:01 compiler:01 ocamlopt:01 -verbose:01 gcc:01 'test':01 '-l:01 Hi All, This already was discussed but in context of Win32/Cygwin. I found similar behaviour in Unix environment. Playing with ocamlfind command I found that option "-package dynlink" didn't add anything to the generated build command, but other packages, extlib for example, did that. Looks like problem with ocamlfind. test1: $ ocamlfind ocamlopt -verbose -o test test.ml -linkpkg Effective set of compiler predicates: autolink,native + ocamlopt.opt -verbose -o test test.ml + as -o 'test.o' '/tmp/camlasm635817.s' + as -o '/tmp/camlstartupdd953f.o' '/tmp/camlstartup783576.s' + gcc -o 'test' '-L/usr/lib/ocaml' '/tmp/camlstartupdd953f.o' '/usr/lib/ocaml/std_exit.o' 'test.o' '/usr/lib/ocaml/stdlib.a' '/usr/lib/ocaml/libasmrun.a' -lm -ldl test2: $ ocamlfind ocamlopt -verbose -o test test.ml -linkpkg -package dynlink Effective set of compiler predicates: pkg_dynlink,autolink,native + ocamlopt.opt -verbose -o test test.ml + as -o 'test.o' '/tmp/camlasmc8032e.s' + as -o '/tmp/camlstartup436e2c.o' '/tmp/camlstartup632e4c.s' + gcc -o 'test' '-L/usr/lib/ocaml' '/tmp/camlstartup436e2c.o' '/usr/lib/ocaml/std_exit.o' 'test.o' '/usr/lib/ocaml/stdlib.a' '/usr/lib/ocaml/libasmrun.a' -lm -ldl test3: $ ocamlfind ocamlopt -verbose -o test test.ml -linkpkg -package extlib Effective set of compiler predicates: pkg_extlib,autolink,native + ocamlopt.opt -verbose -o test -I /usr/lib/ocaml/extlib -ccopt -I/usr/lib/ocaml/extlib -ccopt -L/usr/lib/ocaml/extlib /usr/lib/ocaml/extlib/extLib.cmxa test.ml + as -o 'test.o' '/tmp/camlasmf474f8.s' + as -o '/tmp/camlstartup453a69.o' '/tmp/camlstartupe0a59a.s' + gcc -o 'test' '-L/usr/lib/ocaml/extlib' '-L/usr/lib/ocaml' '/tmp/camlstartup453a69.o' '/usr/lib/ocaml/std_exit.o' 'test.o' '/usr/lib/ocaml/extlib/extLib.a' '/usr/lib/ocaml/stdlib.a' '/usr/lib/ocaml/libasmrun.a' -lm -ldl -I/usr/lib/ocaml/extlib -L/usr/lib/ocaml/extlib Note that I have this dynlink installed: $ ocamlfind query dynlink -l package: dynlink description: Dynamic loading and linking of object files version: [distributed with Ocaml] archive(s): linkopts: location: /usr/lib/ocaml I have all latest packages from fedora11 distribution: $ rpm -qa ocaml\* |sort ocaml-3.11.0-3.fc11.i586 ocaml-camlp4-3.11.0-3.fc11.i586 ocaml-camlp4-devel-3.11.0-3.fc11.i586 ocaml-extlib-1.5.1-6.fc11.i586 ocaml-extlib-devel-1.5.1-6.fc11.i586 ocaml-findlib-1.2.3-6.fc11.i586 ocaml-findlib-devel-1.2.3-6.fc11.i586 ocaml-omake-0.9.8.5-7.fc11.i586 ocaml-runtime-3.11.0-3.fc11.i586 ocaml-sexplib-4.2.7-2.fc11.i586 ocaml-sexplib-devel-4.2.7-2.fc11.i586 ocaml-type-conv-1.6.7-1.fc11.i586 $ cat /usr/lib/ocaml/dynlink/META # Specifications for the "dynlink" library: requires = "" version = "[distributed with Ocaml]" description = "Dynamic loading and linking of object files" directory = "^" browse_interfaces = " Btype Bytesections Clflags Config Consistbl Dll Dynlink Ident Meta Misc Opcodes Path Predef Runtimedef Symtable Tbl Types " archive(byte) = "dynlink.cma"