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 8216D7EEB9 for ; Mon, 26 Oct 2015 14:41:22 +0100 (CET) IronPort-PHdr: 9a23:fnHDGxTyipqoWOUN9weIuPgIv9psv+yvbD5Q0YIujvd0So/mwa64bRON2/xhgRfzUJnB7Loc0qyN4/2mADVLvM/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviptuKOk4V3XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIszEnVWgZjgBPG0yNyRDxXp78tmGy4u980ymTMMmwVrc5Vii46L9DSRn0hSNBPDk8pjL5kMt12Y1Sqgigqhg3+IXUbZuYLrIqcarXZ9IXQSxaVcZcTSFbKoy5ZooLSeEGOLAL/MHGu1ISoE7mVkGXD+T1x2oN3yeu0A== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.175 as permitted sender) identity=mailfrom; client-ip=209.85.223.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.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@mail-io0-f175.google.com) identity=helo; client-ip=209.85.223.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ASAQAHLS5WlK/fVdFegmlsNW8GqyiGeYwaAQ0jgTcdhgACgScHOBQBAQEBAQEBARABAQEBBwsLCR8wgiuCCAEBAwESER0BCBMSCwEDAQsGBQQHBTICAiIBEQEFARwGEyKHeAEDCgikWoExPjGLSYFsgnmHewoZJw1WhAABAQEBAQUBAQEBAQEBAQEUAQUOhmmDeIEGhQ0HgmmBRQWWNoUciAaCIZhCEiOBFxEOAQGCRiOBXT00AYcXAQEB X-IPAS-Result: A0ASAQAHLS5WlK/fVdFegmlsNW8GqyiGeYwaAQ0jgTcdhgACgScHOBQBAQEBAQEBARABAQEBBwsLCR8wgiuCCAEBAwESER0BCBMSCwEDAQsGBQQHBTICAiIBEQEFARwGEyKHeAEDCgikWoExPjGLSYFsgnmHewoZJw1WhAABAQEBAQUBAQEBAQEBAQEUAQUOhmmDeIEGhQ0HgmmBRQWWNoUciAaCIZhCEiOBFxEOAQGCRiOBXT00AYcXAQEB X-IronPort-AV: E=Sophos;i="5.20,201,1444687200"; d="scan'208";a="151775362" Received: from mail-io0-f175.google.com ([209.85.223.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Oct 2015 14:41:21 +0100 Received: by iody8 with SMTP id y8so30630665iod.1 for ; Mon, 26 Oct 2015 06:41:20 -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=uYPHQFXdyjjg7zRCkOGS5KUROy9pzuhwwcBSHDuhOAw=; b=0Ssozp3u045dmgbQ2Dj42itURblnYUGSeKcRi5ZG742Gf6YQUZNr3wAxMc32w2X8YF wDb9VSVfmLn3lIpgace929BQoderA+P+D8bxvf1ur+5ss3kxhpx1M7Da3xY8Ahkf3JGV N1MMV61hxHni0Y8q+T/mEyuDySyTaXyw69qhYbOopGZeGnXX/MSZDgshrbMrt5gNaFTo ENGas8IogBBRD26vmoUxKLrmAkDEqOX8ODrVy9EGnov6xUso6aI+D36OWK45GM1x5Ucv oFmqooRqkJSsoKjvzqOm7G31jW8BwRpLCWmmMAm8wDzk0+iNFWxxwQpmTNf/1OxygWpj AVng== X-Received: by 10.107.31.138 with SMTP id f132mr16216338iof.84.1445866880161; Mon, 26 Oct 2015 06:41:20 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.39.78 with HTTP; Mon, 26 Oct 2015 06:40:40 -0700 (PDT) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE337FB@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE337FB@IRSMSX102.ger.corp.intel.com> From: Gabriel Scherer Date: Mon, 26 Oct 2015 14:40:40 +0100 Message-ID: To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a11409c5ac9001a0523021db6 Subject: Re: [Caml-list] Is this the right place to discuss camlp5? --001a11409c5ac9001a0523021db6 Content-Type: text/plain; charset=UTF-8 camlp5 has no specific mailing-list, so yes caml-list seems appropriate. For patches and bug reports, however, it is probably best to send them to the maintainer directly: Daniel De Rauglaudre (You can send patches in git format, as the main repository is a git clone indicated on http://camlp5.gforge.inria.fr/ ). On Mon, Oct 26, 2015 at 2:35 PM, Soegtrop, Michael < michael.soegtrop@intel.com> wrote: > Dear Ocaml Users, > > > > I just wanted to ask, if this is the right place to discuss camlp5, or if > there is a better place. I have a rather bizarre build issue on Cygwin and > a fix (well a hack) for it. > > > > 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, Prof. Dr. Hermann Eul > Chairperson of the Supervisory Board: Tiffany Doon Silva > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 > --001a11409c5ac9001a0523021db6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
camlp5 has no specific mailing-list, so yes caml-list= seems appropriate. For patches and bug reports, however, it is probably be= st to send them to the maintainer directly:

=C2=A0 Daniel De Rauglau= dre <daniel.de_rauglaud= re@inria.fr>

(You can send patches in git format, as th= e main repository is a git clone indicated on http://camlp5.gforge.inria.fr/ ).

On Mon, Oct 26, 2015 at 2:35 PM= , Soegtrop, Michael <michael.soegtrop@intel.com> wr= ote:

Dear Ocaml Users,

=C2=A0

I just wanted to ask, if this is the right place to = discuss camlp5, or if there is a better place. I have a rather bizarre buil= d issue on Cygwin and a fix (well a hack) for it.

=C2=A0

Best regards,

=C2=A0

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, ww= w.intel.de
Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul
Chairperson of the Supervisory Board: Tiffany Doon Silva
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


--001a11409c5ac9001a0523021db6--