caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Trying to get a project called MLSub to build
@ 2020-07-18 19:26 Aaron Gray
  2020-07-18 19:27 ` François Pottier
  0 siblings, 1 reply; 2+ messages in thread
From: Aaron Gray @ 2020-07-18 19:26 UTC (permalink / raw)
  To: OCaML Mailing List

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.

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] Trying to get a project called MLSub to build
  2020-07-18 19:26 [Caml-list] Trying to get a project called MLSub to build Aaron Gray
@ 2020-07-18 19:27 ` François Pottier
  0 siblings, 0 replies; 2+ messages in thread
From: François Pottier @ 2020-07-18 19:27 UTC (permalink / raw)
  To: Aaron Gray, OCaML Mailing List

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/

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-18 19:26 [Caml-list] Trying to get a project called MLSub to build Aaron Gray
2020-07-18 19:27 ` François Pottier

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git