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 D2E835D4 for ; Sat, 18 Jul 2020 19:26:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,368,1589234400"; d="scan'208";a="460321681" 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:26:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 85605E1191; Sat, 18 Jul 2020 21:26:55 +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 30CEDE004D for ; Sat, 18 Jul 2020 21:26:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=aaronngray.lists@gmail.com; spf=Pass smtp.mailfrom=aaronngray.lists@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Ac6FyJBETtPTbmIBL3NaTQZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7ypc6wAkXT6L1XgUPTWs2DsrQY0rSQ6PGrADVdqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5zIRmsowjcssYajZZ/Jqsx1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIOMuhYoYfzpEYAowWiCgS3GOPj1iVFimPq0aEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtMn4O70IUeCyyqnD0DTNb+lM1jb99YPFdQouruuWXbJ3d8rRz0YvFxnfgVSQ?= =?us-ascii?q?s4DlOzKV1v8Rs2iA9OdgWuevhHQmqwF1uDSg2sAsiozQi48T11vL+jl3zpwvKt?= =?us-ascii?q?2kVE50f8SkEJ1Iui+VKYd4TM0sTWFmtig1yrAItp62cigOxZk6xhPSduCLfoqH?= =?us-ascii?q?7x79SOqcPzR1iWx4db6iiRu/7Uqtx/P/W8S20FtHqDdOnNfLtnAIzRPT686HR+?= =?us-ascii?q?Ny/kegxTaP1x3T5fpeLU8okqrbLpgsyaMzmJoLqUnPADP6lUHsgKKVdkgo4Pak?= =?us-ascii?q?5/jkb7n8u5ORNZN4hwfjOao0gMO/G/43Mg0WUmib5+u80Lrj8FX8QLpQj/02lr?= =?us-ascii?q?DVsJTYJcgGv6K5DRJZ34Q/5xqlADem19MYnXYDLF1bYh6Ik4/pO1TWLPD5C/ew?= =?us-ascii?q?nUisnS91y/zaOrDtGJbAI3jZnLv/Ybpw6FRQxBcxwNxD/55UD6sOIPP3Wk//rt?= =?us-ascii?q?zYCRo5PhSuzOn9EtV90YUeWWSAAq+DKqzTsUWE5uYuI+mXeI8Voy3wK/cg5/H0?= =?us-ascii?q?jH85nUURcrWu3ZsScHy4BOhpI12FYXrwhdcMCXsFsRA7TOzukVGCVT9TZ22uX6?= =?us-ascii?q?8n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMCySgS4LRfNwFTQbaB8Zglj0C?= =?us-ascii?q?WvCFSpQ9nUWlvQr+jr5mNfb8+ysCtJul2sIjtMPJkhRn3DVuCMLV/HuEXikgl2?= =?us-ascii?q?oSQDkw07p2sAp5y0yfyoB3hvVZEZpY4PYfAVRyDoLV0+EvU4O6YQnGZNrcDQ/+?= =?us-ascii?q?Goz3UwF0dco4xpo1W2g4Htyjih7Z2C/zWu0akrWKANo/9aeOhiGtdfY48G7P0e?= =?us-ascii?q?wat3djWtFGbDT0iat29gyVDInMwR3AyvSaMJ8E1SuIz1+tiGqDuEYCDlx1WKTB?= =?us-ascii?q?GHQdPw7Y9IuhoEzFSLCqBPIsNQ4TkcM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BFBQDHSxNfhqrQVdFggQmBSoMZVDMsh?= =?us-ascii?q?DODepgjhR6LXgsBAwEMIwwEAQGBVoURAhwHAQQzBg4CEAEBBQEBAQIBAwMEARM?= =?us-ascii?q?BAQEICwsIKYVjDII3KQGDKREdARseAxIQDwImAiQBEQEFASI1gwQBgkoBAy4Pm?= =?us-ascii?q?m6CHYEEPYsogRUFAReDAgWEQgoZKA1iA4E0AgEGEnwqjHKCGoFHgiyDSAKEdYJ?= =?us-ascii?q?gBLVHB4JgBIEIh0qRDSGfSIpMkAGBW5RxDyOBRoF7HxQaI4EBgjhQGQ2OOINXi?= =?us-ascii?q?ldDMDcCBggBAQMJjyUBAQ?= X-IPAS-Result: =?us-ascii?q?A0BFBQDHSxNfhqrQVdFggQmBSoMZVDMshDODepgjhR6LXgs?= =?us-ascii?q?BAwEMIwwEAQGBVoURAhwHAQQzBg4CEAEBBQEBAQIBAwMEARMBAQEICwsIKYVjD?= =?us-ascii?q?II3KQGDKREdARseAxIQDwImAiQBEQEFASI1gwQBgkoBAy4Pmm6CHYEEPYsogRU?= =?us-ascii?q?FAReDAgWEQgoZKA1iA4E0AgEGEnwqjHKCGoFHgiyDSAKEdYJgBLVHB4JgBIEIh?= =?us-ascii?q?0qRDSGfSIpMkAGBW5RxDyOBRoF7HxQaI4EBgjhQGQ2OOINXildDMDcCBggBAQM?= =?us-ascii?q?JjyUBAQ?= X-IronPort-AV: E=Sophos;i="5.75,368,1589234400"; d="scan'208";a="460321661" X-MGA-submission: =?us-ascii?q?MDGF7EG7Kdp95tx/xDPG4quhIE1qP1aHIcMDwm?= =?us-ascii?q?EWTGeu0v0FFhmHQidYwo5gSnS20oIAL6DcXMFODpJ+JVQeOV92g5+SIS?= =?us-ascii?q?sR8f44KVZCufIeriFM0up9vqz1s2pRRCiE7JvNHusPml/W91MIY3asAh?= =?us-ascii?q?lnlwzdk6prGwTJbSRcULk7fA=3D=3D?= Received: from mail-lj1-f170.google.com ([209.85.208.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 18 Jul 2020 21:26:51 +0200 Received: by mail-lj1-f170.google.com with SMTP id r19so16171969ljn.12 for ; Sat, 18 Jul 2020 12:26:51 -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=LmQDYqH/NPYPJpxuPIH2vAMMpYLpn7TyFPN9I6+lKQg=; b=thJG40D7vmkIlHzT/ZabBoS7QhF1cqGDEs5R4k682lUXGY5HdiuKu3LhHgFjzZyHmg +HE08OX7lUrT//0AHNYZO/Ds1WU7ZEJDUX8ALvqhTCYD1W9u1vMCDnWNwLwE5ruIvvp2 acO8JvROm/NggrAfhSsvFNepLcF0vVkLh/mYoR5DtY+/NRwtpCSY6n+enug8pRnTAOFK Tysl2cijvGR18rdJHoIbmmu9WrGrX3OWNYOxR4M0fop7Yp51Eu8szNZq5U0xgbDAa4z8 ZsKrEcFvTuHgIKUz2ccaRX0bl1bnylw0tvEyOJDo9db4CIpzWcXdKXJ4blRE3JwkCzNn euug== 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=LmQDYqH/NPYPJpxuPIH2vAMMpYLpn7TyFPN9I6+lKQg=; b=RfRa0ye1UB/RRzLmSYUCKdcHUr1UKaf+qfZDz6xtcqJAq3c3+Y8dx5ibgPul6fyHHL X/UQlxoRxavbjLBEl3SLBkO+J850b41XfOGKajm0zICIUzwuN3TmfWZXulaS1llOwF5C 6P3QdeL2k5z+S584fU9u4oBGLEBeV+k9qAdos1JeUe7WoTfM5PjnFFYUHVYnIryOtxYQ S1hbf/wCCFLpcS8xiAiKj1u9h8v0ChCV2Z9wLLbIK80nNdVqbGHEyoboaKXCOllfw3N+ ZXhbB8HG0wUu5aZniFGU4RLaicCQIYNtISol6Mq9071gXBL7rvvq2LPQSTsSip48uEEV 8n4Q== X-Gm-Message-State: AOAM531IFs6xWRHqfFwYPloZhQA4s6v3ZKOetc+yQ7rQLKM/R1l14+Fw 9WFgNAPNYG74gaV+l2laZ93uAEFzvQIW8DslCqnNoDWh X-Google-Smtp-Source: ABdhPJyUivWDL47GW/nnz+lHsVAt+QLLNErHMM+7f5V9MDsjXvpG84KpbsqiLzvYY5ty0MUvW4Ryll2U9G8DBcD3AtA= X-Received: by 2002:a2e:730c:: with SMTP id o12mr6669286ljc.165.1595100409987; Sat, 18 Jul 2020 12:26:49 -0700 (PDT) MIME-Version: 1.0 From: Aaron Gray Date: Sat, 18 Jul 2020 20:26:34 +0100 Message-ID: To: OCaML Mailing List Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Trying to get a project called MLSub to build Reply-To: Aaron Gray X-Loop: caml-list@inria.fr X-Sequence: 18200 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: i, I am trying to get a project called MLSub to build in OCaML :- https://github.com/stedolan/mlsub It is the code for Stephen Dolan's thesis 'Algebraic Subtyping'. 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.