Search Criteria
Package Details: ocaml-menhir 20200624-4
Git Clone URL: | https://aur.archlinux.org/ocaml-menhir.git (read-only, click to copy) |
---|---|
Package Base: | ocaml-menhir |
Description: | Menhir is a LR(1) parser generator for the OCaml. |
Upstream URL: | http://cristal.inria.fr/~fpottier/menhir/ |
Licenses: | |
Submitter: | None |
Maintainer: | soimort |
Last Packager: | soimort |
Votes: | 10 |
Popularity: | 0.002282 |
First Submitted: | 2012-01-17 20:41 |
Last Updated: | 2020-07-30 23:14 |
Required by (20)
- alt-ergo
- compcert (make)
- compcert-git (make)
- eff-git
- fstar (make)
- fstar-git (make)
- kremlin
- liquidsoap (make)
- liquidsoap
- macrodown-git (make)
- ocaml-atd
- ocaml-atdgen-codec-runtime
- ocaml-atdgen-runtime
- ocaml-fstar (make)
- ocaml-lsp-git
- ocaml-psmt2-frontend (make)
- ocaml-psmt2-frontend-git (make)
- spark2014-git (make)
- why3
- why3-git (make)
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.https://gitlab.inria.fr/fpottier/menhir/-/issues/42
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 withmenhir --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)"
causesmenhir --suggest-menhirLib
to return a bogus location. Is there any workaround for this?condy commented on 2020-07-04 19:41
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...