Package Details: herdtools7-git 7.52.r1322.g650450b6-1

Git Clone URL: https://aur.archlinux.org/herdtools7-git.git (read-only, click to copy)
Package Base: herdtools7-git
Description: The Herd toolsuite to deal with .cat memory models
Upstream URL: https://github.com/herd/herdtools7
Licenses: CeCILL-B
Conflicts: herdtools7
Provides: herdtools7
Submitter: Teknoman117
Maintainer: Teknoman117 (yellowsquid)
Last Packager: yellowsquid
Votes: 0
Popularity: 0.000000
First Submitted: 2017-09-15 18:24 (UTC)
Last Updated: 2021-12-02 12:13 (UTC)

Latest Comments

ldr709 commented on 2020-12-17 02:24 (UTC) (edited on 2020-12-17 02:25 (UTC) by ldr709)

The PKGBUILD is missing a dependency: ocaml-menhir.

Also, the part of Makefile that checks that the dependencies are present is broken. To stop it from erroring with Opam has not been initialised, please run 'opam init', I locally added the following to the PKGBUILD to make it remove the check.

prepare() {
    sed -i 's/$(foreach dep,$(OPAM_DEPS),$(eval $(call check-opam-dep,$(dep))))//' $srcdir/$_pkgbase/Makefile
}