CVS commit: pkgsrc/math/otter
"Roland Illig" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
Module Name: pkgsrc Committed By: rillig Date: Sun Jul 26 18:24:38 UTC 2026 Modified Files: pkgsrc/math/otter: Makefile distinfo pkgsrc/math/otter/patches: patch-examples-run_All Log Message: math/otter: clean up, add license Running all provided examples is not a typical use case, so omit the shell interpreter and the executable bit To generate a diff of this commit: cvs rdiff -u -r1.18 -r1.19 pkgsrc/math/otter/Makefile cvs rdiff -u -r1.8 -r1.9 pkgsrc/math/otter/distinfo cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/otter/patches/patch-examples-run_All Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
(unnamed)
(text/x-diff, 3.6 KB)
Modified files: Index: pkgsrc/math/otter/Makefile diff -u pkgsrc/math/otter/Makefile:1.18 pkgsrc/math/otter/Makefile:1.19 --- pkgsrc/math/otter/Makefile:1.18 Sun Jul 26 06:14:12 2026 +++ pkgsrc/math/otter/Makefile Sun Jul 26 18:24:38 2026 @@ -1,13 +1,14 @@ -# $NetBSD: Makefile,v 1.18 2026/07/26 06:14:12 rillig Exp $ +# $NetBSD: Makefile,v 1.19 2026/07/26 18:24:38 rillig Exp $ DISTNAME= otter-3.0.6 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= math MASTER_SITES= https://www.cs.unm.edu/~mccune/otter/ MAINTAINER= [email protected] HOMEPAGE= https://www.cs.unm.edu/~mccune/otter/ COMMENT= Automated Deduction System +LICENSE= public-domain BUILD_DIRS= source BUILD_TARGET= otter @@ -16,18 +17,18 @@ AUTO_MKDIRS= yes do-install: ${INSTALL_PROGRAM} ${WRKSRC}/source/otter ${DESTDIR}${PREFIX}/bin - cd ${WRKDIR}/${PKGNAME_NOREV} && ${INSTALL_DATA} Announce Changelog \ + cd ${WRKSRC} && ${INSTALL_DATA} Announce Changelog \ Copying README* ${DESTDIR}${PREFIX}/share/doc/otter for d in auto fringe ivy kalman misc program split wos; do \ ${INSTALL_DATA_DIR} ${DESTDIR}${PREFIX}/share/examples/otter/$$d;\ - ${INSTALL_DATA} ${WRKDIR}/${PKGNAME_NOREV}/examples/$$d/* \ + ${INSTALL_DATA} ${WRKSRC}/examples/$$d/* \ ${DESTDIR}${PREFIX}/share/examples/otter/$$d; \ done - cd ${WRKDIR}/${PKGNAME_NOREV}/examples && ${INSTALL_SCRIPT} Run_all \ + cd ${WRKSRC}/examples && ${INSTALL_DATA} Run_all \ objects summary ${DESTDIR}${PREFIX}/share/examples/otter - ${INSTALL_DATA} ${WRKDIR}/${PKGNAME_NOREV}/examples/README \ + ${INSTALL_DATA} ${WRKSRC}/examples/README \ ${DESTDIR}${PREFIX}/share/examples/otter - ${INSTALL_DATA} ${WRKDIR}/${PKGNAME_NOREV}/document/* \ + ${INSTALL_DATA} ${WRKSRC}/document/* \ ${DESTDIR}${PREFIX}/share/doc/otter .include "../../mk/bsd.pkg.mk" Index: pkgsrc/math/otter/distinfo diff -u pkgsrc/math/otter/distinfo:1.8 pkgsrc/math/otter/distinfo:1.9 --- pkgsrc/math/otter/distinfo:1.8 Sun Jul 26 06:14:12 2026 +++ pkgsrc/math/otter/distinfo Sun Jul 26 18:24:38 2026 @@ -1,9 +1,9 @@ -$NetBSD: distinfo,v 1.8 2026/07/26 06:14:12 rillig Exp $ +$NetBSD: distinfo,v 1.9 2026/07/26 18:24:38 rillig Exp $ BLAKE2s (otter-3.0.6.tar.gz) = 78d80a883a03abd8b42a2349e2daec5ebf089217e79a00ba41057962a98b3d9c SHA512 (otter-3.0.6.tar.gz) = 5f40e769b3d96d01d858c1e04679a2bab65842f2a9fb0f247f5a64b3fd6e10d2f41641844c7d3ab8270d03ab42686bb3a6d57f68b4e8e984824823f1014bcac3 Size (otter-3.0.6.tar.gz) = 764045 bytes -SHA1 (patch-examples-run_All) = d869f0aac266ebba302efcf7318e1dd8d05ccf7d +SHA1 (patch-examples-run_All) = b2b851bfc3e6f5dd834729e11d4f86d997eef364 SHA1 (patch-source-Makefile) = d264250cb74c2e00a21f72b97ac31966a89154f8 SHA1 (patch-source-dp_util.c) = b18c53ed4c24c91b78be0462714b1d1a13eb2b84 SHA1 (patch-source-lisp.c) = 7a9c8d9c9aa4c9c08c6e1a18350e11ae779e4a1b Index: pkgsrc/math/otter/patches/patch-examples-run_All diff -u pkgsrc/math/otter/patches/patch-examples-run_All:1.1 pkgsrc/math/otter/patches/patch-examples-run_All:1.2 --- pkgsrc/math/otter/patches/patch-examples-run_All:1.1 Sun Jul 26 06:14:13 2026 +++ pkgsrc/math/otter/patches/patch-examples-run_All Sun Jul 26 18:24:38 2026 @@ -1,15 +1,9 @@ -$NetBSD: patch-examples-run_All,v 1.1 2026/07/26 06:14:13 rillig Exp $ +$NetBSD: patch-examples-run_All,v 1.2 2026/07/26 18:24:38 rillig Exp $ Adjust path of executable file, assuming it is in the PATH. --- examples/Run_all.orig Tue Oct 10 12:00:04 2000 +++ examples/Run_all -@@ -1,4 +1,4 @@ --# -+#!/bin/csh - # - # Run a set of otter jobs ($1/*.in) and compare the - # results ($1/*.out) to $1/*.ppro180. @@ -18,7 +18,7 @@ if ($#argv >= 2) then set OTTER=$2