diff options
| author | jtb <jtb@pkgsrc.org> | 2000-11-25 18:19:19 +0000 |
|---|---|---|
| committer | jtb <jtb@pkgsrc.org> | 2000-11-25 18:19:19 +0000 |
| commit | 1184440a595c6881edeba143013654b47885b79f (patch) | |
| tree | cb2b761d4f309bfec4b6d73dc3e4ecde88f67339 /math/otter/patches | |
| parent | b5b4cb4f4ab6d8b206bd4b0cb6cdffe2993bfb74 (diff) | |
| download | pkgsrc-1184440a595c6881edeba143013654b47885b79f.tar.gz | |
Initial import of new "otter" package:
Otter is a theorem-proving program
Diffstat (limited to 'math/otter/patches')
| -rw-r--r-- | math/otter/patches/patch-aa | 13 | ||||
| -rw-r--r-- | math/otter/patches/patch-ab | 19 |
2 files changed, 32 insertions, 0 deletions
diff --git a/math/otter/patches/patch-aa b/math/otter/patches/patch-aa new file mode 100644 index 00000000000..5d7e249eabc --- /dev/null +++ b/math/otter/patches/patch-aa @@ -0,0 +1,13 @@ +$NetBSD: patch-aa,v 1.1.1.1 2000/11/25 18:19:21 jtb Exp $ + +--- Makefile.orig Mon Nov 13 23:57:18 2000 ++++ Makefile +@@ -80,7 +80,7 @@ + # Specify the C compiler. I recommend gcc (GNU C Compiler) if you have it. + # In many Linux environments, cc is just a symlink to gcc. + +-CC = cc ++#CC = cc + + ############################################################################# + # diff --git a/math/otter/patches/patch-ab b/math/otter/patches/patch-ab new file mode 100644 index 00000000000..6403b442272 --- /dev/null +++ b/math/otter/patches/patch-ab @@ -0,0 +1,19 @@ +$NetBSD: patch-ab,v 1.1.1.1 2000/11/25 18:19:21 jtb Exp $ + +--- ../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 + else +- set OTTER=../../source/otter ++ set OTTER=otter + endif + + if ($#argv >= 3) then |