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 E11797F168 for ; Fri, 28 Aug 2015 14:38:53 +0200 (CEST) IronPort-PHdr: 9a23:vTNhxB9FxQp4Af9uRHKM819IXTAuvvDOBiVQ1KB92uIcTK2v8tzYMVDF4r011RmSDd6dtqMMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1ElfaKoS8b7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+VrBYBfWR8mKWEu+MrztRSLcRGI62AAVmgM2k5jAxLE9w39Rpf89BfgsedmxC2XJ+XrSLcyQnKr5OFhRUm7pj0AMmsF8GbSg9c4prhSoRiooQA3l5LUZ4ScL7x0ZKrcd9ocWUJOW89QU2pKBYbqPNhHNPYIIesN99q1nFAJtxbrQFD0XO4= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=thomas.braibant@gmail.com; spf=Pass smtp.mailfrom=thomas.braibant@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.braibant@gmail.com) identity=pra; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="thomas.braibant@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.braibant@gmail.com designates 209.85.214.173 as permitted sender) identity=mailfrom; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="thomas.braibant@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f173.google.com) identity=helo; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="postmaster@mail-ob0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ADAgD1VeBVm63WVdFeDoRKBoMdgQeuBJNNAoEzBzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEDARIRHQEbHQEDDAYFBAEGNwICIgERAQUBHAYbGod2AQMKCKFigS8+MYtAgWyCeYoJChknDVaERwEBAQEBBQEBAQEBARYBBQ6GX4R1hQsHgmmBQwWMbIhRjHOZFxIjgRcXg1A/PTOCTQEBAQ X-IPAS-Result: A0ADAgD1VeBVm63WVdFeDoRKBoMdgQeuBJNNAoEzBzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEDARIRHQEbHQEDDAYFBAEGNwICIgERAQUBHAYbGod2AQMKCKFigS8+MYtAgWyCeYoJChknDVaERwEBAQEBBQEBAQEBARYBBQ6GX4R1hQsHgmmBQwWMbIhRjHOZFxIjgRcXg1A/PTOCTQEBAQ X-IronPort-AV: E=Sophos;i="5.17,424,1437429600"; d="scan'208";a="175191567" Received: from mail-ob0-f173.google.com ([209.85.214.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Aug 2015 14:38:53 +0200 Received: by obbwr7 with SMTP id wr7so41120435obb.2 for ; Fri, 28 Aug 2015 05:38:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=V1icSK+BaJ+A6t1L2x6uVJ6pnc5KPzaNYpek6P5EbkY=; b=Ubiih3VEQlJAwiqAGuwcmqrJaGAOnHYWevIjjYQuFDcWjQ+4HQUj1Bq7mH6BDGl9h6 xaeg1ZjYa/OJQ8X768JM+PNIJNa/zqNgSGHH3pIksaUtQz1PCrus3e4at8+Bm+sqbqIg 9FMgP3x3tSpoqOclqNsrCydYDpLCmMhz+BlJekGIOg0+soWfLiq5XqmmiNGGzzNTxnAO W3Op0GD6Bu7EZAh9vcu9ivwzY1xY/KingBceea58YO2KNZhOUn67YJgwcdpMk7ellbi6 eAtJWJOc9TQSjNrwDK48fKiH3THdOOYPNwB+KivGAyPwLB9LJdwyb+9Z5o11naZ7DjLb vWbw== X-Received: by 10.182.197.235 with SMTP id ix11mr5956995obc.49.1440765531922; Fri, 28 Aug 2015 05:38:51 -0700 (PDT) MIME-Version: 1.0 Received: by 10.202.194.68 with HTTP; Fri, 28 Aug 2015 05:38:31 -0700 (PDT) In-Reply-To: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> References: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> From: Thomas Braibant Date: Fri, 28 Aug 2015 13:38:31 +0100 Message-ID: To: Christophe Troestler Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary=001a1134bfdabc28aa051e5e5dd2 Subject: Re: [Caml-list] We need a rich standard library distributed with OCaml, really --001a1134bfdabc28aa051e5e5dd2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable > > > 2. LICENSES: Every opam package comes with a license which should help > companies to choose which ones to use. For the problem Hongbo mentioned, > maybe one could develop a tool that does the following: given a white-list > of licenses that the company has agreed are OK (e.g. ISC) and a list of > opam packages, the tool would warn if any of the (recursive) dependencies > does not have a =E2=80=9Cgood=E2=80=9D license. Here is an example of a script that provides (almost) such a tool ``` PACKAGES=3Dirmin for p in $(opam list --recursive --short --sort --required-by $PACKAGES); do echo "$p $(opam show $p -f license)" done ``` The name of the licenses could probably be standardized a bit to make it easier to come up with white-lists. --001a1134bfdabc28aa051e5e5dd2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

2. LICENSES: Every opam package comes with a license which should help comp= anies to choose which ones to use.=C2=A0 For the problem Hongbo mentioned, = maybe one could develop a tool that does the following: given a white-list = of licenses that the company has agreed are OK (e.g. ISC) and a list of opa= m packages, the tool would warn if any of the (recursive) dependencies does= not have a =E2=80=9Cgood=E2=80=9D license.

Here is an example of a script that provides (almost) such a tool

```
PACKAGES=3Dirmin=C2=A0
for p in $(= opam list --recursive --short --sort --required-by $PACKAGES); do
=C2=A0 =C2=A0echo "$p $(opam show $p -f license)"
done=
```
=C2=A0
The name of the licenses could pr= obably be standardized a bit to make it easier to come up with white-lists.= =C2=A0

--001a1134bfdabc28aa051e5e5dd2--