From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 462F77F890 for ; Wed, 26 Mar 2014 18:17:21 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYPAG4KM1NKN1ZKnGdsb2JhbABZg0GCQoEgv2qBMw4BAQEBAQYNCQkUKIIlAQEBAwEjVgULCxoCJgICRxAGG4dpCAQJrX2iTReBKY0VMweCbzWBFASaAIUDF48V X-IPAS-Result: AsYPAG4KM1NKN1ZKnGdsb2JhbABZg0GCQoEgv2qBMw4BAQEBAQYNCQkUKIIlAQEBAwEjVgULCxoCJgICRxAGG4dpCAQJrX2iTReBKY0VMweCbzWBFASaAIUDF48V X-IronPort-AV: E=Sophos;i="4.97,736,1389740400"; d="scan'208";a="54228809" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Mar 2014 18:17:20 +0100 Received: from [172.20.10.2] (175-225.197-178.cust.bluewin.ch [178.197.225.175]) by smtp.webfaction.com (Postfix) with ESMTP id B7D6922234D5; Wed, 26 Mar 2014 17:17:15 +0000 (UTC) Date: Wed, 26 Mar 2014 18:17:11 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Travis Brady Cc: Jeremy Yallop , =?utf-8?Q?Milan_Stanojevi=C4=87?= , Dan Benjamin , David Sheets , Bruno Deferrari , O Caml Message-ID: <006A3CA48A9740C187226F8F481ECAE6@erratique.ch> In-Reply-To: References: X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] Static linking via Ctypes? Le mercredi, 26 mars 2014 =C3=A0 17:24, Travis Brady a =C3=A9crit : > So currently I can make binaries, but I'd love to be able to #require thi= s in utop for interactive ipython-like usage. What's the error ? Isn't it maybe because the stublib isn't installed in wh= athever .opam/$SWITCH/lib/stublib ?=20=20 If you didn't install yet you can try to make it look it up in your build d= ir by adding that directory to CAML_LD_LIBRARY_PATH, see: http://caml.inria.fr/pub/docs/manual-ocaml-4.01/runtime.html#sec256 Otherwise I'd suggest making it first working without oasis where you have = control and understanding of what you do. You can then try to figure out la= ter if you can retro fit what you have done in that cumbersome tool.=20=20 Best, Daniel