Search Criteria
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: | 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) |
Dependencies (5)
- ocaml
- dune (make)
- git (git-git, git-vfs, git-run-command-patch-git) (make)
- make (make-git) (make)
- ocaml-menhir (ocaml-menhir-compcert) (make)
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 withOpam has not been initialised, please run 'opam init'
, I locally added the following to the PKGBUILD to make it remove the check.