pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/devel/herdtools7
Module Name: pkgsrc
Committed By: dholland
Date: Mon Jun 29 00:53:14 UTC 2026
Added Files:
pkgsrc/devel/herdtools7: DESCR Makefile PLIST distinfo
pkgsrc/devel/herdtools7/patches: patch-Makefile
Log Message:
Add devel/herdtools7, a tool for reasoning about weak memory modules.
To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/herdtools7/DESCR \
pkgsrc/devel/herdtools7/Makefile pkgsrc/devel/herdtools7/PLIST \
pkgsrc/devel/herdtools7/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/herdtools7/patches/patch-Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Added files:
Index: pkgsrc/devel/herdtools7/DESCR
diff -u /dev/null pkgsrc/devel/herdtools7/DESCR:1.1
--- /dev/null Mon Jun 29 00:53:14 2026
+++ pkgsrc/devel/herdtools7/DESCR Mon Jun 29 00:53:14 2026
@@ -0,0 +1,19 @@
+This is herdtools7, a tool suite to test weak memory models.
+
+It provides the following tools:
+
+ - herd7: a generic simulator for weak memory models
+ - litmus7: run litmus tests (given as assembler programs for
+ Power, ARM, AArch64 or X86) to test the memory model of the
+ executing machine
+ - diy7: produce litmus tests from concise specifications
+ - some additional tools
+ In particular,
+ * mcompare7 to analyse run logs of both herd and litmus.
+ * klitmus7, an experimental tool, similar to litmus7 that runs kernel
+ memory model tests as kernel modules. The tool klitmus7 is inspired
+ from a python script by Andrea Parri,.
+ <http://retis.sssup.it/~a.parri/lkmm/run.py>
+
+
+herdtools7 is the successor of the diy tool suite.
Index: pkgsrc/devel/herdtools7/Makefile
diff -u /dev/null pkgsrc/devel/herdtools7/Makefile:1.1
--- /dev/null Mon Jun 29 00:53:14 2026
+++ pkgsrc/devel/herdtools7/Makefile Mon Jun 29 00:53:14 2026
@@ -0,0 +1,38 @@
+# $NetBSD: Makefile,v 1.1 2026/06/29 00:53:14 dholland Exp $
+
+DISTNAME= herdtools7-7.58
+CATEGORIES= devel
+MASTER_SITES= ${MASTER_SITE_GITHUB:=herd/}
+GITHUB_TAG= ${PKGVERSION_NOREV}
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE= https://github.com/herd/herdtools7/
+COMMENT= Weak memory model litmus tester
+LICENSE= cecill-b-v1 AND modified-bsd AND isc
+
+USE_TOOLS+= pax
+TOOL_DEPENDS+= menhir-[0-9]*:../../devel/menhir
+
+# This package has a (gmake) makefile; however, it runs dune, and to
+# get dune to behave itself and to get a useful install behavior we
+# need to use the infrastructure. So do that instead of building with
+# the makefile. There are two additional things the makefile does; one
+# is generate Version.ml and the other is to install some extra files;
+# there are explicit rules for these steps below.
+OCAML_USE_DUNE= yes
+
+pre-build:
+ ${RUN} cd ${WRKSRC} && sh ./version-gen.sh ${PREFIX}
+
+BITSDIR= ${PREFIX}/share/herdtools7
+post-install:
+ cd ${WRKSRC}/herd/libdir && pax -rw . ${DESTDIR}${BITSDIR}/herd
+ cd ${WRKSRC}/litmus/libdir && pax -rw . ${DESTDIR}${BITSDIR}/litmus
+ cd ${WRKSRC}/jingle/libdir && pax -rw . ${DESTDIR}${BITSDIR}/jingle
+
+# uses unsigned conversions
+BUILDLINK_API_DEPENDS.ocaml-zarith+= ocaml-zarith>=1.13
+.include "../../math/ocaml-zarith/buildlink3.mk"
+.include "../../lang/ocaml/ocaml.mk"
+
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/devel/herdtools7/PLIST
diff -u /dev/null pkgsrc/devel/herdtools7/PLIST:1.1
--- /dev/null Mon Jun 29 00:53:14 2026
+++ pkgsrc/devel/herdtools7/PLIST Mon Jun 29 00:53:14 2026
@@ -0,0 +1,565 @@
+@comment $NetBSD: PLIST,v 1.1 2026/06/29 00:53:14 dholland Exp $
+bin/aslbundler
+bin/aslref
+bin/atomize7
+bin/atoms7
+bin/bento
+bin/cat2html7
+bin/classify7
+bin/diy7
+bin/diycross7
+bin/diyone7
+bin/gen_theme7
+bin/herd7
+bin/jingle7
+bin/klitmus7
+bin/knames7
+bin/ksort7
+bin/litmus7
+bin/madd7
+bin/mapply7
+bin/mcat2includes7
+bin/mcmp7
+bin/mcompare7
+bin/mcond7
+bin/mcycles7
+bin/mdiag7
+bin/mdiff7
+bin/mexpand7
+bin/mfilter7
+bin/mfind7
+bin/mflags7
+bin/mhash7
+bin/miaou7
+bin/mlisa2c7
+bin/mlock7
+bin/mlog2cond7
+bin/mlog2name7
+bin/mmixer7
+bin/mnames7
+bin/mobserved7
+bin/moutcomes7
+bin/mprog7
+bin/mproj7
+bin/mrcu7
+bin/mselect7
+bin/mshowhashes7
+bin/msort7
+bin/msum7
+bin/mtopos7
+bin/mtrue7
+bin/nexts7
+bin/norm7
+bin/readRelax7
+bin/recond7
+bin/rehash7
+bin/splitcond7
+bin/splitdot7
+lib/ocaml/site-lib/herdtools7/META
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Gparser0.cmi
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Gparser0.cmt
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Lexer0.cmi
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Lexer0.cmt
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Parser0.cmi
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Parser0.cmt
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Parser0.cmti
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__RepeatableLexer.cmi
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__RepeatableLexer.cmt
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__SimpleLexer0.cmi
+lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__SimpleLexer0.cmt
+lib/ocaml/site-lib/herdtools7/asllib/AST.mli
+lib/ocaml/site-lib/herdtools7/asllib/ASTUtils.ml
+lib/ocaml/site-lib/herdtools7/asllib/ASTUtils.mli
+lib/ocaml/site-lib/herdtools7/asllib/Interpreter.ml
+lib/ocaml/site-lib/herdtools7/asllib/Interpreter.mli
+lib/ocaml/site-lib/herdtools7/asllib/Lexer.ml
+lib/ocaml/site-lib/herdtools7/asllib/Native.ml
+lib/ocaml/site-lib/herdtools7/asllib/Native.mli
+lib/ocaml/site-lib/herdtools7/asllib/Operations.ml
+lib/ocaml/site-lib/herdtools7/asllib/PP.ml
+lib/ocaml/site-lib/herdtools7/asllib/PP.mli
+lib/ocaml/site-lib/herdtools7/asllib/Parser.ml
+lib/ocaml/site-lib/herdtools7/asllib/Parser.mli
+lib/ocaml/site-lib/herdtools7/asllib/Parser0.ml
+lib/ocaml/site-lib/herdtools7/asllib/Parser0.mli
+lib/ocaml/site-lib/herdtools7/asllib/ParserConfig.mli
+lib/ocaml/site-lib/herdtools7/asllib/Serialize.ml
+lib/ocaml/site-lib/herdtools7/asllib/Serialize.mli
+lib/ocaml/site-lib/herdtools7/asllib/SideEffect.ml
+lib/ocaml/site-lib/herdtools7/asllib/SideEffect.mli
+lib/ocaml/site-lib/herdtools7/asllib/SimpleLexer0.ml
+lib/ocaml/site-lib/herdtools7/asllib/StaticEnv.ml
+lib/ocaml/site-lib/herdtools7/asllib/StaticEnv.mli
+lib/ocaml/site-lib/herdtools7/asllib/StaticInterpreter.ml
+lib/ocaml/site-lib/herdtools7/asllib/StaticInterpreter.mli
+lib/ocaml/site-lib/herdtools7/asllib/StaticModel.ml
+lib/ocaml/site-lib/herdtools7/asllib/StaticModel.mli
+lib/ocaml/site-lib/herdtools7/asllib/StaticOperations.ml
+lib/ocaml/site-lib/herdtools7/asllib/StaticOperations.mli
+lib/ocaml/site-lib/herdtools7/asllib/Tokens.ml
+lib/ocaml/site-lib/herdtools7/asllib/Tokens.mli
+lib/ocaml/site-lib/herdtools7/asllib/TopoSort.ml
+lib/ocaml/site-lib/herdtools7/asllib/TopoSort.mli
+lib/ocaml/site-lib/herdtools7/asllib/Typing.ml
+lib/ocaml/site-lib/herdtools7/asllib/Typing.mli
+lib/ocaml/site-lib/herdtools7/asllib/Version.ml
+lib/ocaml/site-lib/herdtools7/asllib/asl_stdlib.ml
+lib/ocaml/site-lib/herdtools7/asllib/asllib.a
+lib/ocaml/site-lib/herdtools7/asllib/asllib.cma
+lib/ocaml/site-lib/herdtools7/asllib/asllib.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib.cmxa
+lib/ocaml/site-lib/herdtools7/asllib/asllib.cmxs
+lib/ocaml/site-lib/herdtools7/asllib/asllib.ml
+lib/ocaml/site-lib/herdtools7/asllib/asllib__AST.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__AST.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Asl_stdlib.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Asl_stdlib.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Asl_stdlib.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Backend.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Backend.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Error.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Error.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Error.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Gparser0.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Instrumentation.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Instrumentation.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Instrumentation.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer0.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Operations.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Operations.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Operations.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser0.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__ParserConfig.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__ParserConfig.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__RepeatableLexer.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__SimpleLexer0.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmti
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmx
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Version.cmi
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Version.cmt
+lib/ocaml/site-lib/herdtools7/asllib/asllib__Version.cmx
+lib/ocaml/site-lib/herdtools7/asllib/backend.mli
+lib/ocaml/site-lib/herdtools7/asllib/bitvector.ml
+lib/ocaml/site-lib/herdtools7/asllib/bitvector.mli
+lib/ocaml/site-lib/herdtools7/asllib/builder.ml
+lib/ocaml/site-lib/herdtools7/asllib/builder.mli
+lib/ocaml/site-lib/herdtools7/asllib/desugar.ml
+lib/ocaml/site-lib/herdtools7/asllib/desugar.mli
+lib/ocaml/site-lib/herdtools7/asllib/diet.ml
+lib/ocaml/site-lib/herdtools7/asllib/diet.mli
+lib/ocaml/site-lib/herdtools7/asllib/env.ml
+lib/ocaml/site-lib/herdtools7/asllib/env.mli
+lib/ocaml/site-lib/herdtools7/asllib/error.ml
+lib/ocaml/site-lib/herdtools7/asllib/gparser0.ml
+lib/ocaml/site-lib/herdtools7/asllib/instrumentation.ml
+lib/ocaml/site-lib/herdtools7/asllib/lexer0.ml
+lib/ocaml/site-lib/herdtools7/asllib/repeatableLexer.ml
+lib/ocaml/site-lib/herdtools7/asllib/splitasl.ml
+lib/ocaml/site-lib/herdtools7/asllib/splitasl.mli
+lib/ocaml/site-lib/herdtools7/asllib/storage.ml
+lib/ocaml/site-lib/herdtools7/asllib/storage.mli
+lib/ocaml/site-lib/herdtools7/asllib/types.ml
+lib/ocaml/site-lib/herdtools7/asllib/types.mli
+lib/ocaml/site-lib/herdtools7/dune-package
+lib/ocaml/site-lib/herdtools7/opam
+share/doc/herdtools7/CHANGES.txt
+share/doc/herdtools7/LICENSE.txt
+share/doc/herdtools7/README.md
+share/doc/herdtools7/odoc-pages/README.mld
+share/doc/herdtools7/odoc-pages/index.mld
+share/herdtools7/herd/C11-README.txt
+share/herdtools7/herd/LL.cat
+share/herdtools7/herd/aarch32.cat
+share/herdtools7/herd/aarch64-obsolete.cat
+share/herdtools7/herd/aarch64.cat
+share/herdtools7/herd/aarch64bbm.cat
+share/herdtools7/herd/aarch64deps.cat
+share/herdtools7/herd/aarch64fences.cat
+share/herdtools7/herd/aarch64hwreqs.cat
+share/herdtools7/herd/aarch64loc.cat
+share/herdtools7/herd/aarch64memattrs.cat
+share/herdtools7/herd/aarch64show.cat
+share/herdtools7/herd/aarch64util.cat
+share/herdtools7/herd/all.cfg
+share/herdtools7/herd/apoil.cfg
+share/herdtools7/herd/arm-alt.cat
+share/herdtools7/herd/arm-models/mixed/armv8-common.cat
+share/herdtools7/herd/arm-models/mixed/ec.cat
+share/herdtools7/herd/arm-models/mixed/egc.cat
+share/herdtools7/herd/arm-models/mixed/ev.cat
+share/herdtools7/herd/arm-models/mixed/sca.cat
+share/herdtools7/herd/arm-models/non-mixed/armv8-common.cat
+share/herdtools7/herd/arm-models/non-mixed/ec.cat
+share/herdtools7/herd/arm-models/non-mixed/egc.cat
+share/herdtools7/herd/arm-models/non-mixed/ev.cat
+share/herdtools7/herd/arm-models/proofs/mixed_v8_equivalences.v
+share/herdtools7/herd/arm-models/proofs/non_mixed_v8_equivalences.v
+share/herdtools7/herd/arm.cat
+share/herdtools7/herd/armfences.cat
+share/herdtools7/herd/armllh.cat
+share/herdtools7/herd/asl-pseudo-arch.cat
+share/herdtools7/herd/asl-pseudocode/Makefile
+share/herdtools7/herd/asl-pseudocode/bundler.py
+share/herdtools7/herd/asl-pseudocode/implementations.asl
+share/herdtools7/herd/asl-pseudocode/implementations0.asl
+share/herdtools7/herd/asl-pseudocode/patches.asl
+share/herdtools7/herd/asl-pseudocode/pstate-exp.asl
+share/herdtools7/herd/asl.cat
+share/herdtools7/herd/atom-arm.cat
+share/herdtools7/herd/atom.cat
+share/herdtools7/herd/bpf.cat
+share/herdtools7/herd/c11.bell
+share/herdtools7/herd/c11.def
+share/herdtools7/herd/c11_base.cat
+share/herdtools7/herd/c11_cos.cat
+share/herdtools7/herd/c11_los.cat
+share/herdtools7/herd/c11_orig.cat
+share/herdtools7/herd/c11_partialSC.cat
+share/herdtools7/herd/c11_simp.cat
+share/herdtools7/herd/catdefinitions.tex
+share/herdtools7/herd/choices.cat
+share/herdtools7/herd/compat.cat
+share/herdtools7/herd/cos-no-opt.cat
+share/herdtools7/herd/cos-ok-opt.cat
+share/herdtools7/herd/cos-opt.cat
+share/herdtools7/herd/cos.cat
+share/herdtools7/herd/coscat.cat
+share/herdtools7/herd/cosllh.cat
+share/herdtools7/herd/cpp11.cfg
+share/herdtools7/herd/cross.cat
+share/herdtools7/herd/ctrl-bis.cat
+share/herdtools7/herd/ctrl.cat
+share/herdtools7/herd/deps-instances.cat
+share/herdtools7/herd/deps-new.cat
+share/herdtools7/herd/deps.cat
+share/herdtools7/herd/deps.cfg
+share/herdtools7/herd/doc64.cat
+share/herdtools7/herd/enslip.cfg
+share/herdtools7/herd/enumerations.cat
+share/herdtools7/herd/fences.cat
+share/herdtools7/herd/filters.cat
+share/herdtools7/herd/fulleieio.cat
+share/herdtools7/herd/herd.cat
+share/herdtools7/herd/herdcat.cat
+share/herdtools7/herd/ifetch-cos.cat
+share/herdtools7/herd/kernel.cfg
+share/herdtools7/herd/kernel.def
+share/herdtools7/herd/lessrelaxed.cat
+share/herdtools7/herd/mini.cat
+share/herdtools7/herd/minimal.cat
+share/herdtools7/herd/minimalcat.cat
+share/herdtools7/herd/mips-tso.cat
+share/herdtools7/herd/mips.cat
+share/herdtools7/herd/mipsfences.cat
+share/herdtools7/herd/naked.cat
+share/herdtools7/herd/ncos.cat
+share/herdtools7/herd/ncross.cat
+share/herdtools7/herd/ppc-checks.cat
+share/herdtools7/herd/ppc.cat
+share/herdtools7/herd/ppcfences.cat
+share/herdtools7/herd/ppo.cat
+share/herdtools7/herd/pretty.cat
+share/herdtools7/herd/prettycat.cat
+share/herdtools7/herd/qualcomm.cat
+share/herdtools7/herd/rc11.cat
+share/herdtools7/herd/riscv-defs.cat
+share/herdtools7/herd/riscv-total.cat
+share/herdtools7/herd/riscv-tso-defs.cat
+share/herdtools7/herd/riscv-tso.cat
+share/herdtools7/herd/riscv.cat
+share/herdtools7/herd/sc.cat
+share/herdtools7/herd/sccat.cat
+share/herdtools7/herd/show-deps.cat
+share/herdtools7/herd/simple-arm.cat
+share/herdtools7/herd/simple-c11.cat
+share/herdtools7/herd/stdlib.cat
+share/herdtools7/herd/tso.cat
+share/herdtools7/herd/uni.cat
+share/herdtools7/herd/uniproc+sca.cat
+share/herdtools7/herd/uniproc-normw-cat.cat
+share/herdtools7/herd/uniproc.cat
+share/herdtools7/herd/uniproccat.cat
+share/herdtools7/herd/web.cfg
+share/herdtools7/herd/x86fences.cat
+share/herdtools7/herd/x86tso-mixed.cat
+share/herdtools7/herd/x86tso.cat
+share/herdtools7/herd/xchg.def
+share/herdtools7/jingle/AArch64toBell.theme
+share/herdtools7/jingle/BelltoAArch64.theme
+share/herdtools7/jingle/BelltoARM.theme
+share/herdtools7/jingle/BelltoC.theme
+share/herdtools7/jingle/CtoAArch64.theme
+share/herdtools7/jingle/Linux.call
+share/herdtools7/jingle/Linux2AArch64.map
+share/herdtools7/jingle/Linux2PPC.map
+share/herdtools7/jingle/RISCV2AArch64.map
+share/herdtools7/jingle/test.theme
+share/herdtools7/litmus/ARM.cfg
+share/herdtools7/litmus/ARM_ADB.cfg
+share/herdtools7/litmus/HiKey.cfg
+share/herdtools7/litmus/LG-H955.cfg
+share/herdtools7/litmus/M1.cfg
+share/herdtools7/litmus/R4000.cfg
+share/herdtools7/litmus/Sam.cfg
+share/herdtools7/litmus/Snap425.cfg
+share/herdtools7/litmus/Snap820.cfg
+share/herdtools7/litmus/_aarch64/asmhandler.c
+share/herdtools7/litmus/_aarch64/barrier.c
+share/herdtools7/litmus/_aarch64/cache.c
+share/herdtools7/litmus/_aarch64/getret.c
+share/herdtools7/litmus/_aarch64/instruction.h
+share/herdtools7/litmus/_aarch64/intrinsics.h
+share/herdtools7/litmus/_aarch64/kvm-headers.h
+share/herdtools7/litmus/_aarch64/kvm-self.c
+share/herdtools7/litmus/_aarch64/kvm.c.rules
+share/herdtools7/litmus/_aarch64/kvm.rules
+share/herdtools7/litmus/_aarch64/kvm_fault_handler.c
+share/herdtools7/litmus/_aarch64/kvm_fault_type.c
+share/herdtools7/litmus/_aarch64/kvm_timebase.c
+share/herdtools7/litmus/_aarch64/kvm_timeofday.c
+share/herdtools7/litmus/_aarch64/kvm_user_stacks.c
+share/herdtools7/litmus/_aarch64/mbar.c
+share/herdtools7/litmus/_aarch64/presi-self.c
+share/herdtools7/litmus/_aarch64/self.c
+share/herdtools7/litmus/_affinity.h
+share/herdtools7/litmus/_aix_affinity.c
+share/herdtools7/litmus/_android8_affinity.c
+share/herdtools7/litmus/_arm/barrier.c
+share/herdtools7/litmus/_arm/cache.c
+share/herdtools7/litmus/_arm/instruction.h
+share/herdtools7/litmus/_arm/mbar.c
+share/herdtools7/litmus/_find_ins.c
+share/herdtools7/litmus/_freebsd_affinity.c
+share/herdtools7/litmus/_hash.c
+share/herdtools7/litmus/_instance.c
+share/herdtools7/litmus/_kvm_linux/platform_io.c
+share/herdtools7/litmus/_kvm_linux/platform_io.h
+share/herdtools7/litmus/_kvm_timeofday.h
+share/herdtools7/litmus/_linux/platform_io.c
+share/herdtools7/litmus/_linux/platform_io.h
+share/herdtools7/litmus/_linux_affinity.c
+share/herdtools7/litmus/_litmus_io.c
+share/herdtools7/litmus/_litmus_io.h
+share/herdtools7/litmus/_litmus_rand.c
+share/herdtools7/litmus/_litmus_rand.h
+share/herdtools7/litmus/_main.c
+share/herdtools7/litmus/_mips/barrier.c
+share/herdtools7/litmus/_mips/instruction.h
+share/herdtools7/litmus/_mips/mbar.c
+share/herdtools7/litmus/_mix.h
+share/herdtools7/litmus/_outs.c
+share/herdtools7/litmus/_outs.h
+share/herdtools7/litmus/_ppc/barrier.c
+share/herdtools7/litmus/_ppc/barrier_lab.c
+share/herdtools7/litmus/_ppc/cache.c
+share/herdtools7/litmus/_ppc/instruction.h
+share/herdtools7/litmus/_ppc/mbar.c
+share/herdtools7/litmus/_ppc/timebase.c
+share/herdtools7/litmus/_ppc/timebase32.c
+share/herdtools7/litmus/_ppc/timebase64.c
+share/herdtools7/litmus/_prelude_size.c
+share/herdtools7/litmus/_presi.c
+share/herdtools7/litmus/_presi.h
+share/herdtools7/litmus/_riscv/barrier.c
+share/herdtools7/litmus/_riscv/mbar.c
+share/herdtools7/litmus/_show.awk
+share/herdtools7/litmus/_showC.awk
+share/herdtools7/litmus/_showLabel.awk
+share/herdtools7/litmus/_toh.sh
+share/herdtools7/litmus/_toh_nostdio.sh
+share/herdtools7/litmus/_utils.c
+share/herdtools7/litmus/_utils.h
+share/herdtools7/litmus/_x86/barrier.c
+share/herdtools7/litmus/_x86/cache.c
+share/herdtools7/litmus/_x86/mbar.c
+share/herdtools7/litmus/_x86/timebase.c
+share/herdtools7/litmus/_x86_64/barrier.c
+share/herdtools7/litmus/_x86_64/cache.c
+share/herdtools7/litmus/_x86_64/klitmus_memory_type.c
+share/herdtools7/litmus/_x86_64/kvm-headers.h
+share/herdtools7/litmus/_x86_64/kvm.c.rules
+share/herdtools7/litmus/_x86_64/kvm.rules
+share/herdtools7/litmus/_x86_64/kvm_timebase.c
+share/herdtools7/litmus/_x86_64/kvm_timeofday.c
+share/herdtools7/litmus/_x86_64/mbar.c
+share/herdtools7/litmus/_x86_64/timebase.c
+share/herdtools7/litmus/aarch64-qemu.cfg
+share/herdtools7/litmus/aarch64.cfg
+share/herdtools7/litmus/abducens.big.cfg
+share/herdtools7/litmus/abducens.cache.cfg
+share/herdtools7/litmus/abducens.cfg
+share/herdtools7/litmus/abducens.close.cfg
+share/herdtools7/litmus/aloxe.cfg
+share/herdtools7/litmus/armv7.cfg
+share/herdtools7/litmus/armv8+sme-qemu.cfg
+share/herdtools7/litmus/armv8+sve-qemu.cfg
+share/herdtools7/litmus/armv8.1.cfg
+share/herdtools7/litmus/armv8.3-qemu.cfg
+share/herdtools7/litmus/armv8.3.cfg
+share/herdtools7/litmus/armv8.cfg
+share/herdtools7/litmus/asus-debian-thumb.cfg
+share/herdtools7/litmus/asus-debian.cfg
+share/herdtools7/litmus/asus.cfg
+share/herdtools7/litmus/auto.cfg
+share/herdtools7/litmus/bam.cfg
+share/herdtools7/litmus/beaune.cfg
+share/herdtools7/litmus/bom.cfg
+share/herdtools7/litmus/bonga.cfg
+share/herdtools7/litmus/cavium.cfg
+share/herdtools7/litmus/chianti.cfg
+share/herdtools7/litmus/conti.cfg
+share/herdtools7/litmus/corei7.cfg
+share/herdtools7/litmus/cortex-a55.cfg
+share/herdtools7/litmus/cortex9-O0.cfg
+share/herdtools7/litmus/cortex9.cfg
+share/herdtools7/litmus/cortexA15.cfg
+share/herdtools7/litmus/cubietruck.cfg
+share/herdtools7/litmus/doko.cfg
+share/herdtools7/litmus/dragon-arm.cfg
+share/herdtools7/litmus/dragon-thumb.cfg
+share/herdtools7/litmus/dragon.cfg
+share/herdtools7/litmus/g5.cfg
+share/herdtools7/litmus/header.txt
+share/herdtools7/litmus/hopla.cfg
+share/herdtools7/litmus/hpcx.cfg
+share/herdtools7/litmus/ipad.cfg
+share/herdtools7/litmus/kbarrier-tb.txt
+share/herdtools7/litmus/kbarrier-user.txt
+share/herdtools7/litmus/kincludes.txt
+share/herdtools7/litmus/kvm-aarch64.cfg
+share/herdtools7/litmus/kvm-armv8.1+rcpc.cfg
+share/herdtools7/litmus/kvm-armv8.1.cfg
+share/herdtools7/litmus/kvm-m1.cfg
+share/herdtools7/litmus/kvm-x86_64.cfg
+share/herdtools7/litmus/marvel-armada-370.cfg
+share/herdtools7/litmus/mike.cfg
+share/herdtools7/litmus/mips-qemu.cfg
+share/herdtools7/litmus/mips64-qemu.cfg
+share/herdtools7/litmus/mp.cfg
+share/herdtools7/litmus/nexus10.cfg
+share/herdtools7/litmus/nexus7.cfg
+share/herdtools7/litmus/nexus9.cfg
+share/herdtools7/litmus/odroid-c2.cfg
+share/herdtools7/litmus/odroid-n2.cfg
+share/herdtools7/litmus/odroid-xu-ubuntu.cfg
+share/herdtools7/litmus/odroid-xu.cfg
+share/herdtools7/litmus/outs.txt
+share/herdtools7/litmus/pi2-nofp.cfg
+share/herdtools7/litmus/pi2.cfg
+share/herdtools7/litmus/pi3b.cfg
+share/herdtools7/litmus/portable.cfg
+share/herdtools7/litmus/power.cfg
+share/herdtools7/litmus/power6.smt.cfg
+share/herdtools7/litmus/power7.32.cfg
+share/herdtools7/litmus/power7.cfg
+share/herdtools7/litmus/power7.smt.cfg
+share/herdtools7/litmus/ppc-qemu.cfg
+share/herdtools7/litmus/redmi5a.cfg
+share/herdtools7/litmus/redmi9a.cfg
+share/herdtools7/litmus/riscv-qemu.cfg
+share/herdtools7/litmus/saumur.cfg
+share/herdtools7/litmus/saumur.close.cfg
+share/herdtools7/litmus/squale.cfg
+share/herdtools7/litmus/src-aarch64.cfg
+share/herdtools7/litmus/trimslice.cfg
+share/herdtools7/litmus/tst.cfg
+share/herdtools7/litmus/vargas.cache.cfg
+share/herdtools7/litmus/vargas.cfg
+share/herdtools7/litmus/vargas.close.cfg
+share/herdtools7/litmus/vargas16.cfg
+share/herdtools7/litmus/vougeot.cfg
+share/herdtools7/litmus/x86.cfg
+share/herdtools7/litmus/x86_64.cfg
+share/herdtools7/litmus/youpla.cfg
+share/herdtools7/litmus/youpla64.cfg
Index: pkgsrc/devel/herdtools7/distinfo
diff -u /dev/null pkgsrc/devel/herdtools7/distinfo:1.1
--- /dev/null Mon Jun 29 00:53:14 2026
+++ pkgsrc/devel/herdtools7/distinfo Mon Jun 29 00:53:14 2026
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2026/06/29 00:53:14 dholland Exp $
+
+BLAKE2s (herdtools7-7.58.tar.gz) = 41229dedf36a04d621d82b9454a399c03d82b9c230feaf3461f7478af5c23fdc
+SHA512 (herdtools7-7.58.tar.gz) = a8acfafe1b95867f50cfac41ec5f5d46f10a14babe3c6a34fcb412b89cbeb163de539f19a7f35690cf4ba1420480b0aaa17a7f4429f8482a810b1405bc224f94
+Size (herdtools7-7.58.tar.gz) = 1599224 bytes
+SHA1 (patch-Makefile) = bfd4c9886c97c8913d08c25a05af90a87c6f775b
Index: pkgsrc/devel/herdtools7/patches/patch-Makefile
diff -u /dev/null pkgsrc/devel/herdtools7/patches/patch-Makefile:1.1
--- /dev/null Mon Jun 29 00:53:14 2026
+++ pkgsrc/devel/herdtools7/patches/patch-Makefile Mon Jun 29 00:53:14 2026
@@ -0,0 +1,36 @@
+$NetBSD: patch-Makefile,v 1.1 2026/06/29 00:53:14 dholland Exp $
+
+Configure for pkgsrc.
+
+--- Makefile.orig 2025-02-12 16:18:12.000000000 +0000
++++ Makefile
+@@ -1,15 +1,10 @@
+ .PHONY: check-deps
+
+ OS := $(shell uname)
+-PREFIX=$$HOME
+ D=dune
+
+ #Limit parallelism of some expensive operations
+-ifeq ($(OS),Darwin)
+- J=$(shell sysctl -n hw.logicalcpu)
+-else
+- J=$(shell nproc)
+-endif
++J=$(MAKE_JOBS)
+
+
+ REGRESSION_TEST_MODE = test
+@@ -42,10 +37,10 @@ $(BENTO): Version.ml | check-deps
+ dune build -j $(J) --profile $(DUNE_PROFILE) $@
+
+ install:
+- sh ./dune-install.sh $(PREFIX)
++ sh ./dune-install.sh $(DESTDIR)$(PREFIX)
+
+ uninstall:
+- sh ./dune-uninstall.sh $(PREFIX)
++ sh ./dune-uninstall.sh $(DESTDIR)$(PREFIX)
+
+ clean: dune-clean clean-asl-pseudocode clean-asldoc
+ rm -f Version.ml
Home |
Main Index |
Thread Index |
Old Index