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 c5ff346549e7 (Postfix) with ESMTP id 5664D5D4 for ; Tue, 9 Apr 2019 18:54:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,330,1549926000"; d="scan'208";a="377919031" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Apr 2019 20:54:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 12A9C8249D; Tue, 9 Apr 2019 20:54:54 +0200 (CEST) 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 8889F8249D for ; Tue, 9 Apr 2019 20:54:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniil@baturin.org; spf=Pass smtp.mailfrom=daniil@baturin.org; spf=Pass smtp.helo=postmaster@baturin.org IronPort-PHdr: =?us-ascii?q?9a23=3Ae4kxJBzaXTejf8jXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+gWIJqq85mqBkHD//Il1AaPAdyCrasZwLOM4uigATVGvc/Z9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMq8Uam5ZuJ6Y+xhfUvHdFf/?= =?us-ascii?q?ldyWd0KV6OhRrx6dq88IJ5/yhMp/4t8tNLXLnncag/UbFWFiktPXov5M3suxnD?= =?us-ascii?q?TA+P6WUZX24LjBdGABXL4Q/jUJvpvST0quRy2C+BPc3rVr80Qiit771qSBDzli?= =?us-ascii?q?gKMSMy/XzNhcxxiKJbpw+hpwB6zoXJboyZKOZyc6XAdt4cWGFPXNteVzZZD42h?= =?us-ascii?q?cYUPAeoPM+VWoYbzqFQBrwexCwa3CePzyDJFnGP60bE03ukhFwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj7Or0dUea0zKnJyTXIcu5b1i3h6IjVaBAhoPeMVq93fMXM00YvEQLFjlSU?= =?us-ascii?q?qYH+JDyazPgNs3WB7+phU+KjkWknqxt+ojW2wMonl4fHhoUQyl/e9CV5xp44Jd?= =?us-ascii?q?K5SE5nYd6kDYBfuzuGOItxR8MuW31ouDwgxb0YuJ67ZzEGx4gmxxLFd/OHdI2I?= =?us-ascii?q?7xT+X+iSOTd1nH1odbOlixqs8UWtxPfwWteo3FpUtCZJj9jBu3EV2xHc68WLUO?= =?us-ascii?q?Vx80mg1DqVygze5O9JLVoqmabGN5IsxKM7mIAJvkTZBCD2nV37jK+IeUUg/eil?= =?us-ascii?q?8//oba/6pp+BLY90iwf+Pr4pmsylDuQ0KgkOX26F9uSgzLDu8kz0TK9UgvA2nK?= =?us-ascii?q?TVqo7WKdgFqqKjHgNY04cu5w66Dzi80dQYmXcHLEhCeBKCl4XmJkvBIPb5Dfe+?= =?us-ascii?q?h1ShiyxkyOraPr38GJXNL37DnK3mfbZn5E5Q0BAzwsxH55JIFrEBJ+r+VVPru9?= =?us-ascii?q?zdCh81Kgi0w+f8CNVhzY4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIltLbS?= =?us-ascii?q?iioykFoZOK2oxoc/aXaiH/0gLV/KT2Drh4ItGGELvw52ZuX2lUeDV3YHa3+0Xq?= =?us-ascii?q?M4zjsyFJ+8DIGFQZqi1u/SlBynF4FbMzgVQmuHFm3lIt3dBqU8LRmKK8okqQQq?= =?us-ascii?q?ELisT4h4jkOkvRPn0bthaO3O9X9B7MOx5J1O/+TW0CoK23lxBsWZ3XuKSjgvzG?= =?us-ascii?q?kBWyIs3aY5plZymA7ajfpIxsdAHNkW3MtnFx8gPMeHneZzF83oWwSHec2GGg6r?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DMAgCa6axc/6bK/S5lEwEBBwEBAQQBA?= =?us-ascii?q?QcEAQGBZYJ5USASJ40JjCEtg12WZBAlBgGEQAIIhXMGAQQ0EgEBAwEBCQECAQE?= =?us-ascii?q?BAWwcDII6IoJvAQVAAQE4DwsYHBJXEwgBARCDDgGBeQutR4IggnkBAQWBRUGFJ?= =?us-ascii?q?QMFgTCLXoF/gTiCaz6CYQICgiyFFJIxO5MdCYJThTGLeiBqk3WRdY4DgWYhgVY?= =?us-ascii?q?zGggoCDuCbIIKg2+FFIVLMzOBAwGPaQEB?= X-IPAS-Result: =?us-ascii?q?A0DMAgCa6axc/6bK/S5lEwEBBwEBAQQBAQcEAQGBZYJ5USA?= =?us-ascii?q?SJ40JjCEtg12WZBAlBgGEQAIIhXMGAQQ0EgEBAwEBCQECAQEBAWwcDII6IoJvA?= =?us-ascii?q?QVAAQE4DwsYHBJXEwgBARCDDgGBeQutR4IggnkBAQWBRUGFJQMFgTCLXoF/gTi?= =?us-ascii?q?Caz6CYQICgiyFFJIxO5MdCYJThTGLeiBqk3WRdY4DgWYhgVYzGggoCDuCbIIKg?= =?us-ascii?q?2+FFIVLMzOBAwGPaQEB?= X-IronPort-AV: E=Sophos;i="5.60,330,1549926000"; d="scan'208";a="302349370" X-MGA-submission: =?us-ascii?q?MDEn8ZMcm6otw8GPjb6oLqO3hEjyYMJzfwYZ+w?= =?us-ascii?q?YXCnIQlJXSmjKYjk2RVpV/asTkB4qgCNLqjLRTH92COvCcP5LBghQIlq?= =?us-ascii?q?jza0B8dZM/G855VxG/Q3A6yWixytXdtJV6kfDfzNbYh9gC79qQPEdTXf?= =?us-ascii?q?ucEFv1+wmM1l0Pfst05uNc5g=3D=3D?= Received: from srv.baturin.org (HELO baturin.org) ([46.253.202.166]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Apr 2019 20:54:40 +0200 Received: from careless.baturin.tld (unknown [46.236.133.210]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)) (No client certificate requested) by baturin.org (Postfix) with ESMTPSA id 9A0A31A0111 for ; Tue, 9 Apr 2019 14:54:39 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=baturin.org; s=default; t=1554836079; bh=SvSm4ozwQP5LskGzOoAYLshMaGuurKCaEYw1NxJjbtg=; h=Subject:To:References:From:Date:In-Reply-To; b=nJC9qWvpBmALQ+Jt6cK6aO7FBGFWfqF14NSYZycstJp0PR8vmP6pJCRHYSPmmvEJj t6PmBYoSvEwQJdI1ipmt5tK3eB0kAeIst3qE07dyCh2l4l50/g+QVQLEQrG1r4io9S FpLZhsW+FXAGrGKxWBNdZoqksZ6/w2ACKur+yCwE= To: caml-list@inria.fr References: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> <20190409184953.GL32706@church> From: Daniil Baturin Openpgp: preference=signencrypt Autocrypt: addr=daniil@baturin.org; keydata= mQINBE/mdNsBEADyIlvJPoSb1a0sFJ9LVCxBN8E4yQjexL+5a/+hSqDSNKsppFnfJj/oBuP3 J4FCKvi03gea6CNo658JMFrKNE7yGO2fXpYJwQZgHonaX3j7oPYwI2lWgJbUleTs159pXkR7 OyboPIiL0mErOLLIaHjdtXDKY8zn/Jm14zrnjhXRJVcEDeLyup3iUYTPTjbfXqj04XrNypvn b9dDnZbJb5auGGrESnAzDoaw8FiwQERtQLmXAq34FqzHbp6Kk2dDXAMXF4K6wNe/hQ7/wiys u9v5uELUSeVTI9a9QAIhXSk+OgTh0jBPK4x1caEGzthvIUlIgRVgOJSgapxqAEY9Gg9ZhU39 MvT4XFPJCrlXLImUaahhwn6MFiYKjC+PX8jarwtGmQbyMM/LerM9l+JUgVR/Ewy27YN9lCg7 /FMrTEDT3EvxvT6m+7fN2aveQvAZA7d3+kKCvO97BrbxLFeOEwpGd6QdCMqLJr6++iWDNJtV LePyUqJ49V5HU8FKXgK65yr9tqToQ7vchWyXgoHUPfGPLUKMdRbegAvP1Ji5KE05QbdcW29S 0ATZA8DivGD19ywq3zOFKW84+0ZMrF/DE+JZvUw6ruKTJM77o4/8fQPG8SFc/U3MbrKLaSTJ VuoYkIORtRLU02Gu/3iYC84eTlHckgWxfqsC0711ySRIuzuTYwARAQABtCNEYW5paWwgQmF0 dXJpbiA8ZGFuaWlsQGJhdHVyaW4ub3JnPokCOAQTAQIAIgUCT+Z02wIbAwYLCQgHAwIGFQgC CQoLBBYCAwECHgECF4AACgkQRybflRHgrx+btA/+Ne7nN+SoWBuBuUKLJUp3OEiYkx4Cmg89 Dee9KzT9KN7xHkQqWy124OkeBQVQ8GBJsQyHTtXGPaK5I3alSqlg0Cs6+GeQlH9zxjA4Aexr AWDaDOYUSN5J7GLrChTaoSRev988UfL4IxWd/gDAcY+dp/whQx/eBPO6Y//i7Kvdr13O8ND8 GL8lvrSLrT+s1mZWlRZZ37G4cT9GZYN/iS3+KYXHYPFftZACGcSF30LWylnJEiYV0awL1+bA Z1QTP1fJKgllJBAh4OUpaV5VZjmHDysULOo2ytMScNcizTCmIKro9T1pztjnXoByQWLK8Rfn s3uxpiPNeddKpM3O0f0H5zoTbBO/SbN0g34mp4wCF3lgntDEXWMf7Fj2kaztPxdCX4JeE8WD cxrFdORtDx8lldAQBZeDotT/hZgmEqKWpKih+H3Tiw7qy6WQU34/KBE9VoMrTakdEzYFNBxO RQ9eQdwg6nURKx7YldVjxBhX7jl7An/1kR5lTW5qtqjqEBR7slGfP3LicvqYOS3GEnbU77c+ L3Jq+mh0TZ01hN46S2R5udXbznKNP32m0CuxNevWxFe0F8bMPrGnLha9NDb0yWo0PRFuSl6p R7KnGrNNaI7TF/b7kQYbPZiZ+gJQ4yMeHHDC2gp0HtwRqjWOwaOSxT0zLjI1PCMXc9nLbRtc iP25Ag0ET+Z02wEQANVB+VaRiBJHVyAe5Ytb7DEfJgr61f/RStH43Du7EA5Kqv8izyJhXwGG jrAK/DJcUb6qcFHI9DOxIaXJtY811t+uBwA9O41FkLLo+5jlJVbkU1pKaGidD+QaTEfsam0V zOC4wORATFLM/Pc+j9wCtSlbQ8qNqBSS0UyIQ8JnuIhKjH8jIxKH0kOEhsay1r78AsHDslUL U9tFWB61RFiJyp+CS7/U4IxapegDEmo37aOq0QyjMbA77ENJM8dZJLDIiXwLc+a+nDRpLkZ6 8Ic7ZZXGgkI2TCKdB/Kd/YbwjDrISenbLIdFwxX9H1n11EzjpWIJRbuOnW6RH0mhUimcEAzH QQNcwrE6zEKIVuse5ZvKn74cMlsKjK3uzGvhh++G3vo/y/hZPeLD0y1M4h9b4NvyCMkinocy NZmI+g8Oe9i5KwI1toc53UZnyW4kqPbpn6wnC75131rSf2SLPxiYplQCiuwpM1u0ezBXHZyL q4ZCvD65UdVP9Dki+Ww9sdRYAoHF8Xt/Eh9fa2SxzLniexEoE+sU3/ELRe27IU41fHL7ufg8 IdzCdYA6hNpro0y6pstfzX6TuwVubqbZKP1+rZ93zt9GCkeVkZ8lO16Ko9QdA1wleyTL9hxL pGtmGBD9GCwkRr1y6J6MGUSFJT1+aYLL/SwJ6mn0PmSs1jBnqacJABEBAAGJAh8EGAECAAkF Ak/mdNsCGwwACgkQRybflRHgrx/J+BAA559KU70vCOnEZ396SQBIP/ufcX2qqeRE/r6qXJ1o fLimsSM0t82wcB/ljajgYLIyd/ibd9wkPj2e4Rb8ZLguhnTUc3ZtVi2fpZoCzBBFZfQo93lB cXqza3Sd0x7wGu0tuygjJlKE5N7gCCA9CBn41jZlZRCUtODv2slnZmt9uJybcodIIKg8O7pm taLYaBVzEfQdwQIsa8hBlx65cK1LQlEarDw4kUmER/WN3N7V/6tATgHBlHok9MCz84zwS5v7 T1c63YjOvDmMuFLaRm7tRyUNr++tqf1a0ZVp6R5T/3UYXpIZONvQkzzRe6PTRh8+5yGSUuzk J/pr2Sw+5x7qraWwKY0/aOltk4BPZ+cXSjqBXEWBijKJF0B7iyVRAI2f54vLe7XXw5+NutCX TF+yyU383feiSzcqc8/Ua/HcjrceFAXtSCcccwRXwiQ5qL8GSYmplH/MykiW0QU5cNL7HMKM G+yB+itXGgzbYekfVdfGI6sawQr7Qzd2U+pyTGrnausS5OC0RJTaqudvu0QUnGg9VsWZlQVi qjVeHIGu5c96CmO8LgzreRaLgXaq/h/y7mpk9pq7Amw2SpmBjltpgG/I4p00WK4mcCPtaPWM /cS9kBw+zWoo2l0Ld7Mwc0Q5xAbu7f3fX0MHCfvxqYf+pISrt8F069m94osHG65xo0U= Message-ID: <5eedcef6-5fe6-5a5e-54a5-364c4fbc8b46@baturin.org> Date: Wed, 10 Apr 2019 01:54:33 +0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 MIME-Version: 1.0 In-Reply-To: <20190409184953.GL32706@church> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Content-Language: en-US Subject: Re: [Caml-list] Opam packages and CI Reply-To: Daniil Baturin X-Loop: caml-list@inria.fr X-Sequence: 17471 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Apparently all it takes to add a "proper" Travis integration is three people and some Ruby code. https://docs.travis-ci.com/user/languages/community-supported-languages/#adding-a-new-language https://github.com/travis-ci/travis-build/blob/master/spec/build/script/haskell_spec.rb I don't have a Ruby experience myself though so I can hardly volunteer. On 4/10/19 1:49 AM, Simon Cruanes wrote: > 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. >