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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E57077F60B for ; Fri, 24 Mar 2017 13:16:22 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Fabrice.Le_fessant@inria.fr; spf=Pass smtp.mailfrom=fabrissimo@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Fabrice.Le_fessant@inria.fr) identity=pra; client-ip=209.85.223.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="Fabrice.Le_fessant@inria.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.223.173 as permitted sender) identity=mailfrom; client-ip=209.85.223.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@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-f173.google.com) identity=helo; client-ip=209.85.223.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-io0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AdYVJ3xFZ+uP7M8bGsLNQB51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7ypMywAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6zaYN0aWHFBXt5PWCNdHoOy?= =?us-ascii?q?YYwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAi3OshHwPJ0gwuEdwNrX?= =?us-ascii?q?rassn6ObwIXuyp1qTF1ynPY+9U1Dr79YPGcgohofaJXb9occTe01IgFxnEjlqM?= =?us-ascii?q?t4PuIjWb2foQuGab8eVgTvmvhHQhqwFtvzOiwccihZPSiYIPy1DL6Tt2zJwzK9?= =?us-ascii?q?KmUEF7b8CrEIBLty6AMYt2XtgvQ2BuuCYgy70Jo4S3fCYQyJk+wRPUdvKJc4+N?= =?us-ascii?q?4h35VeaRJy91hHNjeLKlhha961KsyuPmVsWszFZKrjBFncfWuX8QzRDT78yHRu?= =?us-ascii?q?N9/0i72TaP0AfT5vtYLkAzkKrWLYMqzL0olpcLr0jPAiv7lF/1gaKWbEko5Pak?= =?us-ascii?q?5ur9brn7pJKROYl5gRzkPKs0gMywG+E4PxAOX2eF/eS806Xu/UjjT7VLiv06i6?= =?us-ascii?q?jZsJfGKcgCqK61Hg1Y34g55xawCDem19sYnX0ZI15fZB2HiI3pN0nPIPD+E/i/?= =?us-ascii?q?n0yhnCl3y/3CJLHsAZXAImLdnLv/c7tx8VNQxQg9wNxH4pJbELABIPb9Wk/rs9?= =?us-ascii?q?zYCwc0MwKuzOn8EtV915geWXmOAq+cN6PfqlCI5uc1LOmNYI8ZoiryK/8g5/L2?= =?us-ascii?q?l382hUcdfbW13ZsQcH23Au5pI0CdYXb1htcBEHwKvhYlQezxiFyCVCZTaGyoU6?= =?us-ascii?q?I94DE7EoOmAp3ZSoCjmrzSlBu8S75bYGFNClHEOGzhds3QUuwFaQqTOYlmmTwN?= =?us-ascii?q?E7GqDY05g1Xmvwb/z/9jL/HI0iwer5PqktZvtMPJkhRn2zV+FcWW3impQilak3?= =?us-ascii?q?gTTjkqlPRRqEZny1yOl4x1tPJVDsda4e9hUwEgNJeawfYsWIO6YR7IYtrcEAXu?= =?us-ascii?q?ed6hGzxkC49ozg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DFAwChDdVYhq3fVdFdDg4BAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYN6EIELAYNhm12COpVHiRxCFQEBAQEBAQEBAQEBEgEBAQgLCwg?= =?us-ascii?q?oL4IzIoJBAQQBI0sQCwsEBxodAgIiEgEFAQoSBgESEoldAw0IDp0FP4wDgiaHN?= =?us-ascii?q?QODPhKLK4dagl8Fh0IMlQtrhhCLUIJQjmCSHTOBFQ8mgSY6I1IXBoV+PUA1iW4?= =?us-ascii?q?BAQE?= X-IPAS-Result: =?us-ascii?q?A0DFAwChDdVYhq3fVdFdDg4BAQQBAQoBARcBAQQBAQoBAYN?= =?us-ascii?q?6EIELAYNhm12COpVHiRxCFQEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzIoJBAQQBI?= =?us-ascii?q?0sQCwsEBxodAgIiEgEFAQoSBgESEoldAw0IDp0FP4wDgiaHNQODPhKLK4dagl8?= =?us-ascii?q?Fh0IMlQtrhhCLUIJQjmCSHTOBFQ8mgSY6I1IXBoV+PUA1iW4BAQE?= X-IronPort-AV: E=Sophos;i="5.36,214,1486422000"; d="scan'208,217";a="217909285" Received: from mail-io0-f173.google.com ([209.85.223.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Mar 2017 13:16:21 +0100 Received: by mail-io0-f173.google.com with SMTP id b140so459600iof.1 for ; Fri, 24 Mar 2017 05:16:21 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=HsAYQMNC0Am+x+3d71YSAwhuCy0M37urLSwR2IixpxI=; b=k6lcmwjEwtw283T5ine8z+eZ+IgAjy+Hyg0L/xqs91TnpLZRXLCKDn+Mljm50kvtLF 9eulMF6MBdVjRyVPdMXbkf6/GLE9r9BEkpLF3SzmfWmvoljBiuVYfkyofwUMPxbhZ0QI ueBRS7vx7dPDtH3zIBN/vuHEiQw23hVb4vTdVsm5mkfaDV4Y4a3qMYESeNgd0zKn/eF6 MEBSTa32cAwVy+XM7O9dgUIphbskq1L5Kw1+5zXS9DnLAE5jXNaPOQTFSC2WxP5wv1f9 YLBGJbKP+np0ZhdpWXOSgnNGVOYKildCvPIQ8UAORprOhCv1sC5jc4ioBeb49e/LPZ5N i1uQ== X-Gm-Message-State: AFeK/H0EqPEOCHBIZfokf9xKMu+KEEufpXiZ45F76wKpQtClydRYr2PRTduWuRGipUDe050wDM5cQL9zXtJH4A== X-Received: by 10.107.7.29 with SMTP id 29mr8082734ioh.57.1490357780475; Fri, 24 Mar 2017 05:16:20 -0700 (PDT) MIME-Version: 1.0 References: <20170324070558.GA36798@pllab.is.ocha.ac.jp> In-Reply-To: <20170324070558.GA36798@pllab.is.ocha.ac.jp> From: Fabrice Le Fessant Date: Fri, 24 Mar 2017 12:16:10 +0000 Message-ID: To: Kenichi Asai , caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a113ea6f017f5a7054b78f670 Subject: Re: [Caml-list] On .gitignore --001a113ea6f017f5a7054b78f670 Content-Type: text/plain; charset=UTF-8 Could you fill an issue on Mantis ? It's clearly a bug... A file in the index should never be in the .gitignore. --Fabrice On Fri, Mar 24, 2017 at 8:06 AM Kenichi Asai wrote: > Why is /otherlibs/systhreads/thread.ml listed in .gitignore in the > OCaml distribution (or in the github repository)? Because of this, > when I make a local git repository from the OCaml source and clone it > to somewhere else, I get an error when I do "make world" because of > the missing thread.ml file. Is it safe to remove the line from > .gitignore? > > Peculiarly, when I modify thread.ml, "git status" reports that the > file is modified, even though it is listed in .gitignore. I might not > understand the behavior of .gitignore quite right. > > I found the following files exist and match .gitignore: > > .depend > /otherlibs/systhreads/thread.ml > testsuite/tests/asmcomp/mips.s > testsuite/tests/opaque/intf/opaque_impl.mli > testsuite/tests/opaque/intf/opaque_intf.mli > testsuite/tests/opaque/intf/regular.mli > > -- > Kenichi Asai > > -- > 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 > --001a113ea6f017f5a7054b78f670 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Could you fill an issue on Mantis ? It's clearly a bug= ... A file in the index should never be in the .gitignore.
--Fabrice

On Fri, Mar 24, 20= 17 at 8:06 AM Kenichi Asai <asai@i= s.ocha.ac.jp> wrote:
Why is = /otherlibs/systhreads/thread.ml listed in .gitignore in the<= br class=3D"gmail_msg"> OCaml distribution (or in the github repository)?=C2=A0 Because of this, when I make a local git repository from the OCaml source and clone it
to somewhere else, I get an error when I do "make world" because = of
the missing thread.ml file.=C2=A0 Is it safe to remove the l= ine from
.gitignore?

Peculiarly, when I modify thread.ml, "git status" = reports that the
file is modified, even though it is listed in .gitignore.=C2=A0 I might not=
understand the behavior of .gitignore quite right.

I found the following files exist and match .gitignore:

.depend
/otherlibs/systhreads/thread.ml
testsuite/tests/asmcomp/mips.s
testsuite/tests/opaque/intf/opaque_impl.mli
testsuite/tests/opaque/intf/opaque_intf.mli
testsuite/tests/opaque/intf/regular.mli

--
Kenichi Asai

--
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-bug= s
--001a113ea6f017f5a7054b78f670--