diff options
| author | jtb <jtb> | 2001-03-31 18:10:47 +0000 |
|---|---|---|
| committer | jtb <jtb> | 2001-03-31 18:10:47 +0000 |
| commit | 4fc798033bd88862cc3d680d396dec269e54e836 (patch) | |
| tree | 3a0cfabc098850c630b49272443c4fc37952b048 /math/otter/Makefile | |
| parent | dd4e768d132b5027605f0cf7da696789a9420e78 (diff) | |
| download | pkgsrc-4fc798033bd88862cc3d680d396dec269e54e836.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/otter/Makefile')
| -rw-r--r-- | math/otter/Makefile | 7 |
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 |