Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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

Package Actions

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:	None
Maintainer:	None
Last Packager:	None
Votes:	0
Popularity:	0.000000
First Submitted:	2017-09-15 18:24 (UTC)
Last Updated:	2021-12-02 12:13 (UTC)

Dependencies (5)

ocaml (ocaml-git^AUR)
dune (make)
git (git-git^AUR, git-gl^AUR) (make)
make (make-git^AUR, make-static^AUR) (make)
ocaml-menhir^AUR (make)

Required by (0)

Sources (1)

git://github.com/herd/herdtools7

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
}