diff options
Diffstat (limited to 'math/rumur/pkg-plist')
| -rw-r--r-- | math/rumur/pkg-plist | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index 16cc18e581b4..d1aa3419761c 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -1,5 +1,7 @@ +bin/murphi-format bin/murphi2c bin/murphi2murphi +bin/murphi2smv bin/murphi2uclid bin/murphi2xml bin/rumur @@ -25,17 +27,26 @@ include/rumur/parse.h include/rumur/parser.yy.hh include/rumur/position.hh include/rumur/resolve-symbols.h -include/rumur/rumur-get-version.h include/rumur/rumur.h include/rumur/sanitise_rule_names.h include/rumur/scanner.h include/rumur/stack.hh include/rumur/traverse.h include/rumur/validate.h +include/rumur/version.h +lib/cmake/rumur/librumurConfig-%%CMAKE_BUILD_TYPE%%.cmake +lib/cmake/rumur/librumurConfig.cmake +lib/cmake/rumur/rumurConfig.cmake lib/librumur.so +share/man/man1/murphi-format.1.gz share/man/man1/murphi2c.1.gz share/man/man1/murphi2murphi.1.gz +share/man/man1/murphi2smv.1.gz share/man/man1/murphi2uclid.1.gz share/man/man1/murphi2xml.1.gz share/man/man1/rumur-run.1.gz share/man/man1/rumur.1.gz +%%DATADIR%%/lib/README.rst +%%DATADIR%%/lib/list +%%DATADIR%%/lib/v2025.01.04/list +%%DATADIR%%/lib/v2025.01.05/list |