From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 16EA95D4
	for <caml-list@inbox.ocaml.org>; Sat, 18 Jul 2020 19:27:55 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.75,368,1589234400"; 
   d="scan'208";a="460321906"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jul 2020 21:27:52 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 392BEE1196; Sat, 18 Jul 2020 21:27:52 +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 34E9BE004D
	for <caml-list@sympa.inria.fr>; Sat, 18 Jul 2020 21:27:49 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.75,368,1589234400"; 
   d="scan'208";a="460321889"
Received: from lfbn-mar-1-1117-229.w109-208.abo.wanadoo.fr (HELO [192.168.1.36]) ([109.208.67.229])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jul 2020 21:27:48 +0200
To: Aaron Gray <aaronngray.lists@gmail.com>,
 OCaML Mailing List <caml-list@inria.fr>
References: <CANkmNDdMypq1=GUKKGtqFB_=KAg5OxbePaQV7xye_MBJkRe=og@mail.gmail.com>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <4459dc0b-277c-aaa4-4f40-17ef0bffd6d9@inria.fr>
Date: Sat, 18 Jul 2020 21:27:48 +0200
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0)
 Gecko/20100101 Thunderbird/68.10.0
MIME-Version: 1.0
In-Reply-To: <CANkmNDdMypq1=GUKKGtqFB_=KAg5OxbePaQV7xye_MBJkRe=og@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Trying to get a project called MLSub to build
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18201
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2020-07/4459dc0b-277c-aaa4-4f40-17ef0bffd6d9%40inria.fr>

Le 18/07/2020 à 21:26, Aaron Gray a écrit :
> $ opam install menhirLib

Hello, try replacing this line with "opam install menhir".

-- 
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/