Package Details: ocaml-menhir 20200624-4

Git Clone URL: (read-only, click to copy)
Package Base: ocaml-menhir
Description: Menhir is a LR(1) parser generator for the OCaml.
Upstream URL:
Licenses: GPL, QPL
Submitter: None
Maintainer: soimort (TheGoliath)
Last Packager: soimort
Votes: 10
Popularity: 0.024351
First Submitted: 2012-01-17 20:41
Last Updated: 2020-07-30 23:14

Latest Comments

1 2 3 Next › Last »

soimort commented on 2020-07-30 23:14

Indeed. --libdir is now reintroduced to prevent the breakage of other packages that depend on menhir's ocaml libs. Hopefully the upstream will fix the --suggest-menhirLib issue soon.

toaru_yousei commented on 2020-07-30 16:42

Seems like that issue with menhir --suggest-menhirLib is on menhir side.

Also, removing --libdir broke liquidsoap package too.

meanjollies commented on 2020-07-20 16:03

Removing the libdir option has broken one of the packages I maintain. There is an expectation that $(ocamlfind printconf destdir) is where it should be installed, like other ocaml libs. I understand that xuanruiqi reported an issue with menhir --suggest-menhirLib, but I was never able to reproduce this with previous versions. Perhaps libdir should be re-introduced, where we can figure out a workaround to xuanruiqi's problem.

soimort commented on 2020-07-06 13:12

@xuanruiqi I removed the --libdir option since it doesn't seem necessary for packaging. Let me know if it doesn't work as expected.

xuanruiqi commented on 2020-07-05 00:16

Doing --libdir "${pkgdir}$(ocamlfind printconf destdir)" causes menhir --suggest-menhirLib to return a bogus location. Is there any workaround for this?

condy commented on 2020-07-04 19:41

==> Starting build()...
/home/condy/.cache/yay/ocaml-menhir/PKGBUILD: line 24: cd: /home/condy/.cache/yay/ocaml-menhir/src/menhir-20200624: No such file or directory
==> ERROR: A failure occurred in build().
error making: %!s(func() string=0x55c2b7d81e80)
yay ocaml-menhir  4.95s user 1.43s system 21% cpu 29.501 total

Build failure

TheGoliath commented on 2020-05-19 09:47

Updated the package. Please just comment down below if something isn't working as expected! :)

@soimort No problem :)

soimort commented on 2020-05-18 23:35

I'm a bit too busy recently to upgrade my dune and everything.

@TheGoliath I've added you as a co-maintainer. Thanks a lot for the help!

TheGoliath commented on 2020-05-18 19:25

I'd like to help you maintaining the package (as well as update it). May I be added as a Co-Maintainer?

xuanruiqi commented on 2020-05-17 04:04

The problem with dune has been fixed...