Package Details: ocaml-menhir 20231231-1

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: GPL, QPL
Submitter: None
Maintainer: soimort (xuanruiqi)
Last Packager: soimort
Votes: 11
Popularity: 0.000000
First Submitted: 2012-01-17 20:41 (UTC)
Last Updated: 2024-01-11 16:20 (UTC)

Latest Comments

1 2 3 Next › Last »

yuyichao commented on 2022-05-31 14:21 (UTC)

It seems that the new version of dune forbids the use of relative path in --libdir. Also, specifying the install path in prefix causes pkgdir to be included in the package files. A working command for installation in the package() function is

  DESTDIR="${pkgdir}" dune install --prefix=/usr \
         --libdir="$(ocamlfind printconf destdir)"

It'll also be nice if you could add armv7h and aarch64 to be part of the arch array as well. You can see the updated PKGBUILD that works for me at https://github.com/archlinuxcn/repo/blob/0eafad8fee2c571f808e7bbaff38f4adbd40ee58/alarmcn/ocaml-menhir/PKGBUILD

xuanruiqi commented on 2021-06-28 12:39 (UTC)

Thanks!

soimort commented on 2021-06-28 12:00 (UTC)

@xuanruiqi Added you as co-maintainer now. Thanks a lot for helping!

xuanruiqi commented on 2021-06-27 10:04 (UTC)

If you don't mind, I would like to volunteer as co-maintainer.

soimort commented on 2020-07-30 23:14 (UTC)

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 (UTC)

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 (UTC)

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 (UTC)

@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 (UTC)

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 (UTC)

==> 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().
    Aborting...
error making: %!s(func() string=0x55c2b7d81e80)
yay ocaml-menhir  4.95s user 1.43s system 21% cpu 29.501 total

Build failure