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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 366867F98F for ; Tue, 1 Aug 2017 11:19:44 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=217.72.192.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=217.72.192.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=217.72.192.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARC/lPxEbjLEfMcQfMEkV0p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpsiwAkXT6L1XgUPTWs2DsrQf2rqQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOSMn/mHZisJ+j6xVrxyuqBN934HZe46VOOZkc63aYd8XS2hMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIAM+lGtYnyukYFowaiBQmrAOPv0jpIiWXw3a08zu8sFgDG3AouH9IJq3?= =?us-ascii?q?nUo8v6NL0PXuys16nI0TLDb/dO2Tf48ofIdBYhreuRUr1uaMfcz1QkGQ3CjlWV?= =?us-ascii?q?s4PlPjWV2/wCs2eF9epvSPuji3U7qwF2pjiv3sIshZPPhoIT0FzL6Dt2zJ4pKt?= =?us-ascii?q?KiTU57ZcKrEJpMtyCaLYd2RdkiQ25utS0nybMGoYa2cDYXxJkl3RLSaeKLf5KV?= =?us-ascii?q?7h/nSuqdOzV1iXJ9dL+8hxu+61Wsx+7yW8Wu0VtHqjBJnsTNu3wQ0RHY99KJRe?= =?us-ascii?q?Fn/ki73DaCzwDT5f9AIUAzjafbLpkhwqMslpYJskTDAyn2l1jog6+QbUUr5PKo?= =?us-ascii?q?6/r5bbX8vJOTKpF7hhn/MqQohMO/Hfw1PhYTU2WZ4+ix1qPv8VfkTLhOkPE6iK?= =?us-ascii?q?vUvZDCKcQevKG5AgtV0og56xa4CjeryNUYnX8JLFJCYx+HgJbmO0vTL/zhFve/?= =?us-ascii?q?n1OskDNzx/DDJLLhBJPNImLen7j/Zbp98VJTyBIvzdBD4JJZEq0OL+j2Wk/1rd?= =?us-ascii?q?DYCh45Mxeow+v8E9V81oYeWXqVDaODMaPSt0WI5uM1LOWWao8VomW1F/9w7Pfr?= =?us-ascii?q?iTo9mEQBVaivx5oeLn6iTdp8JEDMTnf2jp86DWAOpg83Suqi3FyEXzl7aHuoU+?= =?us-ascii?q?cn+jY/EIevC4GFSo370+/J5zuyApADPjMOMVuLC3q9L4g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRAwDxRoBZh0vASNldHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhBNtJ48Ljn+BbA2YEgchhR8ChBlDFAEBAQEBAQEBAQEBEgEBAQg?= =?us-ascii?q?NCQgoL4IzIoJEAQIDIzI0CxgqAgJXEwYCAQEFiioBC647giaLTgEBAQcCARYPg?= =?us-ascii?q?yiCAlKCWyuCe4R/QIJHgmEFiWyHA48FgQJwA4I8gh6PZokkhxCJVowhNoErUyU?= =?us-ascii?q?USYUngXV0AYouAQEB?= X-IPAS-Result: =?us-ascii?q?A0BRAwDxRoBZh0vASNldHAEBBAEBCgEBFwEBBAEBCgEBhBN?= =?us-ascii?q?tJ48Ljn+BbA2YEgchhR8ChBlDFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJEA?= =?us-ascii?q?QIDIzI0CxgqAgJXEwYCAQEFiioBC647giaLTgEBAQcCARYPgyiCAlKCWyuCe4R?= =?us-ascii?q?/QIJHgmEFiWyHA48FgQJwA4I8gh6PZokkhxCJVowhNoErUyUUSYUngXV0AYouA?= =?us-ascii?q?QEB?= X-IronPort-AV: E=Sophos;i="5.41,305,1498514400"; d="asc'?scan'208";a="285680946" Received: from mout.kundenserver.de ([217.72.192.75]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 01 Aug 2017 11:19:43 +0200 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue102 [212.227.15.183]) with ESMTPSA (Nemesis) id 0Lz2sS-1dYBzh30Ge-014CBc for ; Tue, 01 Aug 2017 11:19:41 +0200 Received: from gerdbook.fritz.box (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id CD1A8DC05D for ; Tue, 1 Aug 2017 11:19:40 +0200 (CEST) To: caml-list@inria.fr References: From: Gerd Stolpmann Message-ID: <40fa24c8-a592-6b62-674b-2dfe94f16547@gerd-stolpmann.de> Date: Tue, 1 Aug 2017 11:19:38 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="eCMSo8M5LnDcuX3b7rW7GpXCMwMkKPh6N" X-Provags-ID: V03:K0:rwnv4Aa+5jnhAoDbyYG9WO4n+M9asVW+aoXYT2pySKxjF4GwOUC ot6snccyix3xdqb417ppOGWSgMLgxHGjFhdjdlMM4gtWB+0iSCvo7ukF69dG0ESRWEAObJb LBVi9vHSelK7phlD3CPoaXAoo9FP/8ENnKE3eUeTHAwplbRIZq9REP96uYCOadjxQlm2s9I KUrzMRX1z1KJuDSYK2VqQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:xrWLoWc7E/I=:LuNwiEP1wZQ2E/8Uo3Xrjn jBwE3ZpC30S9jFqc0DuWojDWnxSSn24SihYBJkLAKaP2NC9aQtuLyeLxl48yIvmAE0YSHdbX3 DAzb2l/t9xiKixx5jPfjf/0yC4UI7lKWwizibO+AFLFOW7sHqbJWV0xui2O3tyLG4vVt5VnQT 6SYMFXaA6fy2xuleyrL6EOe2X2sfdxio4JadE4vSENIcqjLW7H78KAfZoVZG03eTTQSEpaU7v 9+2YgiHDuFxGAZottIC1d0kN3OLoREAu/01t29lVQD7fsN2vzm4OfhAePhBNcbhd31A8HhWf0 VvdrEfvKEaYEdD34i0zRNK9eXftmUmkwNDA29obaSyAzD0LeeH+DvJpvwBljO+ik7aamu8J2F BwduSW2ZdXOxEsGBwhuGr/gvro355IPVivQHCYqlay5ZtIGx5ZdVAotQX3AtWOTzRuFsC0uez kOsMOYK2ajIZBQTyYDUhv1kiw4I59f+YVKPr/aq8xNvMr/HvFJqaf0dQmEVQyJmrtFu/Uj/05 aTfwwrWPPnTZHRHtx8XADw6rWKmGS7MrcUckrPNxBQu4xT8LkHOKchvK375c+311Nsu9/Gt5l LvArqnBvukGXfOKWJ8FcMHoh1IVDJ3XdhzMGgLGUo6v7Lqmzehc2TVUDcANj8b3sCSmJHHtI9 38Cv4Hxi7ZY4IAHm8DdxcfRav0ko3DZ7u7QcrWgUCLSLchdMANAHxoKH/Fw1kKTRJLXpb98ju dkx93ZiayW8pwsLI2/W7icCLx2fvLvOVpO1PyQ== Subject: Re: [Caml-list] how do you develop multiple dependent projects simultaneously? This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --eCMSo8M5LnDcuX3b7rW7GpXCMwMkKPh6N Content-Type: multipart/mixed; boundary="pvnc15xrcR1OoPwD1XMfM74q6L0Eoh1G3"; protected-headers="v1" From: Gerd Stolpmann To: caml-list@inria.fr Message-ID: <40fa24c8-a592-6b62-674b-2dfe94f16547@gerd-stolpmann.de> Subject: Re: [Caml-list] how do you develop multiple dependent projects simultaneously? References: In-Reply-To: --pvnc15xrcR1OoPwD1XMfM74q6L0Eoh1G3 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Content-Language: en-US What I usually do is that I set the OCAMLPATH variable so that ocamlfind can find the not-yet packaged or installed version of the just compiled library. Of course, this requires that you structure your source repository so that this is possible, e.g. I often use src/library-name/ and then OCAMLPATH=3D/src works (use a colon-separated path if you have several of such locations). Still, this means that you have to clean and rebuild often, but you are at least skipping the installation part. Gerd On 31.07.17 22:33, Martin DeMello wrote: > I have a project that depends on two other libraries, both pinned to > local git repos in opam. However I find it quite annoying to have to > run opam update && opam install every time I make a change in the > libraries, especially when I'm making small changes to all three > projects at the same time. Is there any smoother workflow that people > use? > > martin > --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --pvnc15xrcR1OoPwD1XMfM74q6L0Eoh1G3-- --eCMSo8M5LnDcuX3b7rW7GpXCMwMkKPh6N Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2 iQEcBAEBCAAGBQJZgEevAAoJEAaM4b9ZLB5T0eAH/2s3KeMeNwZLSg1TlQTjGx9U tongWe1A2l65pU7C2YxxRXz6zxrLF1dAGfIe15zq4/8M+epJQRX969CKMbefumWh IdLemGxSzS5U1s441/I4yy6Ou58jcVTz3Yf1KLGGUjKIaeWZO9mQ5BJY8cBKDHdE mDOYN81oZuf9C+t3eLAf/Qh5n501Y3T2Uf4cVk4m+d3l+foq8gSmlZxtOidWDw+C gnZJDpSBdlKQ3vZQf8hdoab59U2QWtNAKH56EYQSJRkIrUDIaKy1AYg4VwUH6SpN 3UzMRxC6gVY893jOC753cxkPPBuN2Tib9hw/1Qw4kHqtbrEkf1cLuhX69CI4NS8= =7FWU -----END PGP SIGNATURE----- --eCMSo8M5LnDcuX3b7rW7GpXCMwMkKPh6N--