CVS commit: pkgsrc/math/otter

["Roland Illig" <rillig%netbsd.org@localhost>]

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.

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=    pkgsrc-users%NetBSD.org@localhost
 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