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
Makefilethat 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.