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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | math/otter/Makefile | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile new file mode 100644 index 00000000000..309fa0d7d2b --- /dev/null +++ b/math/otter/Makefile @@ -0,0 +1,36 @@ +# $NetBSD: Makefile,v 1.1.1.1 2000/11/25 18:19:19 jtb Exp $ + +DISTNAME= otter-3.0.6 +CATEGORIES= math +MASTER_SITES= ftp://info.mcs.anl.gov/pub/Otter/ + +MAINTAINER= jtb@netbsd.org +HOMEPAGE= http://www.mcs.anl.gov/AR/otter/ + +WRKSRC= ${WRKDIR}/${PKGNAME}/source + +ALL_TARGET= otter + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/otter ${PREFIX}/bin + ${INSTALL_DATA_DIR} ${PREFIX}/share/examples/otter + ${INSTALL_DATA_DIR} ${PREFIX}/share/doc/otter + @(cd ${WRKDIR}/${PKGNAME}; \ + for r in Announce Changelog Copying README*; \ + do \ + ${INSTALL_DATA} $$r ${PREFIX}/share/doc/otter; \ + done; \ + for d in auto fringe ivy kalman misc program split wos; \ + do \ + ${INSTALL_DATA_DIR} ${PREFIX}/share/examples/otter/$$d; \ + ${INSTALL_DATA} examples/$$d/* ${PREFIX}/share/examples/otter/$$d;\ + done; \ + for p in Run_all objects summary; \ + do \ + ${INSTALL_SCRIPT} examples/$$p ${PREFIX}/share/examples/otter/$$p;\ + done; \ + ${INSTALL_DATA} examples/README ${PREFIX}/share/examples/otter; \ + ${INSTALL_DATA} ${WRKDIR}/${PKGNAME}/document/* \ + ${PREFIX}/share/doc/otter) + +.include "../../mk/bsd.pkg.mk" |