Date: Sat, 6 Aug 2005 14:35:20 -0400 From: "Andrew Bernard" <andrew@hobnob.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/84625: New port: lang/twelf A meta-logical framework for deductive systems Message-ID: <20050806183523.861C243D55@mx1.FreeBSD.org> Resent-Message-ID: <200508061840.j76IeJiY074540@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 84625
>Category: ports
>Synopsis: New port: lang/twelf A meta-logical framework for deductive systems
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: change-request
>Submitter-Id: current-users
>Arrival-Date: Sat Aug 06 18:40:18 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator: Andrew Bernard
>Release: FreeBSD 5.4-RELEASE i386
>Organization:
>Environment:
System: FreeBSD dedalus.neglectgravity.com 5.4-RELEASE FreeBSD 5.4-RELEASE #11: Fri Aug 5 22:30:03 EDT 2005 andrew@dedalus.neglectgravity.com:/usr/src/sys/i386/compile/DEDALUS i386
>Description:
The Twelf implementation comprises
* the LF logical framework, including type reconstruction;
* the Elf constraint logic programming language;
* an inductive meta-theorem prover for LF;
* and an Emacs interface.
>How-To-Repeat:
>Fix:
# This is a shell archive. Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file". Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
# twelf
# twelf/files
# twelf/files/patch-Makefile
# twelf/files/patch-twelf.info
# twelf/pkg-descr
# twelf/pkg-plist
# twelf/distinfo
# twelf/Makefile
#
echo c - twelf
mkdir -p twelf > /dev/null 2>&1
echo c - twelf/files
mkdir -p twelf/files > /dev/null 2>&1
echo x - twelf/files/patch-Makefile
sed 's/^X//' >twelf/files/patch-Makefile << 'END-of-twelf/files/patch-Makefile'
X--- Makefile.orig Sun Dec 22 11:29:46 2002
X+++ Makefile Sat Jul 9 18:52:09 2005
X@@ -31,7 +31,7 @@
X
X default : twelf-server twelf-emacs
X
X-all : twelf-server twelf-sml twelf-emacs
X+# all : twelf-server twelf-sml twelf-emacs
X
X twelf-server: ;
X @echo "*************************************************"
X@@ -62,3 +62,73 @@
X
X clean: ;
X rm -rf $(twelfdir)/src/*/CM ;
X+
X+# ---------------------------------------------------------------
X+# Installation
X+# ---------------------------------------------------------------
X+
X+arch != uname -p
X+
X+.if ${arch} == "i386"
X+smlarch = x86
X+.else
X+smlarch = ${arch}
X+.endif
X+
X+prefix = %%PREFIX%%
X+bindir = ${prefix}/bin
X+infodir = ${prefix}/info
X+twelfexecdir = ${prefix}/libexec/twelf
X+twelfsharedir = ${prefix}/share/twelf
X+
X+runfile = bin/twelf-server
X+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
X+
X+infofiles != (cd doc/info; find . -type f -not -name '*.orig')
X+sharefiles != (find README -type f; \
X+ find doc -type f -not -name '*.orig'; \
X+ find emacs -type f; \
X+ find examples -type f; \
X+ find examples-clp -type f; \
X+ find tex -type f)
X+
X+installfiles := ${bindir}/twelf-server \
X+ ${twelfsharedir}/${runfile} \
X+ ${twelfexecdir}/${heapfile} \
X+ ${infofiles:%=$(infodir)/%} \
X+ ${sharefiles:%=$(twelfsharedir)/%}
X+
X+all: ${runfile} ${heapfile}
X+
X+${runfile}:
X+ echo "#!/bin/sh" >$@
X+ echo "exec ${sml} @SMLload=${twelfexecdir}/${heapfile} @SMLdebug=/dev/null" >>$@
X+
X+${heapfile}:
X+ $(sml) < twelf-server.sml
X+
X+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
X+ ln -s $? $@
X+
X+${twelfsharedir}/${runfile}: ${runfile}
X+ @install -d -o root -g wheel -m 0755 ${@D}
X+ install -o root -g wheel -m 0555 $? $@
X+
X+${twelfexecdir}/${heapfile}: ${heapfile}
X+ @install -d -o root -g wheel -m 0755 ${@D}
X+ install -o root -g wheel -m 0444 $? $@
X+
X+.for file in ${infofiles}
X+${infodir}/${file}: doc/info/${file}
X+ ln -s ${twelfsharedir}/$? $@
X+.endfor
X+
X+.for file in ${sharefiles}
X+${twelfsharedir}/${file}: ${file}
X+ @install -d -o root -g wheel -m 0755 ${@D}
X+ install -o root -g wheel -m 0644 $? $@
X+.endfor
X+
X+install: ${installfiles}
X+ install-info ${infodir}/twelf.info ${infodir}/dir
X+
END-of-twelf/files/patch-Makefile
echo x - twelf/files/patch-twelf.info
sed 's/^X//' >twelf/files/patch-twelf.info << 'END-of-twelf/files/patch-twelf.info'
X--- doc/info/twelf.info.orig Sat Jul 9 16:05:36 2005
X+++ doc/info/twelf.info Sat Jul 9 15:52:24 2005
X@@ -1,5 +1,10 @@
X This is twelf.info, produced by makeinfo version 4.2 from twelf.texi.
X
X+INFO-DIR-SECTION Programming
X+START-INFO-DIR-ENTRY
X+* Twelf User Guide: (twelf). The Twelf User's Guide.
X+END-INFO-DIR-ENTRY
X+
X
X Indirect:
X twelf.info-1: 71
END-of-twelf/files/patch-twelf.info
echo x - twelf/pkg-descr
sed 's/^X//' >twelf/pkg-descr << 'END-of-twelf/pkg-descr'
X
XThe Twelf implementation comprises
X
X * the LF logical framework, including type reconstruction;
X * the Elf constraint logic programming language;
X * an inductive meta-theorem prover for LF;
X * and an Emacs interface.
X
XTwelf provides a uniform meta-language for specifying,
Ximplementing, and proving properties of programming languages
Xand logics. Example suites include Cartesian Closed Categories
Xand lambda-calculus, the Church-Rosser theorem for the untyped
Xlambda-calculus, Mini-ML including type preservation and
Xcompilation, cut elimination, theory of logic programming,
Xand Hilbert's deduction theorem.
X
X-- the Twelf home page
X
XWWW: http://www.cs.cmu.edu/~twelf
X
XMaintainer: Andrew Bernard (andrewb@cs.cmu.edu)
X
END-of-twelf/pkg-descr
echo x - twelf/pkg-plist
sed 's/^X//' >twelf/pkg-plist << 'END-of-twelf/pkg-plist'
Xbin/twelf-server
Xlibexec/twelf/bin/.heap/twelf-server.x86-bsd
Xshare/twelf/README
Xshare/twelf/bin/twelf-server
Xshare/twelf/doc/dvi/twelf.dvi
Xshare/twelf/doc/html/index.html
Xshare/twelf/doc/html/twelf_1.html
Xshare/twelf/doc/html/twelf_10.html
Xshare/twelf/doc/html/twelf_11.html
Xshare/twelf/doc/html/twelf_12.html
Xshare/twelf/doc/html/twelf_13.html
Xshare/twelf/doc/html/twelf_14.html
Xshare/twelf/doc/html/twelf_15.html
Xshare/twelf/doc/html/twelf_16.html
Xshare/twelf/doc/html/twelf_17.html
Xshare/twelf/doc/html/twelf_2.html
Xshare/twelf/doc/html/twelf_3.html
Xshare/twelf/doc/html/twelf_4.html
Xshare/twelf/doc/html/twelf_5.html
Xshare/twelf/doc/html/twelf_6.html
Xshare/twelf/doc/html/twelf_7.html
Xshare/twelf/doc/html/twelf_8.html
Xshare/twelf/doc/html/twelf_9.html
Xshare/twelf/doc/html/twelf_toc.html
Xshare/twelf/doc/info/twelf.info
Xshare/twelf/doc/info/twelf.info-1
Xshare/twelf/doc/info/twelf.info-2
Xshare/twelf/doc/info/twelf.info-3
Xshare/twelf/doc/info/twelf.info-4
Xshare/twelf/doc/info/twelf.info-5
Xshare/twelf/doc/pdf/twelf.pdf
Xshare/twelf/doc/ps/twelf.ps
Xshare/twelf/emacs/README
Xshare/twelf/emacs/auc-menu.el
Xshare/twelf/emacs/twelf-font.el
Xshare/twelf/emacs/twelf-hilit.el
Xshare/twelf/emacs/twelf-init.el
Xshare/twelf/emacs/twelf.el
Xshare/twelf/examples/README
Xshare/twelf/examples/arith/README
Xshare/twelf/examples/arith/arith.elf
Xshare/twelf/examples/arith/arith.thm
Xshare/twelf/examples/arith/sources.cfg
Xshare/twelf/examples/arith/test.cfg
Xshare/twelf/examples/ccc/README
Xshare/twelf/examples/ccc/abs-env.elf
Xshare/twelf/examples/ccc/catlem.elf
Xshare/twelf/examples/ccc/ccc.elf
Xshare/twelf/examples/ccc/conc.elf
Xshare/twelf/examples/ccc/conc.thm
Xshare/twelf/examples/ccc/cong.elf
Xshare/twelf/examples/ccc/eqpres1.elf
Xshare/twelf/examples/ccc/eqpres2.elf
Xshare/twelf/examples/ccc/examples.quy
Xshare/twelf/examples/ccc/inv1.elf
Xshare/twelf/examples/ccc/inv2.elf
Xshare/twelf/examples/ccc/lambda.elf
Xshare/twelf/examples/ccc/pf.dvi
Xshare/twelf/examples/ccc/refl.elf
Xshare/twelf/examples/ccc/sources.cfg
Xshare/twelf/examples/ccc/spass.cfg
Xshare/twelf/examples/ccc/spass.elf
Xshare/twelf/examples/ccc/spass.sml
Xshare/twelf/examples/ccc/subext.elf
Xshare/twelf/examples/ccc/test.cfg
Xshare/twelf/examples/church-rosser/README
Xshare/twelf/examples/church-rosser/church-rosser.thm
Xshare/twelf/examples/church-rosser/cr.thm
Xshare/twelf/examples/church-rosser/equiv.elf
Xshare/twelf/examples/church-rosser/examples.quy
Xshare/twelf/examples/church-rosser/lam.elf
Xshare/twelf/examples/church-rosser/ord-cr.elf
Xshare/twelf/examples/church-rosser/ord-lemmas.elf
Xshare/twelf/examples/church-rosser/ord-red.elf
Xshare/twelf/examples/church-rosser/par-cr.elf
Xshare/twelf/examples/church-rosser/par-lemmas.elf
Xshare/twelf/examples/church-rosser/par-red.elf
Xshare/twelf/examples/church-rosser/sources.cfg
Xshare/twelf/examples/church-rosser/test-unsafe.cfg
Xshare/twelf/examples/church-rosser/test.cfg
Xshare/twelf/examples/church-rosser/test.tag
Xshare/twelf/examples/compile/README
Xshare/twelf/examples/compile/cls/cls-complete.elf
Xshare/twelf/examples/compile/cls/cls-sound.elf
Xshare/twelf/examples/compile/cls/cls.elf
Xshare/twelf/examples/compile/cls/compute.elf
Xshare/twelf/examples/compile/cls/debruijn.elf
Xshare/twelf/examples/compile/cls/examples.quy
Xshare/twelf/examples/compile/cls/feval.elf
Xshare/twelf/examples/compile/cls/mini-ml.elf
Xshare/twelf/examples/compile/cls/slow.quy
Xshare/twelf/examples/compile/cls/sources.cfg
Xshare/twelf/examples/compile/cls/test.cfg
Xshare/twelf/examples/compile/cls/trans.elf
Xshare/twelf/examples/compile/cls/trans2.elf
Xshare/twelf/examples/compile/cpm/ceval-complete.elf
Xshare/twelf/examples/compile/cpm/ceval-complete.thm
Xshare/twelf/examples/compile/cpm/ceval-sound.elf
Xshare/twelf/examples/compile/cpm/ceval.elf
Xshare/twelf/examples/compile/cpm/cpm.elf
Xshare/twelf/examples/compile/cpm/evalv.elf
Xshare/twelf/examples/compile/cpm/examples.quy
Xshare/twelf/examples/compile/cpm/mini-mlv.elf
Xshare/twelf/examples/compile/cpm/proof-equiv.elf
Xshare/twelf/examples/compile/cpm/proof-equiv.thm
Xshare/twelf/examples/compile/cpm/slow.quy
Xshare/twelf/examples/compile/cpm/sources.cfg
Xshare/twelf/examples/compile/cpm/test.cfg
Xshare/twelf/examples/compile/cpm/theorems.elf
Xshare/twelf/examples/compile/cpm/theorems.thm
Xshare/twelf/examples/compile/cps/cps-eval.elf
Xshare/twelf/examples/compile/cps/cps.elf
Xshare/twelf/examples/compile/cps/examples.quy
Xshare/twelf/examples/compile/cps/mini-ml.elf
Xshare/twelf/examples/compile/cps/ml-cps.elf
Xshare/twelf/examples/compile/cps/sources.cfg
Xshare/twelf/examples/compile/cps/test.cfg
Xshare/twelf/examples/compile/cxm/evalv.elf
Xshare/twelf/examples/compile/cxm/examples.quy
Xshare/twelf/examples/compile/cxm/mini-mlv.elf
Xshare/twelf/examples/compile/cxm/sources.cfg
Xshare/twelf/examples/compile/cxm/test.cfg
Xshare/twelf/examples/compile/cxm/xeval.elf
Xshare/twelf/examples/compile/debruijn/debruijn.elf
Xshare/twelf/examples/compile/debruijn/eval.elf
Xshare/twelf/examples/compile/debruijn/examples.quy
Xshare/twelf/examples/compile/debruijn/feval.elf
Xshare/twelf/examples/compile/debruijn/map-eval.elf
Xshare/twelf/examples/compile/debruijn/mini-ml.elf
Xshare/twelf/examples/compile/debruijn/sources.cfg
Xshare/twelf/examples/compile/debruijn/test.cfg
Xshare/twelf/examples/compile/debruijn/trans.elf
Xshare/twelf/examples/compile/debruijn/val-lemmas.elf
Xshare/twelf/examples/compile/debruijn/value.elf
Xshare/twelf/examples/compile/debruijn1/debruijn.elf
Xshare/twelf/examples/compile/debruijn1/eval.elf
Xshare/twelf/examples/compile/debruijn1/examples.quy
Xshare/twelf/examples/compile/debruijn1/feval.elf
Xshare/twelf/examples/compile/debruijn1/map-eval.elf
Xshare/twelf/examples/compile/debruijn1/mini-ml.elf
Xshare/twelf/examples/compile/debruijn1/sources.cfg
Xshare/twelf/examples/compile/debruijn1/test.cfg
Xshare/twelf/examples/compile/debruijn1/trans.elf
Xshare/twelf/examples/cpsocc/NOTES
Xshare/twelf/examples/cpsocc/READ.ME
Xshare/twelf/examples/cpsocc/corr.elf
Xshare/twelf/examples/cpsocc/cpsBNF.elf
Xshare/twelf/examples/cpsocc/def1+5+fig4.elf
Xshare/twelf/examples/cpsocc/def13.elf
Xshare/twelf/examples/cpsocc/def16.elf
Xshare/twelf/examples/cpsocc/def3+6+fig5.elf
Xshare/twelf/examples/cpsocc/dsBNF.elf
Xshare/twelf/examples/cpsocc/examples.quy
Xshare/twelf/examples/cpsocc/examples.quy.orig
Xshare/twelf/examples/cpsocc/fig1.elf
Xshare/twelf/examples/cpsocc/fig10.elf
Xshare/twelf/examples/cpsocc/fig11.elf
Xshare/twelf/examples/cpsocc/fig12.elf
Xshare/twelf/examples/cpsocc/fig13.elf
Xshare/twelf/examples/cpsocc/fig7.elf
Xshare/twelf/examples/cpsocc/fig8.elf
Xshare/twelf/examples/cpsocc/fig9.elf
Xshare/twelf/examples/cpsocc/lemma14.elf
Xshare/twelf/examples/cpsocc/lemma17.elf
Xshare/twelf/examples/cpsocc/lemma7.elf
Xshare/twelf/examples/cpsocc/lemma9.elf
Xshare/twelf/examples/cpsocc/th2.elf
Xshare/twelf/examples/cpsocc/load.sml
Xshare/twelf/examples/cpsocc/sources.cfg
Xshare/twelf/examples/cpsocc/test.cfg
Xshare/twelf/examples/cpsocc/test.quy
Xshare/twelf/examples/cpsocc/test.quy.orig
Xshare/twelf/examples/cpsocc/th10.elf
Xshare/twelf/examples/cpsocc/th15.elf
Xshare/twelf/examples/cpsocc/th18.elf
Xshare/twelf/examples/cpsocc/th4.elf
Xshare/twelf/examples/cpsocc/th8.elf
Xshare/twelf/examples/cut-elim/README
Xshare/twelf/examples/cut-elim/cl-admit.elf
Xshare/twelf/examples/cut-elim/cl-cut.elf
Xshare/twelf/examples/cut-elim/cl-elim.elf
Xshare/twelf/examples/cut-elim/cl.elf
Xshare/twelf/examples/cut-elim/cl.thm
Xshare/twelf/examples/cut-elim/examples.quy
Xshare/twelf/examples/cut-elim/formulas.elf
Xshare/twelf/examples/cut-elim/int-admit.elf
Xshare/twelf/examples/cut-elim/int-cut.elf
Xshare/twelf/examples/cut-elim/int-elim.elf
Xshare/twelf/examples/cut-elim/int.elf
Xshare/twelf/examples/cut-elim/int.thm
Xshare/twelf/examples/cut-elim/sources.cfg
Xshare/twelf/examples/cut-elim/test.cfg
Xshare/twelf/examples/fol/README
Xshare/twelf/examples/fol/fol.elf
Xshare/twelf/examples/fol/fol.thm
Xshare/twelf/examples/fol/sources.cfg
Xshare/twelf/examples/fol/test.cfg
Xshare/twelf/examples/guide/arith.elf
Xshare/twelf/examples/guide/lam.elf
Xshare/twelf/examples/guide/lists.elf
Xshare/twelf/examples/guide/nd.elf
Xshare/twelf/examples/guide/sources.cfg
Xshare/twelf/examples/guide/test.cfg
Xshare/twelf/examples/handbook/README
Xshare/twelf/examples/handbook/fol.elf
Xshare/twelf/examples/handbook/sources.cfg
Xshare/twelf/examples/handbook/test.cfg
Xshare/twelf/examples/incll/README
Xshare/twelf/examples/incll/bff-incll.elf
Xshare/twelf/examples/incll/bff-incll.quy
Xshare/twelf/examples/incll/cpm-incll.elf
Xshare/twelf/examples/incll/cpm-incll.quy
Xshare/twelf/examples/incll/incll.elf
Xshare/twelf/examples/incll/iosequents.elf
Xshare/twelf/examples/incll/lists-incll.elf
Xshare/twelf/examples/incll/lists-incll.quy
Xshare/twelf/examples/incll/lists.elf
Xshare/twelf/examples/incll/parse-incll.elf
Xshare/twelf/examples/incll/parse-incll.quy
Xshare/twelf/examples/incll/parse-lolli.elf
Xshare/twelf/examples/incll/parse-lolli.quy
Xshare/twelf/examples/incll/pre-incll.elf
Xshare/twelf/examples/incll/pre-incll.quy
Xshare/twelf/examples/incll/search-incll.elf
Xshare/twelf/examples/incll/search-incll.quy
Xshare/twelf/examples/incll/sort-incll.elf
Xshare/twelf/examples/incll/sort-incll.quy
Xshare/twelf/examples/incll/sources.cfg
Xshare/twelf/examples/incll/test.cfg
Xshare/twelf/examples/kolm/README
Xshare/twelf/examples/kolm/complete.elf
Xshare/twelf/examples/kolm/examples.quy
Xshare/twelf/examples/kolm/fol.elf
Xshare/twelf/examples/kolm/kolmtrans.elf
Xshare/twelf/examples/kolm/nj.elf
Xshare/twelf/examples/kolm/nk.elf
Xshare/twelf/examples/kolm/report.ps
Xshare/twelf/examples/kolm/sound.elf
Xshare/twelf/examples/kolm/sources.cfg
Xshare/twelf/examples/kolm/test.cfg
Xshare/twelf/examples/lp-horn/canon.elf
Xshare/twelf/examples/lp-horn/conv.elf
Xshare/twelf/examples/lp-horn/examples.quy
Xshare/twelf/examples/lp-horn/iscan.elf
Xshare/twelf/examples/lp-horn/natded.elf
Xshare/twelf/examples/lp-horn/sources.cfg
Xshare/twelf/examples/lp-horn/test.cfg
Xshare/twelf/examples/lp-horn/uni-can.elf
Xshare/twelf/examples/lp-horn/uni-can.thm
Xshare/twelf/examples/lp-horn/uni-complete.elf
Xshare/twelf/examples/lp-horn/uni-complete.thm
Xshare/twelf/examples/lp-horn/uni-sound.elf
Xshare/twelf/examples/lp-horn/uni-sound.thm
Xshare/twelf/examples/lp-horn/uniform.elf
Xshare/twelf/examples/lp/canon.elf
Xshare/twelf/examples/lp/cont.elf
Xshare/twelf/examples/lp/conv.elf
Xshare/twelf/examples/lp/examples.elf
Xshare/twelf/examples/lp/examples.quy
Xshare/twelf/examples/lp/fohh-formulas.elf
Xshare/twelf/examples/lp/fohh.elf
Xshare/twelf/examples/lp/iscan.elf
Xshare/twelf/examples/lp/natded.elf
Xshare/twelf/examples/lp/res-complete.elf
Xshare/twelf/examples/lp/res-sound.elf
Xshare/twelf/examples/lp/resolution.elf
Xshare/twelf/examples/lp/sources.cfg
Xshare/twelf/examples/lp/test.cfg
Xshare/twelf/examples/lp/uni-complete.elf
Xshare/twelf/examples/lp/uni-sound.elf
Xshare/twelf/examples/lp/uniform.elf
Xshare/twelf/examples/mini-ml/README
Xshare/twelf/examples/mini-ml/closed.elf
Xshare/twelf/examples/mini-ml/eval.elf
Xshare/twelf/examples/mini-ml/eval1.elf
Xshare/twelf/examples/mini-ml/eval2.elf
Xshare/twelf/examples/mini-ml/examples.quy
Xshare/twelf/examples/mini-ml/examples1.quy
Xshare/twelf/examples/mini-ml/mini-ml.elf
Xshare/twelf/examples/mini-ml/reduce.elf
Xshare/twelf/examples/mini-ml/reduce.thm
Xshare/twelf/examples/mini-ml/sources.cfg
Xshare/twelf/examples/mini-ml/sources1.cfg
Xshare/twelf/examples/mini-ml/test.cfg
Xshare/twelf/examples/mini-ml/tp-preserve.elf
Xshare/twelf/examples/mini-ml/tp-preserve.thm
Xshare/twelf/examples/mini-ml/tp.elf
Xshare/twelf/examples/mini-ml/tpinf.elf
Xshare/twelf/examples/mini-ml/val-sound.elf
Xshare/twelf/examples/mini-ml/val-sound.thm
Xshare/twelf/examples/mini-ml/value.elf
Xshare/twelf/examples/polylam/examples.quy
Xshare/twelf/examples/polylam/polylam.elf
Xshare/twelf/examples/polylam/sources.cfg
Xshare/twelf/examples/polylam/test.cfg
Xshare/twelf/examples/prop-calc/README
Xshare/twelf/examples/prop-calc/equiv.elf
Xshare/twelf/examples/prop-calc/equiv.thm
Xshare/twelf/examples/prop-calc/examples.quy
Xshare/twelf/examples/prop-calc/prop-calc.elf
Xshare/twelf/examples/prop-calc/sources.cfg
Xshare/twelf/examples/prop-calc/test.cfg
Xshare/twelf/examples/tabled/README
Xshare/twelf/examples/tabled/all.sml
Xshare/twelf/examples/tabled/ccc/README
Xshare/twelf/examples/tabled/ccc/ccc.elf
Xshare/twelf/examples/tabled/ccc/tab-examples.quy
Xshare/twelf/examples/tabled/ccc/tab.cfg
Xshare/twelf/examples/tabled/cr/lam.elf
Xshare/twelf/examples/tabled/cr/ord-red.elf
Xshare/twelf/examples/tabled/cr/par-red.elf
Xshare/twelf/examples/tabled/cr/tab-examples.quy
Xshare/twelf/examples/tabled/cr/tab.cfg
Xshare/twelf/examples/tabled/mini-ml/examples.quy
Xshare/twelf/examples/tabled/mini-ml/mini-ml.elf
Xshare/twelf/examples/tabled/mini-ml/programs.elf
Xshare/twelf/examples/tabled/mini-ml/reduce.elf
Xshare/twelf/examples/tabled/mini-ml/tab.cfg
Xshare/twelf/examples/tabled/mini-ml/value.elf
Xshare/twelf/examples/tabled/parsing/arithml.cfg
Xshare/twelf/examples/tabled/parsing/arithml.elf
Xshare/twelf/examples/tabled/parsing/arithml.quy
Xshare/twelf/examples/tabled/parsing/foll.cfg
Xshare/twelf/examples/tabled/parsing/foll.elf
Xshare/twelf/examples/tabled/parsing/foll.quy
Xshare/twelf/examples/tabled/parsing/tab.cfg
Xshare/twelf/examples/tabled/parsing/warren.elf
Xshare/twelf/examples/tabled/poly/mini-ml.elf
Xshare/twelf/examples/tabled/poly/tab-examples.quy
Xshare/twelf/examples/tabled/poly/tab.cfg
Xshare/twelf/examples/tabled/poly/tp.elf
Xshare/twelf/examples/tabled/poly/tpinf.elf
Xshare/twelf/examples/tabled/refine/norefex.quy
Xshare/twelf/examples/tabled/refine/notab.quy
Xshare/twelf/examples/tabled/refine/programs.elf
Xshare/twelf/examples/tabled/refine/refex.elf
Xshare/twelf/examples/tabled/refine/refex.quy
Xshare/twelf/examples/tabled/refine/tab.cfg
Xshare/twelf/examples/tabled/subtype/mini-ml.elf
Xshare/twelf/examples/tabled/subtype/subtype.elf
Xshare/twelf/examples/tabled/subtype/tab-examples.quy
Xshare/twelf/examples/tabled/subtype/tab.cfg
Xshare/twelf/examples/tabled/subtype1/basic.elf
Xshare/twelf/examples/tabled/subtype1/mini-ml.elf
Xshare/twelf/examples/tabled/subtype1/tab-examples.quy
Xshare/twelf/examples/tabled/subtype1/tab.cfg
Xshare/twelf/examples/tabled/tests/tab.cfg
Xshare/twelf/examples/tabled/tests/test1.elf
Xshare/twelf/examples/tabled/tests/test2.elf
Xshare/twelf/examples/tabled/tests/test3.elf
Xshare/twelf/examples/tabled/tests/test4.elf
Xshare/twelf/examples/tabled/tests/test5.elf
Xshare/twelf/examples/tabled/tests/test6.elf
Xshare/twelf/examples/tabled/tests/test7.elf
Xshare/twelf/examples-clp/arith/eval.elf
Xshare/twelf/examples-clp/arith/examples.quy
Xshare/twelf/examples-clp/arith/parse.elf
Xshare/twelf/examples-clp/arith/sources.cfg
Xshare/twelf/examples-clp/arith/test.cfg
Xshare/twelf/examples-clp/base/base.elf
Xshare/twelf/examples-clp/base/examples.quy
Xshare/twelf/examples-clp/base/sources.cfg
Xshare/twelf/examples-clp/base/test.cfg
Xshare/twelf/examples-clp/crypt/crypt.elf
Xshare/twelf/examples-clp/crypt/examples.quy
Xshare/twelf/examples-clp/crypt/sources.cfg
Xshare/twelf/examples-clp/crypt/test.cfg
Xshare/twelf/examples-clp/integers/base.elf
Xshare/twelf/examples-clp/integers/cfract.elf
Xshare/twelf/examples-clp/integers/examples.quy
Xshare/twelf/examples-clp/integers/integers.elf
Xshare/twelf/examples-clp/integers/meta.elf
Xshare/twelf/examples-clp/integers/sources.cfg
Xshare/twelf/examples-clp/integers/test.cfg
Xshare/twelf/examples-clp/laplace/examples.quy
Xshare/twelf/examples-clp/laplace/laplace.elf
Xshare/twelf/examples-clp/laplace/sources.cfg
Xshare/twelf/examples-clp/laplace/test.cfg
Xshare/twelf/examples-clp/lists/examples.quy
Xshare/twelf/examples-clp/lists/lists.elf
Xshare/twelf/examples-clp/lists/sources.cfg
Xshare/twelf/examples-clp/lists/test.cfg
Xshare/twelf/examples-clp/mortgage/examples.quy
Xshare/twelf/examples-clp/mortgage/mortgage.elf
Xshare/twelf/examples-clp/mortgage/sources.cfg
Xshare/twelf/examples-clp/mortgage/test.cfg
Xshare/twelf/examples-clp/pelletier/examples.quy
Xshare/twelf/examples-clp/pelletier/pelletier.elf
Xshare/twelf/examples-clp/pelletier/sources.cfg
Xshare/twelf/examples-clp/pelletier/test.cfg
Xshare/twelf/examples-clp/sieve/examples.quy
Xshare/twelf/examples-clp/sieve/sieve.elf
Xshare/twelf/examples-clp/sieve/sieve2.elf
Xshare/twelf/examples-clp/sieve/sources.cfg
Xshare/twelf/examples-clp/sieve/test.cfg
Xshare/twelf/tex/code.sty
Xshare/twelf/tex/example.tex
Xshare/twelf/tex/twelf.sty
X@dirrm libexec/twelf/bin/.heap
X@dirrm libexec/twelf/bin
X@dirrm libexec/twelf
X@dirrm share/twelf/bin
X@dirrm share/twelf/doc/dvi
X@dirrm share/twelf/doc/html
X@dirrm share/twelf/doc/info
X@dirrm share/twelf/doc/pdf
X@dirrm share/twelf/doc/ps
X@dirrm share/twelf/doc
X@dirrm share/twelf/emacs
X@dirrm share/twelf/examples/arith
X@dirrm share/twelf/examples/ccc
X@dirrm share/twelf/examples/church-rosser
X@dirrm share/twelf/examples/compile/cls
X@dirrm share/twelf/examples/compile/cpm
X@dirrm share/twelf/examples/compile/cps
X@dirrm share/twelf/examples/compile/cxm
X@dirrm share/twelf/examples/compile/debruijn
X@dirrm share/twelf/examples/compile/debruijn1
X@dirrm share/twelf/examples/compile
X@dirrm share/twelf/examples/cpsocc
X@dirrm share/twelf/examples/cut-elim
X@dirrm share/twelf/examples/fol
X@dirrm share/twelf/examples/guide
X@dirrm share/twelf/examples/handbook
X@dirrm share/twelf/examples/incll
X@dirrm share/twelf/examples/kolm
X@dirrm share/twelf/examples/lp-horn
X@dirrm share/twelf/examples/lp
X@dirrm share/twelf/examples/mini-ml
X@dirrm share/twelf/examples/polylam
X@dirrm share/twelf/examples/prop-calc
X@dirrm share/twelf/examples/tabled/ccc
X@dirrm share/twelf/examples/tabled/cr
X@dirrm share/twelf/examples/tabled/mini-ml
X@dirrm share/twelf/examples/tabled/parsing
X@dirrm share/twelf/examples/tabled/poly
X@dirrm share/twelf/examples/tabled/refine
X@dirrm share/twelf/examples/tabled/subtype
X@dirrm share/twelf/examples/tabled/subtype1
X@dirrm share/twelf/examples/tabled/tests
X@dirrm share/twelf/examples/tabled
X@dirrm share/twelf/examples
X@dirrm share/twelf/examples-clp/arith
X@dirrm share/twelf/examples-clp/base
X@dirrm share/twelf/examples-clp/crypt
X@dirrm share/twelf/examples-clp/integers
X@dirrm share/twelf/examples-clp/laplace
X@dirrm share/twelf/examples-clp/lists
X@dirrm share/twelf/examples-clp/mortgage
X@dirrm share/twelf/examples-clp/pelletier
X@dirrm share/twelf/examples-clp/sieve
X@dirrm share/twelf/examples-clp
X@dirrm share/twelf/tex
X@dirrm share/twelf
END-of-twelf/pkg-plist
echo x - twelf/distinfo
sed 's/^X//' >twelf/distinfo << 'END-of-twelf/distinfo'
XMD5 (twelf-1-4.tar.gz) = ba4d2a374242dae6e3c0dada30adeae2
XSIZE (twelf-1-4.tar.gz) = 1463158
END-of-twelf/distinfo
echo x - twelf/Makefile
sed 's/^X//' >twelf/Makefile << 'END-of-twelf/Makefile'
X#
X# Ports makefile for: twelf
X# Date created: 7/8/5
X# Whom: andrewb@cs.cmu.edu
X#
X# $FreeBSD$
X#
X
XPORTNAME= twelf
XPORTVERSION= 1.4
XDISTNAME= twelf-1-4
XCATEGORIES= lang
XMASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
XWRKSRC= ${WRKDIR}/twelf
X
XMAINTAINER= andrewb@cs.cmu.edu
XCOMMENT= A meta-logical framework for deductive systems
X
XRUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj
XBUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj
X
XUSE_REINPLACE= yes
XINFO= twelf
X
Xpost-patch:
X @${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile
X
XRESTRICTED= License is currently indeterminate (expected to be GPL)
X
X.include <bsd.port.mk>
X
END-of-twelf/Makefile
exit
>Release-Note:
>Audit-Trail:
>Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20050806183523.861C243D55>