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 sympa.inria.fr (Postfix) with ESMTPS id 9BC098002D for ; Tue, 11 Oct 2016 15:06:04 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A78FYiRMQq7OtFbjV7aol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KP7+rarrMEGX3/hxlliBBdydsKMezbGH+P64ESxYuNDa7yBEKMQNHzY+yu?= =?us-ascii?q?wo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9Msfogs+2z+G//YHIK0UN3WLlIOBEFwittQjaquURhIJjLO5xlkqI8TN0fL?= =?us-ascii?q?F322pubX2UgxHi7cex4IUrpyVOtNog+sNNF6LgcPJrY6ZfCWEPNWExrOjiuRnK?= =?us-ascii?q?UwKX63cQQy1CmxxJByDf4Rr9X5O3tTH14LkukBKGNNH7GOhnEQ+p6L1mHVq10S?= =?us-ascii?q?o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BUAgAZ4/xX/zPhmQVcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFwEBBAEBCgEBgxEBAQEBAR1XLU+NM5cDgiySCIILJoV6AgiBezgUAQE?= =?us-ascii?q?BAQEBAQEBAQFdJ4IyBAEVBYIQAQEBAwEjHQMBBSULAQEDCwsOCgICCR0CAkUEA?= =?us-ascii?q?Q0GExKIJAMPDAEJtHxnhEkHAoRKA4NxAQEBAQEBBAEBAQEBAQEBFgEJgQeHM4F?= =?us-ascii?q?TgQWER2OCISyCL4Z1DJMGhieJVmeBB06EGYMUhgyMZhODfx42TYRhcQEBhl+BQ?= =?us-ascii?q?QEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BUAgAZ4/xX/zPhmQVcGgEBAQECAQEBAQgBAQEBFwEBBAE?= =?us-ascii?q?BCgEBgxEBAQEBAR1XLU+NM5cDgiySCIILJoV6AgiBezgUAQEBAQEBAQEBAQFdJ?= =?us-ascii?q?4IyBAEVBYIQAQEBAwEjHQMBBSULAQEDCwsOCgICCR0CAkUEAQ0GExKIJAMPDAE?= =?us-ascii?q?JtHxnhEkHAoRKA4NxAQEBAQEBBAEBAQEBAQEBFgEJgQeHM4FTgQWER2OCISyCL?= =?us-ascii?q?4Z1DJMGhieJVmeBB06EGYMUhgyMZhODfx42TYRhcQEBhl+BQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,329,1473112800"; d="scan'208";a="240294920" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Oct 2016 15:06:03 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 5a8a355f; Tue, 11 Oct 2016 14:06:02 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=XCAsS/jUe8n3jj3iynAUzzhaQ18=; b=Ei7MSLp6mK9HY9O5p9 QFXrPA9k4IFybIJwK7xR7zVfA/t8y0HpoPt2p+AsW/etPjIioNcYI42I/xbhw2P8 tOTMt3QldoUnNcPuhz03PYeYzjwDLuvwFuUsKKJ3kDjGZIjS+wigr26l5IyZOjm1 HHkS0aFgEzX72AN6RHHH0jhNQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=l30MMysYK5yowm07ESMau+yIh/BJfVz6xrvUT0hyWDLlCOIZ1PV b30uMAxv9jQplULhZ3Hy//VA+YUQFxD9c52P3Vgwk4Nriik3lZa69iLugetJk4Ri ZSdqLl/C67kNiW5/bUf0h0AN5Ic9uTqoHyoFmfP0ohUxr+Y8JXU1bxkk= Received: from [172.16.10.95] (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 3ee5bacc (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Tue, 11 Oct 2016 14:06:02 +0100 (BST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Anil Madhavapeddy In-Reply-To: Date: Tue, 11 Oct 2016 14:06:01 +0100 Cc: Yaron Minsky , "Soegtrop, Michael" , Gerd Stolpmann , Jeremie Dimino , "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: <52AF6750-FD6D-49FE-99DE-20C597D60925@recoil.org> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF8E1BA@IRSMSX102.ger.corp.intel.com> <1475780165.16332.8.camel@gerd-stolpmann.de> <0F7D3B1B3C4B894D824F5B822E3E5A172CF8E462@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF8EECF@IRSMSX102.ger.corp.intel.com> To: Ivan Gotovchits X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] ocamlbuild on Windows and bash vs. cmd The standard MirageOS license for our libraries is ISC, which is short and = simple (and the standard license used for new code in OpenBSD): https://github.com/mirage/mirage/blob/master/LICENSE.md regards, Anil > On 11 Oct 2016, at 14:00, Ivan Gotovchits wrote: >=20 > Hi Yaron, >=20 > Given that most of the Janestreet codebase is developed in-house, it migh= t be not that hard to relicense it. This is especially true for `shexp` tha= t currently=20 > has only one contributor. I would suggest switching to ISC or MIT (aka X1= 1, aka Expat) licenses. Probably the former should be preferred, as it is s= horter and cleaner.=20 > The full list of licenses compatible with GPL is here [1]. >=20 > Regards, > Ivan >=20 > [1]: https://www.gnu.org/licenses/license-list.en.html >=20 > On Tue, Oct 11, 2016 at 8:36 AM, Yaron Minsky wr= ote: > You have got to be kidding me. >=20 > Maybe we can dual license? It would be lovely to avoid the rewrite. > What license would be adequate? Maybe we can license everything under > LGPLv2+exception and Apache? >=20 > I hate licenses. >=20 > y >=20 > On Tue, Oct 11, 2016 at 7:49 AM, Soegtrop, Michael > wrote: > > Dear Yaron, > > > > > > > >> I very much hope the licensing isn't an issue. We purposely picked a v= ery > >> liberal license to make this kind of thing as easy as possible. Do tel= l us > >> if you find an issue there. > > > > > > > > it is hard to believe, but the licensing is an issue. According to this > > reference from Apache: > > > > > > > > https://www.apache.org/licenses/GPL-compatibility.html > > > > > > > > citation: > > > > > > > > =E2=80=9CDespite our best efforts, the FSF has never considered the Apa= che License > > to be compatible with GPL version 2, citing the patent termination and > > indemnification provisions as restrictions not present in the older GPL > > license.=E2=80=9D > > > > > > > > the apache license you use is not compatible with GPL2. Since the OCaml > > library is LGPL 2.1, it cannot include Apache licensed code. The patent > > issue mentioned above has nothing to do with the difference between GPL= and > > LGPL, so my guess would be that this also applies to LGPL 2.X. > > > > > > > > Please note that the above reference states that Apache is compatible w= ith > > GPL 3, but I guess you can write a PhD thesis in law and/or computer sc= ience > > about the topic if it is better to have GPL 2.x+ or GPL 3+Apache. > > > > > > > > If you think it is worthwhile, I can ask one of our open source lawyers= for > > advice, but I think the above statement from Apache is fairly clear. > > > > > > > > So as it looks, I have to rewrite from scratch what I need - sigh > > > > > > > > Best regards, > > > > > > > > Michael > > > > Intel Deutschland GmbH > > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > > Tel: +49 89 99 8853-0, www.intel.de > > Managing Directors: Christin Eisenschmid, Christian Lamprechter > > Chairperson of the Supervisory Board: Nicole Lau > > Registered Office: Munich > > Commercial Register: Amtsgericht Muenchen HRB 186928 >=20 > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20