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 c5ff346549e7 (Postfix) with ESMTPS id BA9405D5 for ; Wed, 7 Apr 2021 12:15:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,203,1613430000"; d="scan'208,217";a="501994218" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2021 14:15:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D494EE1D3B; Wed, 7 Apr 2021 14:15:16 +0200 (CEST) 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 3F5A6E0172 for ; Wed, 7 Apr 2021 14:15:11 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?A9a23=3AgDrgPxV8V2guLwpt3vjyn1vT7svV8Kx2UjF92vI?= =?us-ascii?q?co4ILSbyq+tHYBGea288FpGHAUYiT0f9Yke2e6/mmBTVRp8/e7ztaKdRlbFwss?= =?us-ascii?q?Y0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV?= =?us-ascii?q?6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMssQam5ZuJ6QzxxfGvndEZ?= =?us-ascii?q?vldyH91K16Ugxvy/Nq78oR58yRXtfIh9spAXrv/cq8lU7FWDykoPn4s6sHzuhb?= =?us-ascii?q?NUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi77tuRRT1h?= =?us-ascii?q?ioLKyI1/WfKgcFrkqlVvAyuqAB+w47MYYGaKvx+fr/GfdgHQWZNR9tdWzBdDo+?= =?us-ascii?q?5aYYEEugPMvtCr4Tlp1UAswawBRWiCu3sxD9HhH720rE13Ok6Cw7KwBAsEsgSv?= =?us-ascii?q?HjIsdn4MroZX+CvzKnPyDXOd+tY2Tbh54jPdhAmo+qMUqppf8rT10YgChnKgU2?= =?us-ascii?q?NpIvgJTOey+MAs26a7+V8UuKvj3QoqxprrjioxMcjlJTGiZgPxl/f7yp52p04J?= =?us-ascii?q?dmmR090YN6kHppQuzuGOItxR8MvWmdlszs1xbMao5C0ZjQKyIg5yB7FbfyKa4m?= =?us-ascii?q?F7g7/WOuSPzt0mm9pdbOjihuu7UWtyOzxW8mq3FtOsiZIjNbBu24J2hHR6saKS?= =?us-ascii?q?Odw8Em81TqRyw3f9u5JLEQymKHGJZAhxbswmYASsUTFBiL2gF/5jLWNdko64Oi?= =?us-ascii?q?k8eHnYrHgq5SBNIF0khnzP6sylsClHOg0LgoDU3KG9eiizrHv4FH1TbFSgvA1k?= =?us-ascii?q?qTVqo3WKMYHqqKjHQNY3YYu5wy9Aju6yNgUg3gKIE5LdR+CkoTlJ0vBLfH9APu?= =?us-ascii?q?in1igjDJmy+3aMrDkB5jBM2TPnbH8drhn8UFc0hA8zdVH6pJUFL4BJPXzV1fxu?= =?us-ascii?q?tLEEhI1LxG4z//9BtthyI8SQGWPDbSHP6/Itl+I+/4vLPKLZI8IvjbyNuIp5+b?= =?us-ascii?q?0jX8+hV8SY7Wm3YcWaHC/GPRqOUKZYWfwgtcFFmcKuQk+QPb2h12FVD5ff3eyX?= =?us-ascii?q?6Qi6TEnEI+rApvPSpqwjLCd3iq3BIBaan5cBlyRDXvlc52IW/IWZyKTJs9hnCY?= =?us-ascii?q?EVb+kS4I50xGutRP1y71jLuXO4S0Ur5Xj1Npr6OLOjx4+7yd7AN6H02yWS2F7g?= =?us-ascii?q?GwJRz443KB+u0By1lCD0a1gj/xCCdNT/+9JUhs9NZPE0+N1EdXyWgbYcteNSVa?= =?us-ascii?q?mWcmmDCoqTtMxxt8Oe1xyF8+jjhDFxSqqAqUam6aFBJwuoerg2C27LM94zzPC1?= =?us-ascii?q?bI9p1ggWMpGc2O8zOYr/AHWA8vNkl6Fv6esb6UVmiDXoiPL7meIvUpYUUZZSqz?= =?us-ascii?q?EFSQWfULXhdXioETJT7boAL9hMBMXmuCYLa4fTNziilHPX8DEOtnSalWbF334U?= =?us-ascii?q?RCJzbSIZZGsfGcQ0CybAkEeuwQe7XeINE41ASL38DGWNyBnCV+6OxCkyuJ5sn7?= =?us-ascii?q?uCxZsl2miXwhaz7OwvyUtq7mEUfp79rYJqCYvqnN/G1Pvh7r+O5+7vwNkOZ5kT?= =?us-ascii?q?5Y46VZD23jesmRVOpGwLq5jwFUZdlYu12veki5vA4AFqvAE6XMnyA0aAYyi+Qs?= =?us-ascii?q?YMguih9X3MLCRLXTu9heybaKQwkvZzNud5qYI7rI/tknnuwaqUEEl9ic+u+Q?= =?us-ascii?q?=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AOkIxDqFkvfh1mUtBpLqEF8eALOonbusQ8zAX?= =?us-ascii?q?/mp6ICY0TuWzkceykPMHkSLlkTp5YhwdsP2JJaXoex3h3LFv5415B9yfdSng/F?= =?us-ascii?q?ClNYRzqbblqgeAJwTb+vRG3altN4hyYeebMXFfjcL3pDa1CMwhxt7vysyVrNzT?= =?us-ascii?q?xXtsUg1mApsIhztRMQqVHlZ7QwNLH/MCZfihz/BarDmtc2l/VKuGL0QCNtKzxO?= =?us-ascii?q?HjpdbDaR4CCwVP0njqsQ+V?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoAwBxoW1gfW0MayhaDg4BAQEBAQEHA?= =?us-ascii?q?QESAQEEBAEBQIFSAoEhAS9RflklEjEKiAADhTmGY4FtA4wfjl6BEQNUCwEDAQs?= =?us-ascii?q?CIBICBAEBhFACgXgfBgEENQUNAhEBAQUBAQECAQMDBAETAQENFghDhVANgjgpA?= =?us-ascii?q?YNiAQEBAQNAAQE4DwIBCEYyJQIEARIIgmqBflIFAzACAaFDAolqNXWBNIEBggQ?= =?us-ascii?q?BAQaFJhiCEwmBOYJ2hAeCXIN0gSuBI4FWgl8+gU6CNQUFARIBI4NKgiuDWSSBG?= =?us-ascii?q?QcILASebJ0DB4MOgn6GZZM8hQufZpUVnmCESQIEAgQFAg4BAQaBbIELcHBQgmk?= =?us-ascii?q?JRxcCDo4fg3CEIIV4QUMwOAIGAQkBAQMJfIsGAYEOAQE?= X-IPAS-Result: =?us-ascii?q?A0DoAwBxoW1gfW0MayhaDg4BAQEBAQEHAQESAQEEBAEBQIF?= =?us-ascii?q?SAoEhAS9RflklEjEKiAADhTmGY4FtA4wfjl6BEQNUCwEDAQsCIBICBAEBhFACg?= =?us-ascii?q?XgfBgEENQUNAhEBAQUBAQECAQMDBAETAQENFghDhVANgjgpAYNiAQEBAQNAAQE?= =?us-ascii?q?4DwIBCEYyJQIEARIIgmqBflIFAzACAaFDAolqNXWBNIEBggQBAQaFJhiCEwmBO?= =?us-ascii?q?YJ2hAeCXIN0gSuBI4FWgl8+gU6CNQUFARIBI4NKgiuDWSSBGQcILASebJ0DB4M?= =?us-ascii?q?Ogn6GZZM8hQufZpUVnmCESQIEAgQFAg4BAQaBbIELcHBQgmkJRxcCDo4fg3CEI?= =?us-ascii?q?IV4QUMwOAIGAQkBAQMJfIsGAYEOAQE?= X-IronPort-AV: E=Sophos;i="5.82,203,1613430000"; d="scan'208,217";a="501994185" X-MGA-submission: =?us-ascii?q?MDGTgRL8aj/MdZGbh2PtYkjXcE2P7FH5CUvNag?= =?us-ascii?q?/tiMIGFXx8IHVJrcw1CnsWnum7aan+YONLwp7lR5QhYFTFGG6dB1LEM1?= =?us-ascii?q?twFmhwgHEF0IcKRxlcZ35A8KRsPK0BMKmrPP4vFMPrjdhOvvGhhueNH5?= =?us-ascii?q?Edp0DN3ptXrnzZ+3ogjskdfw=3D=3D?= Received: from mail-eopbgr120109.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.109]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 07 Apr 2021 14:15:10 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fQ2GL9j4XLMprl9PkJdd8fjLAq8FHUq9ROh6bmuAxxN0q8DjwfBG7aBlGobtAna95+Tdj7X0bhwaYmlW/FXFaA8exX+wnM30fprsddjyTnbMWPtcSMLvi3EtKeF9r8yVkkusykfvS6KNCnEUXZUdGX/FpFN/QMCVI6UIkpUiLM18b9yb6MQAKuhnIxZObCIhlB9b3SRUzp3YYGw7PEYfbBRxGjor4bswngUO9amC8DHfax++9xvcZw6arei1GXSQHrmk9/NRNHJIWdr85Ln4z5QWHyq+mt+svV9A0Mtj9lWk0vG7hHanmGMDCCb8mu5Oabl6kCanL2KASdul6b8Vnw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=KbpSEF5AgabCS4nifFPt1i8yWQHObsPOh8PxJCsRxYo=; b=cSBEuUYEYE4Ne2QpJHCbq6v/iqppaEnBTSY0Oy1zIZeeqCt98KBtG68Njp2x0uncbWP0EI87Nhizh+JejMw/jm+H/xQl/mq9M6eLYwn1RskJdRo7OX83PQcgFRoI1ujTvQ7OOlvMXfhsgsb3g8/PIJr+OA68g/qGLDRkLI/RVnVaG037NkMh5Y+BeejmKt43JobQ6sSdg+NEDrzTqioVYCkUJhMhHjRNYBpGiCvTZ/tTfM99HBecQ/nfZ2ba20LpOEYMrSOegxExmyaGD9JLWMkUdDSVmMc202+eUecHjuhl7wUdVYYJ4zovBYH6onWznakeF0ldx1/VT0sxx1t5AQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=lexifi.com; dmarc=pass action=none header.from=lexifi.com; dkim=pass header.d=lexifi.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector2-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=KbpSEF5AgabCS4nifFPt1i8yWQHObsPOh8PxJCsRxYo=; b=H4HB/RUACNM8I4rKdLIQ1wTxX8z045LkfnqrLXWW/XMBFXfs8UFTNjOnWa0U0i3k2bZcdoXx121dR3MDJBI/FNherJGs9peLbC4c8Fwsz2OuD9t7vKjfwEg57YxhDcL4r1t9QeTeWtH1NFyuxdMHNGJO8J4B6I3e9B3J8oD5cg8= Received: from PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:10::10) by PR0P264MB2139.FRAP264.PROD.OUTLOOK.COM (2603:10a6:102:16f::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3933.31; Wed, 7 Apr 2021 12:15:09 +0000 Received: from PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM ([fe80::6cbc:f8f1:dc15:e8df]) by PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM ([fe80::6cbc:f8f1:dc15:e8df%6]) with mapi id 15.20.3999.032; Wed, 7 Apr 2021 12:15:09 +0000 From: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= To: "caml-list@inria.fr" , Kenichi Asai Thread-Topic: [Caml-list] ocaml-variants via binary patch? Thread-Index: AQHXK6bfkkpWics6P0G/eSRx6W1dZaqo91mg Date: Wed, 7 Apr 2021 12:15:09 +0000 Message-ID: References: In-Reply-To: Accept-Language: fr-FR, en-US Content-Language: fr-FR X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [85.170.245.70] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 165f8f35-de09-49e4-d931-08d8f9bec9b1 x-ms-traffictypediagnostic: PR0P264MB2139: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 4PSZsTwFQqh8wu//SreIm9/NcnDPuFoWbATTdqq9vxg/RZOdaTTK3zYNIqI8ZHZ/6Dk8u2ztGRiGatYw3R6dU9hjqM2I0/I4meQ8i2H0G9etqn7LIzIpPBAkzXacXY0FdnpbjI0m5scngBJVveLsI4d752Luzpx0cZtTGAx5KoFHuwTc1PZW52lOnLRLIxHGR3aAiELgSDEAYp3+4QbXKgbB/ssFWj08Tw7xXhn8WXN4FHLeHMCNCp6ku3f0gHbW5jKPTDFI0/0z+kIaZ0UCFXjNFBihSBxxsxrjBRbUnZCjIGmccUiB7v7YrTCvQP910C4J8s5BuU4jOe0mjTSxIaPDAidWpYYzidKMQIccvNEofzKyC/LCtQkyDtNyHQHQKsz/jA7nA0sTEXwGbvsRoruWaaQ8Wzpx/talglAVUHq82lYQIpJz8nlmBS5BDc7dgYU7rQ9WigvwiNMpv147zluWeOewTA8j/1BPP/0Quh34y1weTKOJzV5Mji1UgYl/xmGnzmwy5Wa6dRWtv8q3ow7IIyZ6MaMIFHN3R7CRNb3AJhA/Z0aLaZ7v9OtcwwOgT6KVoZZQpFkNeL8ulviHhCjxxCV929V4Nd6W8rDR2Swm4KbiRk+JRiIjk4XKPWWp58HnDstk0p9vHyjg1c3NsZghyxb2WrpLSWNtVffXbXg= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(39830400003)(396003)(346002)(136003)(366004)(376002)(38100700001)(55016002)(71200400001)(8936002)(76116006)(8676002)(66446008)(26005)(33656002)(83380400001)(2906002)(6506007)(110136005)(316002)(66476007)(66574015)(7696005)(5660300002)(9686003)(66556008)(186003)(19627405001)(86362001)(64756008)(52536014)(66946007)(478600001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: =?iso-8859-1?Q?hcv3F4vYqbSUGP5wnaqGfaua4mgHTZUpWQo2Yr1TP34XhsuinFGKwKDTVM?= =?iso-8859-1?Q?vCrbdhwQm3POQzqKNb+ygymktnEcrCCmCUxnvIiBDID9rAfkowBkkEqxya?= =?iso-8859-1?Q?cwCEXdDtkSPbi9yMAHuuZi3rl6MPy/30SQZrNWZPufELNMYf5Qf7NmtkNS?= =?iso-8859-1?Q?A+Gk/weP2GQvqAO6/TGhd38M074QDlxNPjJ/ZgrYj9B7Jv80eVnzhT2PUG?= =?iso-8859-1?Q?XHA32woS1QbVwFtjOma/4AJpEP2qBDjwDlm4/VeWHnyaA3l0dBKJZbgAXw?= =?iso-8859-1?Q?lplksMoivDOgxALHAoSluOkgxWX3XhL7iPkG/JjhjKptPWWNBTNH7HCjw/?= =?iso-8859-1?Q?Tx6j7lL/sRdXeDA0MDPIt67lPhZOZtQgq6HWp71C0RVYuruT527zNG1pFW?= =?iso-8859-1?Q?PWJK3fcYEF2sslI7fcC9DWMnIrD/xQIrBewLGcOS9Og3109WweHSfs3CMM?= =?iso-8859-1?Q?EYI3AwYgilGMST/+BjzmFVDcDExc1lPv6la0BWdDPn68xZ8JoaIRW5DNav?= =?iso-8859-1?Q?0qvr33tbeVh9OJAGayQJO7lFDp+NO28BFljHVb908GoJABnB+T1ukJ5FwJ?= =?iso-8859-1?Q?tkCYQlMJ27X50TvgPaDyTaGP+ymJbwVBaMQi4UC/2jXerQWao+kGEoS1LS?= =?iso-8859-1?Q?xzZ0HeGGXCeNqwr0nzED13zHCarpSIUySd4BWqCFyTzaThklSyS1HK5OsY?= =?iso-8859-1?Q?lLljfcaooFwsOAs8OThiTJf1zZ0Q5MdCZsFped3fnYF5ZrbUpcpyuRa2gB?= =?iso-8859-1?Q?hzH4+7Vml49AQIHQxvFH3rYRp9bpfv4c30p3WSOHkHSf2zY2+BFYc++d1N?= =?iso-8859-1?Q?LLTX80K/3Mhn/KzK3bZi9NrhNkipLVscTpzx3xVVMpcTiHEmJ3C/jacLYl?= =?iso-8859-1?Q?D0/jvhtaqgwOGLVODviZ911lvXn2VmJrqcMyUZ+EHRTWZTZi4muYxZl2RP?= =?iso-8859-1?Q?r9RSNrl4f/jNA2yk7L7Q5Jv4isCys6T0wcy0g6fgACuO2nFDxADs1cbSoD?= =?iso-8859-1?Q?/Vh1vaUUsFP5z6TNGPgjaUeHBT5ruu7+hxGi56iGMsjtYLHZwXw5O1Zi7H?= =?iso-8859-1?Q?W3D41wNLL3rSieU8E1bq1OFEJJyNz7ttGWPgP9xSqV8k55IYkFXp83v8D7?= =?iso-8859-1?Q?M1eppKUYroF03eEZ8gj/5KuKsJqgsT55wyvWSriUT15p+b5GJZ0trXIZ6D?= =?iso-8859-1?Q?rHVbYP2GDoBtx6im2NgzzIXB3jvb6mHJm+LuobLvoA7U9B5SVtAGHo3y/9?= =?iso-8859-1?Q?9BzfQ6UErLCXvo8neTqx9STrPjIAc/UiK3DlkgPRchHxYJ8qr2MSjp22wq?= =?iso-8859-1?Q?STLPAddh0NNFxMlPYLBMYNroMZwlkMxix3fVRuipQVskPcc=3D?= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_PR0P264MB0700793703AC4B41461168AAC3759PR0P264MB0700FRAP_" MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 165f8f35-de09-49e4-d931-08d8f9bec9b1 X-MS-Exchange-CrossTenant-originalarrivaltime: 07 Apr 2021 12:15:09.5403 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: Qk7Uccbesqt2KQ+AF27+XxBInX/VNMqpL+TQbtzYqzEDDEMTA/dCSNB5YUG0bvDo1pLMJOSYiIivu912MT+Lw+yCQ5Yu4QsiCu+bxQbPiEw= X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR0P264MB2139 Subject: RE: [Caml-list] ocaml-variants via binary patch? Reply-To: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= X-Loop: caml-list@inria.fr X-Sequence: 18456 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --_000_PR0P264MB0700793703AC4B41461168AAC3759PR0P264MB0700FRAP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear Kenichi, You should be able to obtain a textual diff by using git diff --text boot/menhir/parser.ml Hope that helps, Nicol=E1s ________________________________ De : caml-list-request@inria.fr de la part de = Kenichi Asai Envoy=E9 : mercredi 7 avril 2021 14:09 =C0 : caml-list@inria.fr Objet : [Caml-list] ocaml-variants via binary patch? CAUTION: This email originated from outside of the organization. Do not cli= ck links or open attachments unless you recognize the sender and know the c= ontent is safe. I am trying to create an ocaml-variant (a type debugger) in which parser.mly is modified. Since OCaml uses menhir, I have to run "make promote-menhir" to obtain "boot/menhir/parser.ml". After that, I created a patch against the original OCaml source. This way, I wanted to obtain the variant by specifying the patch in the opam file. However, git diff somehow considers "boot/menhir/parser.ml" as a binary file. Now I got stuck. If I create a patch via: git diff --binary the patch program (launched by "opam switch create") says git binary diff is not supported. Is there a way to pass "--binary" to patch launched by opam? Or, is there a way to obtain non-binary diff for "boot/menhir/parser.ml"? (The file appears to be an OCaml file, with some very long lines.) I then tried to include "make promote-menhir" into the build process of opam, but opam says "menhir: command not found". Sure, menhir will be built after the switch which I am now trying to create, leading to circular dependency. What can I do? -- Kenichi Asai --_000_PR0P264MB0700793703AC4B41461168AAC3759PR0P264MB0700FRAP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear Kenichi,

You should be able to obtain a textual diff by using

    git diff --text boot/menhir/parser.ml

Hope that helps,
Nicol=E1s
De : caml-list-request@inri= a.fr <caml-list-request@inria.fr> de la part de Kenichi Asai <asai= @is.ocha.ac.jp>
Envoy=E9 : mercredi 7 avril 2021 14:09
=C0 : caml-list@inria.fr <caml-list@inria.fr>
Objet : [Caml-list] ocaml-variants via binary patch?
 
CAUTION: This email originated from outside of the= organization. Do not click links or open attachments unless you recognize = the sender and know the content is safe.


I am trying to create an ocaml-variant (a type debugger) in which
parser.mly is modified.  Since OCaml uses menhir, I have to run "= make
promote-menhir" to obtain "boot/menhir/parser.ml".  Aft= er that, I
created a patch against the original OCaml source.  This way, I wanted=
to obtain the variant by specifying the patch in the opam file.

However, git diff somehow considers "boot/menhir/parser.ml" as a<= br> binary file.  Now I got stuck.  If I create a patch via:

git diff --binary

the patch program (launched by "opam switch create") says git bin= ary
diff is not supported.  Is there a way to pass "--binary" to= patch
launched by opam?  Or, is there a way to obtain non-binary diff for "boot/menhir/parser.ml"?  (The file appears to be an OCaml f= ile, with
some very long lines.)

I then tried to include "make promote-menhir" into the build proc= ess
of opam, but opam says "menhir: command not found".  Sure, m= enhir will
be built after the switch which I am now trying to create, leading to
circular dependency.

What can I do?

--
Kenichi Asai
--_000_PR0P264MB0700793703AC4B41461168AAC3759PR0P264MB0700FRAP_--