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 C3F8F7FFE3 for ; Fri, 7 Oct 2016 18:20:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yminsky@janestreet.com; spf=Pass smtp.mailfrom=yminsky@janestreet.com; spf=None smtp.helo=postmaster@mxout3.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5VV0cRY44hZgVC8mZ8IWaZL/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpMy+bnLW6fgltlLVR4KTs6sC0LuM9fu8Ej1Rqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?= =?us-ascii?q?IaytQ8iJ3p7xjLz5qsybSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYFYO+dbzuBLf?= =?us-ascii?q?YQyK73oaGiVKw1sbSzTCuVvBWZr+rjH9rq41/SiRPcT7Sfp8DTGj5KdiRRuuky?= =?us-ascii?q?AKOCIj93n/i8psgaYdqxWk8U9R2YnRNbCcLv14Nobce8gZVCIVT8NQUTdCE6u+?= =?us-ascii?q?Zo0CFPYbMOtE6YL6og1d/lOFGQCwCba3mXdzjXjs0Ph/jr0s?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A/AQDjyvdXfeXIaSZcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgxIBAQEBAXV8B40slwCCKpICggsmhXoCgXcHOBQBAQEBAQEBAQE?= =?us-ascii?q?BARIBAQkWCUiCMgQBFQWCEAEBAQMBEhEdAQEHJQsBBAcECwsGBAEBDhoDAgIiE?= =?us-ascii?q?gEFAQoBAwEFCAYTEgkHiBQDDwgDC6UMgTI+MopbZ4RJAQEFhDgDg24BAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEBAQEBAQEUCRCGLIRVhHSCV4JbhnQMkwSGKIZOgwWCPI04jHeCP?= =?us-ascii?q?RMegREPD3UFB4IwLIIAcIZOgUEBAQE?= X-IPAS-Result: =?us-ascii?q?A0A/AQDjyvdXfeXIaSZcHAEBBAEBCgEBFwEBBAEBCgEBgxI?= =?us-ascii?q?BAQEBAXV8B40slwCCKpICggsmhXoCgXcHOBQBAQEBAQEBAQEBARIBAQkWCUiCM?= =?us-ascii?q?gQBFQWCEAEBAQMBEhEdAQEHJQsBBAcECwsGBAEBDhoDAgIiEgEFAQoBAwEFCAY?= =?us-ascii?q?TEgkHiBQDDwgDC6UMgTI+MopbZ4RJAQEFhDgDg24BAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEUCRCGLIRVhHSCV4JbhnQMkwSGKIZOgwWCPI04jHeCPRMegREPD3UFB4I?= =?us-ascii?q?wLIIAcIZOgUEBAQE?= X-IronPort-AV: E=Sophos;i="5.31,456,1473112800"; d="scan'208,217";a="196020711" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Oct 2016 18:19:54 +0200 Received: from tot-qpr-mailcore2.delacy.com ([172.27.56.106] helo=tot-qpr-mailcore2) by mxout3.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1bsXsF-0007Tr-UT for caml-list@inria.fr; Fri, 07 Oct 2016 12:19:51 -0400 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore2 with JS-mailcore (0.1) (envelope-from ) id BX98sn-AAAGiX-cI; 2016-10-07 12:19:51.903255-04:00 Received: from mail-yw0-f197.google.com ([209.85.161.197]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1bsXsF-0000ll-Q7 for caml-list@inria.fr; Fri, 07 Oct 2016 12:19:51 -0400 Received: by mail-yw0-f197.google.com with SMTP id 202so52947262ywx.6 for ; Fri, 07 Oct 2016 09:19:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=Pt6bMvVV/0byzXqOGDJ9RQekCzyIQZIP1iAx4hJaJMU=; b=pu//t9utjJqCbE5GgFbqofV6bJZdRQvPKnifmQ0mHJseNrA4fyXWUT/UXi3nbN90h5 jACGTauPqGMPSTxqfn8iH8rW17Gmq8577NoZDj8ilYeNlUVpFbTxPE1UFySSsvliZ9o5 ae+lMo+jkUFnboQ710e9BLt8ZF46/ttpKii7g= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=Pt6bMvVV/0byzXqOGDJ9RQekCzyIQZIP1iAx4hJaJMU=; b=ZsieemV8zXEje8dSA+8t2Gl0TDTQZf2ErK+iW7W1df+Sx5lLlR/McfA0Mr1VLFIcRu N3KkwiYgnc74Gc3DAYNhK40PGHJER0cQ3vcRAlKsGmzBgmIgzAyKYwHBK6B5tUKCnadW 6tEHH9aCGsU6OjSrnoT/K2vZPKdcGldq4DRZu3anSvC/lnBIazWJ15yUJlNmUabT6oS5 UY4CHsH8KdKisTmKi3aptQHX/eIabGf5e3nMSnsMH6dKLHfF4ztA0ae6DEaqYbSQ0m9Q aghqtLHyq6CBN3OsN2uTmDFhkaZRDb4J7QplsD/i6nVk3j5QIGAdWU6sDQtm+/2bGEgc M9QQ== X-Gm-Message-State: AA6/9RkSOKxn5T4+Y7baBiW4JefUXRjhoSCpv1pJ68ciLsQr2CPHSY2p/h7NVHxiXbG4WusZNTlNmOGjOHqEAk1IE05ZpumJCcNLRbUkmVTZ7Zgrl1Rk/2Ga2lOvgpcb7Z2TIcCAnZ9gq0nDfO5V X-Received: by 10.37.22.4 with SMTP id 4mr15822932ybw.29.1475857191471; Fri, 07 Oct 2016 09:19:51 -0700 (PDT) X-Received: by 10.37.22.4 with SMTP id 4mr15822913ybw.29.1475857191265; Fri, 07 Oct 2016 09:19:51 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.7.66 with HTTP; Fri, 7 Oct 2016 09:19:30 -0700 (PDT) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF8E462@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF8E1BA@IRSMSX102.ger.corp.intel.com> <1475780165.16332.8.camel@gerd-stolpmann.de> <0F7D3B1B3C4B894D824F5B822E3E5A172CF8E462@IRSMSX102.ger.corp.intel.com> From:Yaron Minsky Date: Fri, 7 Oct 2016 18:19:30 +0200 Message-ID: To:"Soegtrop, Michael" Cc:Gerd Stolpmann , Jeremie Dimino , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a11415c9aa023ad053e48c7e7 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] ocamlbuild on Windows and bash vs. cmd --001a11415c9aa023ad053e48c7e7 Content-Type: text/plain; charset=UTF-8 I very much hope the licensing isn't an issue. We purposely picked a very liberal license to make this kind of thing as easy as possible. Do tell us if you find an issue there. y On Fri, Oct 7, 2016 at 8:58 AM, Soegtrop, Michael < michael.soegtrop@intel.com> wrote: > Dear Gerd, Jeremie, > > I agree, something like a very simple shell which gets its commands and > redirections described as some sort of AST is likely the easiest to port > and most robust solution. > > I will look into Jeremie's development and omake and see if it is from a > technical and licensing point of view reusable for ocamlbuild. > > Best Regards, > > Michael > > > -----Original Message----- > > From: Gerd Stolpmann [mailto:info@gerd-stolpmann.de] > > Sent: Thursday, October 06, 2016 8:56 PM > > To: Jeremie Dimino; Soegtrop, Michael > > Cc: caml-list@inria.fr > > Subject: Re: [Caml-list] ocamlbuild on Windows and bash vs. cmd > > > > This is also what omake does. Pipes, redirections, and even a number of > > commands like rm, cp, ls are completely implemented inside omake, so that > > everything works on Unix and Windows the same. I guess this is the only > way > > to get to a uniform build system, at least if you don't want to depend > on 3rd- > > party tools like Cygwin. > > > > Gerd > > > > Am Donnerstag, den 06.10.2016, 18:45 +0100 schrieb Jeremie Dimino: > > > I don't have an opinion on using cmd in ocamlbuild, but I have been > > > looking at similar things for jenga recently. With jenga the actions > > > generated by the rules are of the form (prog, args) and when one wants > > > to to do something more complicated, they have to manually build a > > > shell command. In the Jane Street rules we are using bash. > > > > > > Going through bash is often frustrating, even on Unix. Moreover for > > > the public release of Jane Street packages I'd like to avoid relying > > > too much on bash as it has often been a source of problems in the > > > past. > > > > > > The solution I'm aimed at is to have the jenga rules produce actions > > > using a small DSL allowing pipes and other things and interpret this > > > DSL without the use of a third-party shell, i.e. just using system > > > calls and threads. > > > > > > It's still a work in progress but I already have the backend part > > > working [1]. It's aimed at being portable on Windows. The code for > > > Windows is written but not yet tested, I plan to do it at some point. > > > > > > I imagine that it shouldn't be too use this in ocamlbuild if the [Sh] > > > constructor was removed and replaced by a few other constructors to > > > express pipes, redirections, etc... > > > > > > [1] https://github.com/janestreet/shexp > 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 > > -- > 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 > --001a11415c9aa023ad053e48c7e7 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I very much hope the licensing isn't an issue. We purp= osely picked a very liberal license to make this kind of thing as easy as p= ossible. Do tell us if you find an issue there.

y
<= /div>

On Fri, Oct = 7, 2016 at 8:58 AM, Soegtrop, Michael <michael.soegtrop@intel.com= > wrote:
Dear Gerd, Jeremie= ,

I agree, something like a very simple shell which gets its commands and red= irections described as some sort of AST is likely the easiest to port and m= ost robust solution.

I will look into Jeremie's development and omake and see if it is from = a technical and licensing point of view reusable for ocamlbuild.

Best Regards,

Michael

> -----Original Message-----
> From: Gerd Stolpmann [mailto:info@gerd-stolpmann.de]
> Sent: Thursday, October 06, 2016 8:56 PM
> To: Jeremie Dimino; Soegtrop, Michael
> Cc: caml-list@inria.fr
> Subject: Re: [Caml-list] ocamlbuild on Windows and bash vs. cmd
>
> This is also what omake does. Pipes, redirections, and even a number o= f
> commands like rm, cp, ls are completely implemented inside omake, so t= hat
> everything works on Unix and Windows the same. I guess this is the onl= y way
> to get to a uniform build system, at least if you don't want to de= pend on 3rd-
> party tools like Cygwin.
>
> Gerd
>
> Am Donnerstag, den 06.10.2016, 18:45 +0100 schrieb Jeremie Dimino:
> > I don't have an opinion on using cmd in ocamlbuild, but I hav= e been
> > looking at similar things for jenga recently. With jenga the acti= ons
> > generated by the rules are of the form (prog, args) and when one = wants
> > to to do something more complicated, they have to manually build = a
> > shell command. In the Jane Street rules we are using bash.
> >
> > Going through bash is often frustrating, even on Unix. Moreover f= or
> > the public release of Jane Street packages I'd like to avoid = relying
> > too much on bash as it has often been a source of problems in the=
> > past.
> >
> > The solution I'm aimed at is to have the jenga rules produce = actions
> > using a small DSL allowing pipes and other things and interpret t= his
> > DSL without the use of a third-party shell, i.e. just using syste= m
> > calls and threads.
> >
> > It's still a work in progress but I already have the backend = part
> > working [1]. It's aimed at being portable on Windows. The cod= e for
> > Windows is written but not yet tested, I plan to do it at some po= int.
> >
> > I imagine that it shouldn't be too use this in ocamlbuild if = the [Sh]
> > constructor was removed and replaced by a few other constructors = to
> > express pipes, redirections, etc...
> >
> > =C2=A0 [1] https://github.com/janestreet/shexp=
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

--
Caml-list mailing list.=C2= =A0 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

--001a11415c9aa023ad053e48c7e7--