ports/92834: new port: otter

Garrett Wollman wollman at bostonradio.org
Sun Feb 5 05:20:04 UTC 2006 

>Number:         92834
>Category:       ports
>Synopsis:       new port: otter
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Sun Feb 05 05:20:02 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator:     Garrett Wollman
>Release:        FreeBSD 5.4-STABLE i386
>Organization:
The Archives @ BostonRadio.org
>Environment:
System: FreeBSD rolinin.bostonradio.org 5.4-STABLE FreeBSD 5.4-STABLE #3: Tue Sep 27 15:52:32 EDT 2005 wollman at rolinin.lcs.mit.edu:/usr/obj/usr/src/sys/ROLININ i386

>Description:

There is no port for otter.

>How-To-Repeat:

grep otter /usr/ports/INDEX-?

>Fix:

I chose to put this in misc mainly by default.  There's no obvious
category for theorem-provers that I could find, but I didn't look very
hard.  I'm sending this as a PR rather than committing it myself
because I'm not likely to have the time to do that before the next
freeze.

#!/bin/sh
# This is a shell archive
echo x Makefile
sed 's/^X//' > Makefile << 'SHAR_END'
X# New ports collection makefile for:	otter
X# Date created:         2006-02-04
X# Whom:                 wollman
X#
X# $FreeBSD$
X#
X
XPORTNAME=	otter
XPORTVERSION=	3.3f
XCATEGORIES=	misc
XMASTER_SITES=	http://www-unix.mcs.anl.gov/AR/otter/dist33/
X
XMAINTAINER=	wollman at FreeBSD.org
XCOMMENT=	A theorem prover and finite model searcher
X
XPROGRAMS=	anldp mace2 otter
XDOCUMENTS=	README anldp.pdf mace2.pdf otter33.pdf
X
Xdo-install:
X.for prog in $(PROGRAMS)
X	$(INSTALL_PROGRAM) $(WRKSRC)/bin/$(prog) $(PREFIX)/bin
X.endfor
X	$(MKDIR) $(PREFIX)/share/doc/otter
X.for doc in $(DOCUMENTS)
X	$(INSTALL_DATA) $(WRKSRC)/documents/$(doc) $(PREFIX)/share/doc/otter
X.endfor
X	$(MKDIR) $(PREFIX)/share/examples/otter
X	$(MKDIR) $(PREFIX)/share/examples/mace2
X	(cd $(WRKSRC)/examples; pax -rw . $(PREFIX)/share/examples/otter)
X	(cd $(WRKSRC)/examples-mace2; pax -rw . $(PREFIX)/share/examples/mace2)
X
X.include <bsd.port.mk>
SHAR_END
echo x distinfo
sed 's/^X//' > distinfo << 'SHAR_END'
XMD5 (otter-3.3f.tar.gz) = 795711b307cc1316e08d3d4f46c998c9
XSHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a
XSIZE (otter-3.3f.tar.gz) = 2554827
SHAR_END
echo x pkg-descr
sed 's/^X//' > pkg-descr << 'SHAR_END'
XOtter is an automated deduction system (theorem prover) for
Xfirst-order logic with equality developed at Argonne National
XLaboratories.
X
XWWW: http://www-unix.mcs.anl.gov/AR/otter/
SHAR_END
echo x pkg-plist
sed 's/^X//' > pkg-plist << 'SHAR_END'
Xbin/anldp
Xbin/mace2
Xbin/otter
Xshare/doc/otter/README
Xshare/doc/otter/anldp.pdf
Xshare/doc/otter/mace2.pdf
Xshare/doc/otter/otter33.pdf
Xshare/examples/otter/summary
Xshare/examples/otter/Run_group
Xshare/examples/otter/auto/robbins.out
Xshare/examples/otter/auto/pigeon.in
Xshare/examples/otter/auto/salt.in
Xshare/examples/otter/auto/x2_quant.out
Xshare/examples/otter/auto/lifsch.in
Xshare/examples/otter/auto/mv25.out
Xshare/examples/otter/auto/steam.in
Xshare/examples/otter/auto/comm.in
Xshare/examples/otter/auto/ring_x2.in
Xshare/examples/otter/auto/tba_gg.in
Xshare/examples/otter/auto/x2_quant.in
Xshare/examples/otter/auto/w_sk.in
Xshare/examples/otter/auto/z11.out
Xshare/examples/otter/auto/pigeon.out
Xshare/examples/otter/auto/comm.out
Xshare/examples/otter/auto/salt.out
Xshare/examples/otter/auto/lifsch.out
Xshare/examples/otter/auto/sam.in
Xshare/examples/otter/auto/steam.out
Xshare/examples/otter/auto/wang1.in
Xshare/examples/otter/auto/group.out
Xshare/examples/otter/auto/cn19.out
Xshare/examples/otter/auto/ec_yq.in
Xshare/examples/otter/auto/ring_x2.out
Xshare/examples/otter/auto/robbins.in
Xshare/examples/otter/auto/ec_yq.out
Xshare/examples/otter/auto/wang1.out
Xshare/examples/otter/auto/w_sk.out
Xshare/examples/otter/auto/group.in
Xshare/examples/otter/auto/index.html
Xshare/examples/otter/auto/README
Xshare/examples/otter/auto/cn19.in
Xshare/examples/otter/auto/z11.in
Xshare/examples/otter/auto/sam.out
Xshare/examples/otter/auto/tba_gg.out
Xshare/examples/otter/auto/mv25.in
Xshare/examples/otter/misc/sax1.in
Xshare/examples/otter/misc/dem_alu.in
Xshare/examples/otter/misc/sax2.in
Xshare/examples/otter/misc/mv.in
Xshare/examples/otter/misc/andrews.in
Xshare/examples/otter/misc/dem_alu.out
Xshare/examples/otter/misc/stage1.out
Xshare/examples/otter/misc/str_bws.in.28752
Xshare/examples/otter/misc/cn.in
Xshare/examples/otter/misc/str_bws.in
Xshare/examples/otter/misc/andrews.out
Xshare/examples/otter/misc/kb_bench.in
Xshare/examples/otter/misc/stage2.in
Xshare/examples/otter/misc/dem_alu.in.28752
Xshare/examples/otter/misc/andrews.in.28752
Xshare/examples/otter/misc/cn.out
Xshare/examples/otter/misc/stage2.out
Xshare/examples/otter/misc/stage1.in
Xshare/examples/otter/misc/mv.out
Xshare/examples/otter/misc/index.html
Xshare/examples/otter/misc/sax2.out
Xshare/examples/otter/misc/README
Xshare/examples/otter/misc/kb_bench.out
Xshare/examples/otter/misc/mv.in.28752
Xshare/examples/otter/misc/cn.in.28752
Xshare/examples/otter/misc/str_bws.out
Xshare/examples/otter/misc/sax1.out
Xshare/examples/otter/misc/ec.out
Xshare/examples/otter/misc/ec.in
Xshare/examples/otter/Makefile
Xshare/examples/otter/fringe/luka5h.out
Xshare/examples/otter/fringe/lexical1.out
Xshare/examples/otter/fringe/gl8.in
Xshare/examples/otter/fringe/x3tricks.in
Xshare/examples/otter/fringe/lexical2.in
Xshare/examples/otter/fringe/if.in
Xshare/examples/otter/fringe/lexical3.out
Xshare/examples/otter/fringe/lexical2.out
Xshare/examples/otter/fringe/mfl_13.out
Xshare/examples/otter/fringe/gl8.out
Xshare/examples/otter/fringe/mfl_13.in
Xshare/examples/otter/fringe/gl4.out
Xshare/examples/otter/fringe/rob_ocd.in
Xshare/examples/otter/fringe/ec_yql.out
Xshare/examples/otter/fringe/ec_yql.in.28897
Xshare/examples/otter/fringe/rob_ocd.out
Xshare/examples/otter/fringe/x3tricks.out
Xshare/examples/otter/fringe/olsax_hints.in
Xshare/examples/otter/fringe/bring.out
Xshare/examples/otter/fringe/index.html
Xshare/examples/otter/fringe/if.out
Xshare/examples/otter/fringe/gl4.in.28897
Xshare/examples/otter/fringe/gl4.in
Xshare/examples/otter/fringe/README
Xshare/examples/otter/fringe/luka5h.in
Xshare/examples/otter/fringe/lexical1.in
Xshare/examples/otter/fringe/bring.in
Xshare/examples/otter/fringe/lexical3.in
Xshare/examples/otter/fringe/ec_yql.in
Xshare/examples/otter/fringe/olsax_hints.out
Xshare/examples/otter/wos/grp_exp4.in
Xshare/examples/otter/wos/grp_exp3.in
Xshare/examples/otter/wos/cursory.in
Xshare/examples/otter/wos/cursory.out
Xshare/examples/otter/wos/twoval.in
Xshare/examples/otter/wos/README.more
Xshare/examples/otter/wos/rigorous.out
Xshare/examples/otter/wos/grp_exp4.out
Xshare/examples/otter/wos/rigorous.in
Xshare/examples/otter/wos/rob_occ.in
Xshare/examples/otter/wos/index.html
Xshare/examples/otter/wos/rob_occ.out
Xshare/examples/otter/wos/manyval.out
Xshare/examples/otter/wos/README
Xshare/examples/otter/wos/manyval.in
Xshare/examples/otter/wos/twoval.out
Xshare/examples/otter/wos/grp_exp3.out
Xshare/examples/otter/Loop/temp
Xshare/examples/otter/Loop/otter-ploop
Xshare/examples/otter/Loop/Sheffer-mgi-without-mirrors
Xshare/examples/otter/Loop/README
Xshare/examples/otter/Loop/head
Xshare/examples/otter/ivy/group-x2-refute.out
Xshare/examples/otter/ivy/group-comm.out
Xshare/examples/otter/ivy/lifsch.in
Xshare/examples/otter/ivy/steam.in
Xshare/examples/otter/ivy/group-x2.out
Xshare/examples/otter/ivy/comb-sk-w.out
Xshare/examples/otter/ivy/lifsch.out
Xshare/examples/otter/ivy/p-and-not-p.in
Xshare/examples/otter/ivy/p-and-not-p.out
Xshare/examples/otter/ivy/steam.out
Xshare/examples/otter/ivy/cd-cn19.out
Xshare/examples/otter/ivy/t1.out
Xshare/examples/otter/ivy/group-comm.in
Xshare/examples/otter/ivy/comb-sk-w.in
Xshare/examples/otter/ivy/group-x2-refute.in
Xshare/examples/otter/ivy/group-x2.in
Xshare/examples/otter/ivy/index.html
Xshare/examples/otter/ivy/README
Xshare/examples/otter/ivy/cd-cn19.in
Xshare/examples/otter/ivy/t1.in
Xshare/examples/otter/index.html
Xshare/examples/otter/README
Xshare/examples/otter/program/mission.in
Xshare/examples/otter/program/jugs.out
Xshare/examples/otter/program/queens.in
Xshare/examples/otter/program/jugs.in
Xshare/examples/otter/program/two_inv.in
Xshare/examples/otter/program/two_inv.out
Xshare/examples/otter/program/eval.out
Xshare/examples/otter/program/mission.out
Xshare/examples/otter/program/queens.out
Xshare/examples/otter/program/index.html
Xshare/examples/otter/program/README
Xshare/examples/otter/program/eval.in
Xshare/examples/otter/Run_all
Xshare/examples/otter/Run_all.out
Xshare/examples/otter/kalman/i4.in
Xshare/examples/otter/kalman/ex_1.out
Xshare/examples/otter/kalman/i1.in
Xshare/examples/otter/kalman/ex_4.in
Xshare/examples/otter/kalman/ex_3.out
Xshare/examples/otter/kalman/ex_2.out
Xshare/examples/otter/kalman/i3.out
Xshare/examples/otter/kalman/ex_2.in
Xshare/examples/otter/kalman/ex_4.out
Xshare/examples/otter/kalman/ex_3.in
Xshare/examples/otter/kalman/ex_1.in
Xshare/examples/otter/kalman/i4.out
Xshare/examples/otter/kalman/i3.in
Xshare/examples/otter/kalman/index.html
Xshare/examples/otter/kalman/i1.out
Xshare/examples/otter/kalman/README
Xshare/examples/otter/kalman/i2.in
Xshare/examples/otter/kalman/i2.out
Xshare/examples/otter/split/GEO010-2.in
Xshare/examples/otter/split/wang3.out
Xshare/examples/otter/split/group2.in
Xshare/examples/otter/split/power.out
Xshare/examples/otter/split/GEO036-2.out
Xshare/examples/otter/split/zebra4.out
Xshare/examples/otter/split/pigeon5.in
Xshare/examples/otter/split/GEO036-2.in
Xshare/examples/otter/split/wang3.in
Xshare/examples/otter/split/zebra2.in
Xshare/examples/otter/split/README.more
Xshare/examples/otter/split/noncomm-group.out
Xshare/examples/otter/split/pigeon5.out
Xshare/examples/otter/split/power.in
Xshare/examples/otter/split/GRP025-1.out
Xshare/examples/otter/split/noncomm-group.in
Xshare/examples/otter/split/zebra4.in
Xshare/examples/otter/split/temp1
Xshare/examples/otter/split/group2.out
Xshare/examples/otter/split/index.html
Xshare/examples/otter/split/README
Xshare/examples/otter/split/pair.out
Xshare/examples/otter/split/pair.in
Xshare/examples/otter/split/zebra2.out
Xshare/examples/otter/split/GRP025-1.in
Xshare/examples/otter/split/GEO010-2.out
Xshare/examples/mace2/Run_mace
Xshare/examples/mace2/Makefile
Xshare/examples/mace2/basic/temp
Xshare/examples/mace2/basic/cl_sw.out
Xshare/examples/mace2/basic/cd.in
Xshare/examples/mace2/basic/tough-nut.out
Xshare/examples/mace2/basic/cl_ql.in
Xshare/examples/mace2/basic/tba.in
Xshare/examples/mace2/basic/noncommutative_group.in
Xshare/examples/mace2/basic/cd.out
Xshare/examples/mace2/basic/tba.out
Xshare/examples/mace2/basic/ordered_semi.in
Xshare/examples/mace2/basic/index.html
Xshare/examples/mace2/basic/README
Xshare/examples/mace2/basic/tough-nut.in
Xshare/examples/mace2/basic/cl_ql.out
Xshare/examples/mace2/basic/ring.in
Xshare/examples/mace2/basic/cl_sw.in
Xshare/examples/mace2/basic/program
Xshare/examples/mace2/basic/ring.out
Xshare/examples/mace2/basic/noncommutative_group.out
Xshare/examples/mace2/basic/ordered_semi.out
Xshare/examples/mace2/iterate/CAT019-5.out
Xshare/examples/mace2/iterate/PUZ001-3.in
Xshare/examples/mace2/iterate/LAT025-1.in
Xshare/examples/mace2/iterate/LCL136-1.out
Xshare/examples/mace2/iterate/RNG025-8.in
Xshare/examples/mace2/iterate/noncommutive_ring1.out
Xshare/examples/mace2/iterate/noncommutive_ring1.in
Xshare/examples/mace2/iterate/CAT019-5.in
Xshare/examples/mace2/iterate/cd.in
Xshare/examples/mace2/iterate/noncommutative_group.in
Xshare/examples/mace2/iterate/cd.out
Xshare/examples/mace2/iterate/PUZ001-3.out
Xshare/examples/mace2/iterate/BOO032-1.in
Xshare/examples/mace2/iterate/index.html
Xshare/examples/mace2/iterate/README
Xshare/examples/mace2/iterate/BOO032-1.out
Xshare/examples/mace2/iterate/kauer.out
Xshare/examples/mace2/iterate/program
Xshare/examples/mace2/iterate/LCL136-1.in
Xshare/examples/mace2/iterate/kauer.in
Xshare/examples/mace2/iterate/LAT025-1.out
Xshare/examples/mace2/iterate/RNG025-8.out
Xshare/examples/mace2/iterate/noncommutative_group.out
Xshare/examples/mace2/propositional/p8.out
Xshare/examples/mace2/propositional/p10.IN
Xshare/examples/mace2/propositional/p7.out
Xshare/examples/mace2/propositional/f3.out
Xshare/examples/mace2/propositional/p9.out
Xshare/examples/mace2/propositional/p6.in
Xshare/examples/mace2/propositional/p6.out
Xshare/examples/mace2/propositional/README.more
Xshare/examples/mace2/propositional/p9.in
Xshare/examples/mace2/propositional/q10.in
Xshare/examples/mace2/propositional/f4.out
Xshare/examples/mace2/propositional/f2.in
Xshare/examples/mace2/propositional/f2.out
Xshare/examples/mace2/propositional/p5.out
Xshare/examples/mace2/propositional/index.html
Xshare/examples/mace2/propositional/README
Xshare/examples/mace2/propositional/q10.out
Xshare/examples/mace2/propositional/p8.in
Xshare/examples/mace2/propositional/p5.in
Xshare/examples/mace2/propositional/f4.in
Xshare/examples/mace2/propositional/program
Xshare/examples/mace2/propositional/f3.in
Xshare/examples/mace2/propositional/p7.in
Xshare/examples/mace2/lattice/lt-ol.out
Xshare/examples/mace2/lattice/ml-mol.out
Xshare/examples/mace2/lattice/ol-e4.out
Xshare/examples/mace2/lattice/oml-mol.in
Xshare/examples/mace2/lattice/ol-oml.in
Xshare/examples/mace2/lattice/oml-mol.out
Xshare/examples/mace2/lattice/lt-ml.out
Xshare/examples/mace2/lattice/lt-ol.in
Xshare/examples/mace2/lattice/finite-lattice
Xshare/examples/mace2/lattice/ortholattice
Xshare/examples/mace2/lattice/lattice-axioms
Xshare/examples/mace2/lattice/ol-e1.out
Xshare/examples/mace2/lattice/ol-oml.out
Xshare/examples/mace2/lattice/ml-mol.in
Xshare/examples/mace2/lattice/index.html
Xshare/examples/mace2/lattice/README
Xshare/examples/mace2/lattice/mol-ba.out
Xshare/examples/mace2/lattice/ol-e1.in
Xshare/examples/mace2/lattice/mol-ba.in
Xshare/examples/mace2/lattice/program
Xshare/examples/mace2/lattice/ol-e4.in
Xshare/examples/mace2/lattice/lt-ml.in
Xshare/examples/mace2/index.html
Xshare/examples/mace2/README
Xshare/examples/mace2/quasigroup/qg7bl.in
Xshare/examples/mace2/quasigroup/qg6.in
Xshare/examples/mace2/quasigroup/qg4.out
Xshare/examples/mace2/quasigroup/qg1d.out
Xshare/examples/mace2/quasigroup/omts9.in
Xshare/examples/mace2/quasigroup/qg3.in
Xshare/examples/mace2/quasigroup/qg5l.out
Xshare/examples/mace2/quasigroup/qg3.out
Xshare/examples/mace2/quasigroup/omts9.out
Xshare/examples/mace2/quasigroup/qg1d.in
Xshare/examples/mace2/quasigroup/qg7bl.out
Xshare/examples/mace2/quasigroup/index.html
Xshare/examples/mace2/quasigroup/qg6.out
Xshare/examples/mace2/quasigroup/README
Xshare/examples/mace2/quasigroup/qg5l.in
Xshare/examples/mace2/quasigroup/program
Xshare/examples/mace2/quasigroup/qg4.in
Xshare/examples/mace2/quasigroup/qg2d.in
Xshare/examples/mace2/quasigroup/qg2d.out
Xshare/examples/mace2/Run_all
Xshare/examples/mace2/Run_all.out
Xshare/examples/mace2/Run_anldp
Xshare/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors
Xshare/examples/mace2/Perl-examples/commute4_filter
Xshare/examples/mace2/Perl-examples/index.html
Xshare/examples/mace2/Perl-examples/README
Xshare/examples/mace2/Perl-examples/candidates
X at dirrm share/examples/otter/auto
X at dirrm share/examples/otter/misc
X at dirrm share/examples/otter/fringe
X at dirrm share/examples/otter/wos
X at dirrm share/examples/otter/Loop
X at dirrm share/examples/otter/ivy
X at dirrm share/examples/otter/program
X at dirrm share/examples/otter/kalman
X at dirrm share/examples/otter/split
X at dirrm share/examples/otter
X at dirrm share/examples/mace2/basic
X at dirrm share/examples/mace2/iterate
X at dirrm share/examples/mace2/propositional
X at dirrm share/examples/mace2/lattice
X at dirrm share/examples/mace2/quasigroup
X at dirrm share/examples/mace2/Perl-examples
X at dirrm share/examples/mace2
X at dirrm share/doc/otter
SHAR_END
exit



>Release-Note:
>Audit-Trail:
>Unformatted:

More information about the freebsd-ports-bugs mailing list