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 687528249D for ; Tue, 9 Apr 2019 20:49:47 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=simon.cruanes.2007@m4x.org; spf=Neutral smtp.mailfrom=simon.cruanes.2007@m4x.org; spf=None smtp.helo=postmaster@mout02.posteo.de Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 185.67.36.142 is permitted sender) identity=pra; client-ip=185.67.36.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="simon.cruanes.2007@m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 185.67.36.142 is permitted sender) identity=mailfrom; client-ip=185.67.36.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="simon.cruanes.2007@m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout02.posteo.de) identity=helo; client-ip=185.67.36.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="simon.cruanes.2007@m4x.org"; x-sender="postmaster@mout02.posteo.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9mTg7h++9rRWpP9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?2u8cTK2v8tzYMVDF4r011RmVBNydsq8P0rCJ++C4ACpcuM7H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjMusUMnIdvKqk9xgbXrnZKZu?= =?us-ascii?q?9awX9kKU+Jkxvz+8u84IRv/zhMt/4k6sVNTbj0c6MkQLJCET8oKXo15MrltRnC?= =?us-ascii?q?SQuA+H4RWXgInxRLHgbI8gj0Uo/+vSXmuOV93jKaPdDtQrAvRTui9aZrRwT2hy?= =?us-ascii?q?oBKjU07XvYis10jKJcvRKhuxlyyJPabY2JKPZzeL7WcMgETmRdQMleSy1BApu9?= =?us-ascii?q?b4QRCeoBIf1YpJT5q1cXsBeyGRWgCObpxzRVhHH5wLc63vwvHw/GwgIuAtEAsH?= =?us-ascii?q?rbo9rpKagdU+66wbLHzTnfdf5bwyvx5ZLWfh0nvPqCXahwcc3UyUQ3Cg3Fj1CQ?= =?us-ascii?q?qYvjPziIyOkNqXWb4PBmVe2xkG4stgZ8oiOuxscpjYnJgJgZxUze9SVk2ok1I8?= =?us-ascii?q?O3SFVhbdK6DJdcqyOXOpBzQs4tTGBkoiE6yqcJuZOieiUB1Zopxxnaa/OdcoiI?= =?us-ascii?q?5AruVOmQITdkhHJlZamwiwyu/kinz+3xUNS/3lVSriddj9XBtXAA2wbS58WFUP?= =?us-ascii?q?dw8Eas1SyS2w3c9O1IOUM5mK7BJ5I8zbM9l4AfvVrdEiPqgkn6kaGbelki9+O1?= =?us-ascii?q?8eroeK/mqYWZN4JsigHxLKAumsunDOQ9NQgOQnSb9fii2LH55U35R65KjuEona?= =?us-ascii?q?neqpzVONoUqra4Aw9TzIkj9w6yAyql3dkYh3UKLVBIdAiJgoXoIV3CPf/1Aemn?= =?us-ascii?q?j1SpijhrxvTGPrP7ApXKK3jOiKzhfbd4605bzgo/18xQ54hJCr4bJvL8RFTxuM?= =?us-ascii?q?bGAhMlLwC5wf3qCNBy24IRQ26PBbWZMKzKvV+S+u0vO/WMZJMSuDvlN/cq/fvu?= =?us-ascii?q?jXsglV8ZfKmpxocXZWujHvVmJkWZeWDjjs0AEWcMpAo+TfblhEeMUT5JND6OWP?= =?us-ascii?q?cc6zU+FZ7uJ53KQIypyOiB0SO+A4EQbHpPDFyIOXjtZ8OCVutaOwyIJco0qT0B?= =?us-ascii?q?Ur7pYJU83Bejr0eu0LtiKeyS8TcFvJTuz54vv7WMvRRu5XpzFcvLgDLFdH19gm?= =?us-ascii?q?5dH2x+56t4u0Eojw7bifEp0cwdLsRa4rZyail/MJfdy+JgDNWjCAedbpGOUln0?= =?us-ascii?q?GIz6UwF0dco4xpo1W2g4A8+r30LGgzrsBKUaxebSWc4Et5nE1n20HP5TjnbL0K?= =?us-ascii?q?543wsjRdZTbTfgnqlk6wXUQYLEwR2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AHAACB6KxcmI4kQ7llEwEBBQEBAQEBA?= =?us-ascii?q?gEBAQEHAgEBAQGBUQUBAQEBCwGCeFEyJ4wqX4pBKYFzjjmBZogYgXsLBSMJhEA?= =?us-ascii?q?ChWAaBQYxCQ0BAQMBAQkBAgEBAQETAQEBAQEICwsGKSMMgjopAYJnBnkQCyElD?= =?us-ascii?q?wVJgzUBgXkBCq9jiiQKBYEwAYFLiXt6gRyEIz6CYQKHQgOBKwEBAZE8kxsBBgE?= =?us-ascii?q?BAYJThTGLdCYMgWoBiV2JC5F1jgOBT4IOMxowQ4EegU6CJINVinEhATKBKBOPM?= =?us-ascii?q?gEB?= X-IPAS-Result: =?us-ascii?q?A0AHAACB6KxcmI4kQ7llEwEBBQEBAQEBAgEBAQEHAgEBAQG?= =?us-ascii?q?BUQUBAQEBCwGCeFEyJ4wqX4pBKYFzjjmBZogYgXsLBSMJhEAChWAaBQYxCQ0BA?= =?us-ascii?q?QMBAQkBAgEBAQETAQEBAQEICwsGKSMMgjopAYJnBnkQCyElDwVJgzUBgXkBCq9?= =?us-ascii?q?jiiQKBYEwAYFLiXt6gRyEIz6CYQKHQgOBKwEBAZE8kxsBBgEBAYJThTGLdCYMg?= =?us-ascii?q?WoBiV2JC5F1jgOBT4IOMxowQ4EegU6CJINVinEhATKBKBOPMgEB?= X-IronPort-AV: E=Sophos;i="5.60,330,1549926000"; d="asc'?scan'208";a="302349119" X-MGA-submission: =?us-ascii?q?MDEqqG34HHhYmZZSnTKI8kpVas+NV0nBpv4Ro3?= =?us-ascii?q?8zAbj0ORtOK+G0n2Dq9+p1KSeiqnpyQL9mcTiKjL9afONZGC2PYYBYDQ?= =?us-ascii?q?UEBJVLFOXG4vZpBGretVK7j/AKzGFU/a8gPAptbKXFb09704xLwqiyXA?= =?us-ascii?q?GEYggCXyYNbedeQs1cXrmOuA=3D=3D?= Received: from mout02.posteo.de ([185.67.36.142]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Apr 2019 20:49:45 +0200 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 65451240111 for ; Tue, 9 Apr 2019 20:49:44 +0200 (CEST) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 44dxD60gthz9rxQ; Tue, 9 Apr 2019 20:49:41 +0200 (CEST) Date: Tue, 9 Apr 2019 13:49:53 -0500 From: Simon Cruanes To: Helmut Brandl Cc: caml users Message-ID: <20190409184953.GL32706@church> References: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="O8/n5iBOhiUtMkxf" Content-Disposition: inline In-Reply-To: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> User-Agent: Mutt/1.11.4 (2019-03-13) Subject: Re: [Caml-list] Opam packages and CI --O8/n5iBOhiUtMkxf Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable I've had good experiences with travis recently, using the docker script (an example here: https://github.com/c-cube/iter/blob/master/.travis.yml). if your package is opam 2-friendly it's just a matter of a local pin and a few switches. there are other options (variables, really) to install extra deps or deal with optional deps. It's not particularly overkill since it just starts with a docker image with pre-installed opam switches. --=20 Simon Cruanes --O8/n5iBOhiUtMkxf Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEElJ/rh48GWcbX032NSsAdCEmqYrYFAlys6VEACgkQSsAdCEmq YrYr9g/9H0eQ0ch1Eam25A44JYQMxnqaXOBIC8q02VtEu1k9asZNHMihlSmDzmq8 Z4WMss9ZZgQMRiCod2uin/CNXPAkjbsP9AR+tXo5ObmAFoq3vE6BAcv64VVNTfFZ MMednkfavoU/ZdtIhJMnTBViRh9Cglex+Tc76kuEU838zTYAtf8C+3Kfs6vh4xmT mZLzRAxa2mvoJn0kYLAjv5wKjkYGfniS7OREw9zYVUOQ3wsH5zLFK9IFFZZUVZ4s ILOk/AQ0Ck0YOTSuzOkECBvNVLK+lit8qKYSLJVcU0kZyzLbwzvugEJDvjzE4CKq Tnm6ZlR0w4HDpJj3ucTJYWTkLaw/20AjObrc1KIUFenwUJxsxL5x/4TF6UgOvH8Y Qqd/2+77qGjR02YP0LcAPrg0f5eRwVh1pwSMDoD4USlcoNi2eAa3GBe3FRxlT6co 3Z3xJHgZTLxPQOEg3crp2W1UjRp0/YYHYKzV/1yHhZLn9u0h8APZwfqHTXVkHBiN uzV+mJG6YzCz9IN6h6cT6Uj7+6TReHVZLS9AwulIfYB70FVsraBH4zwn0vGtA5Gb n3sMGr0nxlmd5fKe3k32BDmwwpeeArtc4FWryhTN+WgzSIr6l044QPM/0hA2aY/N FMnfC47iVs0dJAOvqBZ6KZkp4/uizyZ+agRD7MmgZFUfVEmS8C4= =j2zL -----END PGP SIGNATURE----- --O8/n5iBOhiUtMkxf--