From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id CDBC67FA5F for ; Thu, 19 Jan 2017 11:05:18 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bernhardschommer@gmail.com; spf=Pass smtp.mailfrom=bernhardschommer@gmail.com; spf=None smtp.helo=postmaster@mail-ua0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bernhardschommer@gmail.com) identity=pra; client-ip=209.85.217.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernhardschommer@gmail.com"; x-sender="bernhardschommer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bernhardschommer@gmail.com designates 209.85.217.175 as permitted sender) identity=mailfrom; client-ip=209.85.217.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernhardschommer@gmail.com"; x-sender="bernhardschommer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ua0-f175.google.com) identity=helo; client-ip=209.85.217.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernhardschommer@gmail.com"; x-sender="postmaster@mail-ua0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AC01vtx9Mx+UR0v9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0ewcTK2v8tzYMVDF4r011RmSDNmdt6sP07GempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwpFiCCybL9vIxm6sQvcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?= =?us-ascii?q?odNzMh8m7XhMx+gqxYrhy8uRJw34HabZqJNPpnZK7RYc8WSXZDU8tXSidPApm8?= =?us-ascii?q?b4wKD+cZIOtXsZP9p10OrRSkHwmjGf7kxCJUiX/22q061uEhHh/c3Ac9GN8Bq2?= =?us-ascii?q?rbrM/zNKcSS++11rTHzS7fYPNW3jf97Y3IfQ47ofyXUrJwdNDeyUgrFw/fklqQ?= =?us-ascii?q?ronlMiqT2+8QvWab6O9gWviui24hswxxuSSvyd02ionVm4IV0krI9T5gzIkpI9?= =?us-ascii?q?CzVU11Yca8HZdOqy2XM5F6T8AiTm1ypio2178LtYSmcCUIyJkqwQPUZeadfIiS?= =?us-ascii?q?+B3jUf6cITdmi3Jhf7KynxOy/lKhyu34T8W0zUxFojZcntnCq3wA1Rze5tKISv?= =?us-ascii?q?t6+Ueh1jKP2B7J5u5YJkA0kLLXK58nwrEuipoeqVrPEjPylUnsj6Kbdl8o9va1?= =?us-ascii?q?5+nleLnqu52ROo9shgH7KKsum8i/AeoiMggJWmiW4f+z26P5/U3/QLVFlOc2nb?= =?us-ascii?q?TCsJ/GJcQboau5AwpL3YY58Bu/ADKm384ZnXkDNl5KZBWHj43xN1HUPP/4Feu/?= =?us-ascii?q?g0irkDpz2//JJLjhApHUInjHkbfhZqp95lVHyAszyNBf/4hbBqsAIPL1QE/xtc?= =?us-ascii?q?bXAgU3MwyukK7bD4BW1pkfQn6IGq+uED3dvEXAsukvOeiXeIgNuHD9LPUq6uTG?= =?us-ascii?q?hnI9lEUUeq+km5AQbSbrMO5hJhCzbGDqgt4bHS8xtQo5SennkhXWWzNJYXa7Ra?= =?us-ascii?q?4n7TE8DYerF6/MQ4mshPqK2yLtTc4eXXxPFl3ZSSSgTI6DQfpZMC8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRAQAbj4BYhq/ZVdFeGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgxQBAQEBAUE+gQkHg0qKCJp2jDiCDCKGAAKBewc/GAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBAQgLCwodMIIzGYIeBiMdARsdAQMMBgULDwImAgIiAREBB?= =?us-ascii?q?QEcBhOIZwEDGKMkP4wCggMFARyDCQWDXAoZJw1VgicBAQEBBgIBHQIGEnmFQIR?= =?us-ascii?q?uhEmDBoJeBYh3h3iKRBGGYYsEgkiOJZEqFB6BFB9vch1PFIQYIIFsPTWJZAEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0BRAQAbj4BYhq/ZVdFeGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgxQBAQEBAUE+gQkHg0qKCJp2jDiCDCKGAAKBewc/GAEBAQEBAQEBAQEBE?= =?us-ascii?q?gEBAQgLCwodMIIzGYIeBiMdARsdAQMMBgULDwImAgIiAREBBQEcBhOIZwEDGKM?= =?us-ascii?q?kP4wCggMFARyDCQWDXAoZJw1VgicBAQEBBgIBHQIGEnmFQIRuhEmDBoJeBYh3h?= =?us-ascii?q?3iKRBGGYYsEgkiOJZEqFB6BFB9vch1PFIQYIIFsPTWJZAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,253,1477954800"; d="scan'208";a="209914796" Received: from mail-ua0-f175.google.com ([209.85.217.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jan 2017 11:05:13 +0100 Received: by mail-ua0-f175.google.com with SMTP id 35so29725196uak.1 for ; Thu, 19 Jan 2017 02:05:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=eeMzM3/6DmcL+ZZCiAAeZVXmFo7n+aJSpAVQhsjx2gA=; b=OZCCHhZDCP0UNNux/f5+TM9zbnOYDlyAHuEUttpfDZ79TiAMNlrJ58DNuCVOGZxZRj ht21D9UTm+HrZxJuq/Lo6E7BQgmrNPDtnfBwYNvgI61Is/WpUYic5Vr94JxjdDRDBNns yzDzOFdCwJ08gFJxD6FWNs2xeVrbO69RCkTNrzxyiTJW83Y/cAgwlpVXWuc6sFsFWvrw 6f30da6gCoft0Sjx58uF308gcor6yTPbSTv9Vuy/G1Afowivk48tZSqXU7iTAOOg3EjP +t1w5jUvGrK4/5EbR9LqvAbweFh66/CSgy+hQgjH18uyk7XJlmRHjenSW60uVvXPaIwb Pi0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=eeMzM3/6DmcL+ZZCiAAeZVXmFo7n+aJSpAVQhsjx2gA=; b=YGT1Pp4XjUSqSJ+3HH/fyScV9wpP533i0pNuNdfjvKb9jfRiMDveSB/ff6ppWiZOzU 463iahkTiJdrt9naHEAgzZLLqfmKl3QwZZO4JTYo20bbQcEZeWxShU9cu9X3DAqoRzgV k279XLYgTWDcz0OR4o8GLfTOB5wqOwP1NTpX0jmPDXPXIdY43jCEQ7a52tHUEan8bLVL POqapWPw/T2ivOoFGhK3WliFObAUCiCiF2U7nVyA6qK3jjO6u8jGkiiSMYUqohwC/pDI h03LcgnVMi56bTCvxgqu54vT7QSKHFIe120i00voBV1DGOHDTaks31R96F2qTHn63R5K l+eQ== X-Gm-Message-State: AIkVDXLZEEePcpy9ElO5M8T2O6i5g795f1uWmL0EFhipgM5+JXrs9HJWSM4K/C6JMpTpHUvSSgr+Z90IWEX9yA== X-Received: by 10.176.75.174 with SMTP id v46mr4473384uaf.174.1484820311494; Thu, 19 Jan 2017 02:05:11 -0800 (PST) MIME-Version: 1.0 Received: by 10.176.81.50 with HTTP; Thu, 19 Jan 2017 02:05:11 -0800 (PST) In-Reply-To: References: From: Bernhard Schommer Date: Thu, 19 Jan 2017 11:05:11 +0100 Message-ID: To: =?UTF-8?Q?Christoph_H=C3=B6ger?= Cc: caml-list Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Manually linking generated native code Hi, you might want to use the -verbose switch to get the actual output of the linker call. For me it is: clang -o 'a.out' '-L$(ocamlc -where)' 'a.out.startup.s' '$(ocamlc -where)/std_exit.o' 'test.s' '$(ocamlc -where)/stdlib.a' '$(ocamlc -where)/libasmrun.a' -lm -ldl Best, -Bernhard 2017-01-19 10:44 GMT+01:00 Christoph H=C3=B6ger : > 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 >