summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorjtb <jtb>2001-03-31 18:10:47 +0000
committerjtb <jtb>2001-03-31 18:10:47 +0000
commit8944e4817f03f5870f81b292fd012a457c69b3c1 (patch)
tree3a0cfabc098850c630b49272443c4fc37952b048 /math
parente3786c6fe28dd1812086451448e8274a287c5e55 (diff)
downloadpkgsrc-8944e4817f03f5870f81b292fd012a457c69b3c1.tar.gz
Otter doesn't respect CFLAGS because -O2 optimization causes the program
to malfunction. While here, change COMMENT to "Automated Deduction System".
Diffstat (limited to 'math')
-rw-r--r--math/otter/Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile
index d90323a2a8f..6e285d831e3 100644
--- a/math/otter/Makefile
+++ b/math/otter/Makefile
@@ -1,4 +1,7 @@
-# $NetBSD: Makefile,v 1.2 2001/02/17 18:22:33 wiz Exp $
+# $NetBSD: Makefile,v 1.3 2001/03/31 18:10:47 jtb Exp $
+#
+# XXX Otter doesn't respect CFLAGS because -O2 optimization causes
+# the program to malfunction (-O is fine).
DISTNAME= otter-3.0.6
CATEGORIES= math
@@ -6,7 +9,7 @@ MASTER_SITES= ftp://info.mcs.anl.gov/pub/Otter/
MAINTAINER= jtb@netbsd.org
HOMEPAGE= http://www.mcs.anl.gov/AR/otter/
-COMMENT= theorem-proving program
+COMMENT= Automated Deduction System
WRKSRC= ${WRKDIR}/${PKGNAME}/source