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 pBI4UHKB019649 for ; Sun, 18 Dec 2011 05:30:17 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQRAMVq7U7RVdQ2kGdsb2JhbABDgzWXZoFbjTIBgSgIIgEBAQEJCQ0HFAQhgXIBAhYCLAEbEgwDEQEFDgcQQgIRAQUBChgBEhEBEIdgmiMKi2WCa4QVP4hxAgULg26ICwSINIhxjkeDCj2ECA X-IronPort-AV: E=Sophos;i="4.71,370,1320620400"; d="scan'208";a="123786774" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Dec 2011 05:30:11 +0100 Received: by vbbfr13 with SMTP id fr13so5763539vbb.27 for ; Sat, 17 Dec 2011 20:30:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:from:importance:x-priority:date:message-id:subject:to :content-type; bh=Kd11Xg5ZG3+320/DtAAafjtxKvp3g14NJ57UHk4s+JE=; b=ly++wQ5PwLfgMA/0DcFnsjt3MF3qLCLiFhXu1YmJwvWcDytRB/4+SNWgPWysZBirwj TprF/BwiFYm68G2IqhRHLdfWOM7rEX4i28wBK52rV/dhxhx71hrBwt96CIHlxOlGYSlH n+PB2TsbsDYIARMtbJ3I7D3/m7N7AD1+cjzAQ= Received: by 10.52.68.232 with SMTP id z8mr9190653vdt.64.1324182609736; Sat, 17 Dec 2011 20:30:09 -0800 (PST) MIME-Version: 1.0 From: Jacques Garrigue Importance: normal X-Priority: 3 Date: Sun, 18 Dec 2011 13:30:25 +0900 Message-ID: <-3085435649396878115@unknownmsgid> To: Dmitry Grebeniuk , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: garrigue@math.nagoya-u.ac.jp Subject: RE: [Caml-list] bytecode: ./prog vs ocamlrun ./prog This basically means that you have 2 ocamlrun on this machine. ./prog calls ocamlrun with a fixed path, but the 1st ocamlrun is your path is an incompatible one. Do "head -1 prog" to see the right ocamlrun. Jacques Garrigue ----- From: Dmitry Grebeniuk Hello. The OCaml manual states that executing bytecode program with "./prog" and "ocamlrun ./prog" should give the same result (in simple case, without options and environment modifications). However in my case the result is different: "./prog" executes well, but "ocamlrun ./prog" gives "Fatal error: unknown C primitive `unix_dup'". But I have no good minimal case (other small unix.cma-dependent programs run fine both ways), and I can't show the full sources due to my contract with employer. I suspect this issue can give me additional headache in the future, so I prefer to solve it now. How can I find the source of this problem? What I have checked for now: - host OS is linux (gentoo, fresh enough) - the host contains (and contained ever) only one OCaml installation (3.11.2), and I can't install more recent OCaml versions system-wide (and I want this program to work under system-wide 3.11.2 anywhere) - ocaml toplevel doesn't fail on "#load "unix.cma"" and on calls to functions of Unix module - this system doesn't provide ocamlobjinfo, so I can't read its output - the program is built with ocamlbuild, without custom myocamlbuild.ml and other C-specific options, however some libraries may use C bindings (I'll check this if it is important) - I've tried to set environment variable LD_DEBUG=libs and run both cases: "ocamlrun ./prog" output is pasted to http://paste.in.ua/3499/raw/ , "./prog" output is pasted to http://paste.in.ua/3500/raw/ , but I don't understand where the problem is, even after meditation on these logs What should I do to diagnose this problem? -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs