From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B3B1B7FD6C for ; Thu, 19 Jan 2017 10:44:12 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christoph.hoeger@celeraone.com; spf=Pass smtp.mailfrom=christoph.hoeger@celeraone.com; spf=None smtp.helo=postmaster@mail-io0-f182.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@celeraone.com) identity=pra; client-ip=209.85.223.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="christoph.hoeger@celeraone.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christoph.hoeger@celeraone.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="christoph.hoeger@celeraone.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="postmaster@mail-io0-f182.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALUOo2B+6hCAdJP9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2+gcTK2v8tzYMVDF4r011RmSDNmdt6sMy7KP9fu/CSpYudfJmUtBWaIPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV2sfTZy?= =?us-ascii?q?c+/8H4qXi8Wsy8iz/YfSakNGnmmTe7R3eT62twTKqs4OgbxCtKk80FOdqXtSev?= =?us-ascii?q?9KwntoY1KUkhnx/O+78Zpu6S1Xvf9n/MlFB/apN58kRKBVWWx1e1s+49fm4EHO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUAgAXiYBYh7bfVdFeHQYMGQEFAQsBg?= =?us-ascii?q?xQBAQEBAX+BCQeDSrE2ggwih3oHQRYBAQEBAQEBAQEBARIBAQEIDQkKHTCCMxm?= =?us-ascii?q?CFDMdAQE4HQEHNwIkEgEFAYk4oyY/ixpogiWDCAEBBYdaCBKQPIIADC6CXoh8h?= =?us-ascii?q?3iKVYFLhRaLBIJIjiWRKhQegRQlAYF3YwWDX1SBbD01AYljAQEB?= X-IPAS-Result: =?us-ascii?q?A0CUAgAXiYBYh7bfVdFeHQYMGQEFAQsBgxQBAQEBAX+BCQe?= =?us-ascii?q?DSrE2ggwih3oHQRYBAQEBAQEBAQEBARIBAQEIDQkKHTCCMxmCFDMdAQE4HQEHN?= =?us-ascii?q?wIkEgEFAYk4oyY/ixpogiWDCAEBBYdaCBKQPIIADC6CXoh8h3iKVYFLhRaLBIJ?= =?us-ascii?q?IjiWRKhQegRQlAYF3YwWDX1SBbD01AYljAQEB?= X-IronPort-AV: E=Sophos;i="5.33,253,1477954800"; d="scan'208,217";a="256198604" Received: from mail-io0-f182.google.com ([209.85.223.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jan 2017 10:44:11 +0100 Received: by mail-io0-f182.google.com with SMTP id j18so33435926ioe.2 for ; Thu, 19 Jan 2017 01:44:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=celeraone-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=vrbgCTOdF6d9tTcHXjd/yKkkWgVp6dcGEMV9QGr+xOE=; b=oHCVWbvZfR8XWLrBBtQU7KkK8ZKJosU118zyItcEevnboTBF6O3hnjWjh3mGHfhCZB pBUeCvvN3GkUXsd3t8f0JoEPYPYLdm/8BVEhd+N2O7H7AfFLvWf4yH1ZnrcfqPQTpnjw xfJSu2m9xZyDuGQKsRke76PVYqO//zcLXriDm+o8mBezCAXBbA96dkjtGoG1tGT+4tk6 4VCMk3SDE/yI7QDkFujsyoMNIhm1XZdkPBSlMuy7p7Ywyv1tiCCK0PienV+rBsfosl3K ca8uhRwgAhMjf3i1cj4jBlCUE6e4dLCy04u4nnLOMh/XLfVng4UpfVf0ky6FcXqPk3bm Bm9A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=vrbgCTOdF6d9tTcHXjd/yKkkWgVp6dcGEMV9QGr+xOE=; b=e9MriPp6fYZLUTISi6vYJMEIWDtkayQoqa1uFUyayt5PJGYkwzQgc5Hrb++ODBXWU+ MEOGDUCZpBoMSt+6E5y0YmTPeku7x7hcdo48WdnQb/hsXMRnnl90keYuzEkwkpvDwErr DatG3Xg0OOO/DOrj7NaymWdw45POcnfNjutFQ788kY5s3YlUFOZXcko4WzYc8aCeBL+b 7X7ADkRiQXHfz//aQj+aAAHrPiTaCNxHSg9Dvf52xmfWUhlurCxOznD3hx0zHeVDOJFe GTp8GCruQCa5z3S22/+4hI6fVEFo5zTsORxL5kuEszgzQcmBTzJThy7XCXsv0aDocOmu dTYA== X-Gm-Message-State: AIkVDXKNLOvLquflMexFf9ZF/+DwKvGxqXpd7Ai2GtLINTDxurZyfJVqLGHwkqx5GTa/8BhWZAmMladnA/KeE8BI X-Received: by 10.107.32.199 with SMTP id g190mr7104235iog.178.1484819050508; Thu, 19 Jan 2017 01:44:10 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.48.211 with HTTP; Thu, 19 Jan 2017 01:44:10 -0800 (PST) From: =?UTF-8?Q?Christoph_H=C3=B6ger?= Date: Thu, 19 Jan 2017 10:44:10 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a1140338a0fc67d05466f606f Subject: [Caml-list] Manually linking generated native code --001a1140338a0fc67d05466f606f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear all, consider a simple test program: let _ =3D Printf.printf "Hello world!\n" I can generate the relevant assembly just fine, e.g.: ocamlopt -dstartup -S test.ml gcc -c a.out.startup.s -c But I cannot link it: gcc a.out.startup.o -L$(ocamlc -where) -lasmrun_shared .... a.out.startup.o(.data+0x6e8): error: undefined reference to 'camlStd_exit__frametable' collect2: Fehler: ld gab 1 als Ende-Status zur=C3=BCck distcc[9960] ERROR: compile (null) on localhost failed It seems that the whole Pervasives is missing (which is kind of expected). How do I link it, manually? Where are the relevant object files? thanks, Christoph --001a1140338a0fc67d05466f606f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear all,

consider a simple test pr= ogram:

=C2=A0 let _ =3D Printf.printf "Hello world!\n"
=
I can generate the relevant assembly just fine, e.g.:

ocamlopt -dstartup -S test.ml
gcc -c a.out.startup.s -c

But I cannot link it:

<= /div>
gcc a.out.startup.o -L$(ocamlc -where) -lasmrun_shared
....a.out.startup.o(.data+0x6e8): error: undefined reference to 'camlStd_e= xit__frametable'
collect2: Fehler: ld gab 1 als Ende-Status zur=C3= =BCck
distcc[9960] ERROR: compile (null) on localhost failed

It seems that the whole Pervasives is missing (which is kind of expe= cted).

How do I link it, manually? Where are the relevan= t object files?

thanks,

Christoph

--001a1140338a0fc67d05466f606f--