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 EB4C65D4 for ; Sat, 18 Jul 2020 19:19:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,368,1589234400"; d="scan'208,217";a="460321316" 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:19:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C0373E1192; Sat, 18 Jul 2020 21:19:39 +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 0D748E004D for ; Sat, 18 Jul 2020 21:19:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=aaronngray@gmail.com; spf=Pass smtp.mailfrom=aaronngray@gmail.com; spf=None smtp.helo=postmaster@mail-ej1-f44.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Awz/VdRDiiDz/MkmPQ44JUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT5o8bcNUDSrc9gkEXOFd2Cra4d1ayN4uu5ADFIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLJ/IA+4oAjVucUanJZuJ6YswRbVv3VEfP?= =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?= =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?= =?us-ascii?q?wKMSMy/mPKhcxqlK9UrxKvqRJ8zYDJfo+aKOFzcbnBcd4AX2dNQtpdWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAooThvVQOtxy+BQ+xD+3u0D9HnH/31rA93us7Cw7GxgsgH9QIsH?= =?us-ascii?q?TbttX6LqcTXPu6zKnN1zrDbvdW1S3h54jPdxAsuPeBVq9/fsTN00cgDR/FjkmO?= =?us-ascii?q?poz/OTOYzuoDvWeG4udiSe+ij2oqph9srjWg28sglIvEip8Vx13F6yl0wYQ4KN?= =?us-ascii?q?O3RUB7YdOqHpRduz2EOoZrXs8vQ39ltTo8x7Ybt5C7ey0Kx44mxx7Zc/GHfImI?= =?us-ascii?q?4g7jVOaMOjh0nm5qeLW6hxu07EOuyfX8W9Gq3FpWqidJiNrBu3AX2xDN98SKSe?= =?us-ascii?q?Fx80iu1DuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbGy/5gkT2jKuPeko6+Oik?= =?us-ascii?q?9v3rYrvpq5KTLYN0hQb+MqMhmsy7H+s0KBQBX2+e+eik1b3j+1P2QKlSg/Eojq?= =?us-ascii?q?XUtIrWKMcbq6KjHQNZz4Uu5wywAjqpyNgYmGMILFNBeBKJlYjpPFTOLejiAvil?= =?us-ascii?q?mVSslzFrx/bJPr37GJrMLmPOkLjkfbln6k5czBA/wsxY55JREr0BOu78WlfttN?= =?us-ascii?q?zECR80KxC7zPziCNV5z48eXWOPArSFMK7Jql+J5ucvI/GWa4MPuTb9LeIl5//0?= =?us-ascii?q?gnMjl18dZ/rh4ZxCY3m9GrFiIl6FSXvqmNYIV2kQ7SQkS+m/oVSYVjgbSGy7Tu?= =?us-ascii?q?po7zghD4SgAp3KV6iihbWA2GGwGZgANTMOMUyFDXq9L9bMYPwLci/HepY9wAxB?= =?us-ascii?q?bqCoTsoa7T/rrBXzkuM1Ie/d+ylevpXmhoAsur/j0Coq/DkxNPyzlmGAS2Yuwz?= =?us-ascii?q?ENTj4yma19+AlzlgvF3q9/jPhVU9dU4qERC1ZoBdvn1+V/TuvKdEfEd9aNRkyh?= =?us-ascii?q?R4z/Uz40R9M1hdQJZhQkFg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B6AQCjShNfhizaVdFgHQEBAQEJARIBB?= =?us-ascii?q?QUBgXkFAQsBgSKBMUVUMyyEM4Ecgl6YI4hliBcLAQMBDCMMBAEBgVaCdoIbAhw?= =?us-ascii?q?HAQQzBg4CEAEBBQEBAQIBAwMEARMBAQEICwsIKYVjDII3IoMxER0BGx4DEgkHN?= =?us-ascii?q?wIkAREBBQFXgwQBgkoBAy4Pmm+CHYEEPYsogRUFAReDAgWEQgoZKA1iA4E0AgE?= =?us-ascii?q?GEoEmAYQBiHAaggCBR4Isg0gCggwggkmCYAS1R02CGgSBCIdKkQ0hn0iaTYFbl?= =?us-ascii?q?HEPI4FGToEtMxojgQGCOFAZDY17IxqDV4pXQzA3AgYBBwEBAwmPJQEB?= X-IPAS-Result: =?us-ascii?q?A0B6AQCjShNfhizaVdFgHQEBAQEJARIBBQUBgXkFAQsBgSK?= =?us-ascii?q?BMUVUMyyEM4Ecgl6YI4hliBcLAQMBDCMMBAEBgVaCdoIbAhwHAQQzBg4CEAEBB?= =?us-ascii?q?QEBAQIBAwMEARMBAQEICwsIKYVjDII3IoMxER0BGx4DEgkHNwIkAREBBQFXgwQ?= =?us-ascii?q?BgkoBAy4Pmm+CHYEEPYsogRUFAReDAgWEQgoZKA1iA4E0AgEGEoEmAYQBiHAag?= =?us-ascii?q?gCBR4Isg0gCggwggkmCYAS1R02CGgSBCIdKkQ0hn0iaTYFblHEPI4FGToEtMxo?= =?us-ascii?q?jgQGCOFAZDY17IxqDV4pXQzA3AgYBBwEBAwmPJQEB?= X-IronPort-AV: E=Sophos;i="5.75,368,1589234400"; d="scan'208,217";a="460321300" X-MGA-submission: =?us-ascii?q?MDFRAQzKszvTYLqXuGjh/tYi9q0BshQKSOkxZS?= =?us-ascii?q?svtGp7RbOphNOPbVp9S38nt+ml2tMc6QfN2NpILF4o/EbepUIZOIKf9H?= =?us-ascii?q?a2NQYqDZW0uDCnl/2Ql8W0uk1AScB012woiw2sWgqMLx1V4oF3548GMv?= =?us-ascii?q?L792BkJjBAiQYzO6GzXYs6RQ=3D=3D?= Received: from mail-ej1-f44.google.com ([209.85.218.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 18 Jul 2020 21:19:31 +0200 Received: by mail-ej1-f44.google.com with SMTP id f12so14204901eja.9 for ; Sat, 18 Jul 2020 12:19:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=cOkKNhjQwKK5q5fjSVZx1yfGtmdxO1ZHIFQyBPOSgvc=; b=X1OVwk+2h1XP3oyMokgKOwTlbrKUgvpj2XQe/ny7zYuQOSoCfwLhHaCLK6C1RY5KYv WivgbfB372Q6lzSvllZnbFFyMO3VZoIpnwny1JIMj7qYlllF48vy+QZy02t2a/a5tV24 yzsTaBiZw1BRrp/4L5Ojkik9myefDAQpjrJHO5K7slgFjcvNs0SVr33daKFubGF3Cmx/ O5/3MqFqoe3RPpoPEoBDzfZn1Ei12/Fz9ra/e2JMx4mou36ZnwTTynV/u6eH6pfg6Mo3 3dK557h01PNQ6cuMR/0EZ8ADaSFFhBCTF4DBw/EZMqF5eKC4s+YjyzteTtmLGLPoswAv 795w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=cOkKNhjQwKK5q5fjSVZx1yfGtmdxO1ZHIFQyBPOSgvc=; b=MkBQ+wwlXp+9Z9NcPJtr7B4SMd/mgspMkPo4ZlfOrzemKRrJEjLr20d7ldRqtPCcb9 IRc692zx4l0IKJ4xi0M8goNh9NARPD/8QmZjxzrzW4iqbxhlgX9fMZ55Q6OfBpv8icxr rCt7f74G374rteIjFNTi8fu6kkEo0Z4KXkEu6l0Wt1eG5igpRkCA63CelTVouD5FTCDm BO6q+YClNna7fp9zsmgjt+2MiPC3KljIsj5lzkNV2XCys3DtKeCln0XSb6S+yVdHXOGq l6xqdjaabNdstG5Ukjc9WeCWKRyLSFhcZWSjhbhRv6HakkqH4SqsjsWxlInwrHycVFF4 QVcg== X-Gm-Message-State: AOAM533rz6VRrT2TCL0cKQURNkTOkHUzpzAwhr4yZJN/R45MaUIP+V96 hXg7tan+kxfD2zTs3r+2T4wGJbSdl9sqTMd0nmNezb1PFP0= X-Google-Smtp-Source: ABdhPJzBuWmsBMwcAKp6g9D/zsyEkzW/z+hMfKVcPyN/BEBSuBcw6UXaIh3Ag7HCCaMucHp+KbcuhY5MSq+YSSG7muc= X-Received: by 2002:a17:906:694d:: with SMTP id c13mr13532564ejs.337.1595099970500; Sat, 18 Jul 2020 12:19:30 -0700 (PDT) MIME-Version: 1.0 From: Aaron Gray Date: Sat, 18 Jul 2020 20:19:19 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000001f7c4d05aabc27e5" Subject: [Caml-list] Trying to get MLSub to build Reply-To: Aaron Gray X-Loop: caml-list@inria.fr X-Sequence: 18199 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: --0000000000001f7c4d05aabc27e5 Content-Type: text/plain; charset="UTF-8" Hi, I am trying to get a project called MLSub to build in OCaML :- https://github.com/stedolan/mlsub I have created an issue that shows what I am getting :- https://github.com/stedolan/mlsub/issues/8 $ sudo apt install ocaml $ sudo apt install opam $ opam install ocamlfind $ opam install menhirLib $ make ocamlbuild -no-hygiene -r -cflag -bin-annot -cflag -g -lflag -g -pkg menhirLib -pkg str -use-menhir -yaccflag --explain -yaccflag --table main.byte ocamlfind: Package `menhirLib' not found Cannot run Ocamlfind. make: *** [Makefile:3: all] Error 2 I am using Ubuntu 18.04 on WSL 2 on Windows. Hope its something simple to fix so I don't have to use a VM. Many thanks in advance, Aaron -- Aaron Gray Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist. --0000000000001f7c4d05aabc27e5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

I am trying=C2=A0to get a project c= alled MLSub to build in OCaML :-


I have created an issue that = shows what I am getting :-


$ sudo apt install ocaml
$ sudo apt install opam
$ opam install ocamlfind
$ opam install menhirLib
$ make
ocamlbuild -no-hygiene -r -cflag -bin-annot -cflag -g -lflag -g -pkg menhir=
Lib -pkg str -use-menhir -yaccflag --explain -yaccflag --table main.byte
ocamlfind: Package `menhirLib' not found
Cannot run Ocamlfind.
make: *** [Makefile:3: all] Error 2
I am using Ubunt= u 18.04 on WSL 2 on Windows.

Hope its something si= mple to fix so I don't have to use a VM.

Many = thanks in advance,

Aaron
--
Aaron Gray

Independent Open Sourc= e Software Engineer, Computer Language Researcher, Information Theorist, an= d amateur computer scientist.

--0000000000001f7c4d05aabc27e5--