Attachment #144680 for bug #191758




# $FreeBSD: head/lang/twelf/Makefile 360810 2014-07-05 19:27:03Z olgeni $

PORTNAME=	twelf
PORTVERSION=	1.7.1
CATEGORIES=	lang math
MASTER_SITES=	http://twelf.plparty.org/releases/ \
	http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
DISTNAME=	${PORTNAME}-src-${PORTVERSION}

MAINTAINER=	beyert@cs.ucr.edu
COMMENT=	Meta-logical framework for deductive systems

LICENSE=	BSD2CLAUSE
LICENSE_FILE=	${WRKSRC}/LICENSE

RUN_DEPENDS=	mlton:${PORTSDIR}/lang/mlton
BUILD_DEPENDS=	mlton:${PORTSDIR}/lang/mlton
.elif defined(WITH_SML_NJ_DEVEL)
RUN_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj-devel
BUILD_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj-devel
.else
RUN_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj
BUILD_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj
.endif

USES=	gmake
ALL_TARGET=	mlton
PLIST_FILES=	bin/${PORTNAME}-server
PORTDATA=	emacs examples examples-clp examples-delphin tex vim README
PORTDOCS=	dvi html info pdf ps

.include <bsd.port.options.mk>

.if ${PORT_OPTIONS:MDOCS}
USE_TEX=	tex:build
USES+=	makeinfo
BUILD_DEPENDS+=	texinfo.tex:${PORTSDIR}/print/texinfo
.endif

post-patch:
.if ${PORT_OPTIONS:MDOCS}
	@${REINPLACE_CMD} 's|-number|-number-sections|g' \
		${WRKSRC}/doc/guide/Makefile
	@${REINPLACE_CMD} 's|twelf_\*.html|twelf/\*.html|g' \
		${WRKSRC}/doc/guide/Makefile
.endif

post-build:
.if ${PORT_OPTIONS:MDOCS}
	cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET}
.endif

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/bin/${PORTNAME}-server \
		${STAGEDIR}${PREFIX}/bin
	${MKDIR} ${STAGEDIR}${DATADIR}
	cd ${WRKSRC} && ${COPYTREE_SHARE} "${PORTDATA}" ${STAGEDIR}${DATADIR}
.if ${PORT_OPTIONS:MDOCS}
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
	cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
.endif

WRKSRC=		${WRKDIR}/twelf
INFO=		twelf
	@${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile

.include <bsd.port.mk>

Lines 1-2 Link Here

(-)twelf/distinfo (-2 / +2 lines)
1	SHA256 (twelf-1-5R1.tar.gz) = d20473493cd39e111ce3585f8c32eefc79de4099ae4e97bfe2eb7695d6987564	1	SHA256 (twelf-src-1.7.1.tar.gz) = 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a
2	SIZE (twelf-1-5R1.tar.gz) = 1157430	2	SIZE (twelf-src-1.7.1.tar.gz) = 1147610




--- FreeBSD.mk.orig	2009-02-12 21:33:04.000000000 -0500
+++ FreeBSD.mk	2009-02-12 21:48:54.000000000 -0500
@@ -0,0 +1,82 @@
+# ---------------------------------------------------------------
+# Executables
+# ---------------------------------------------------------------
+
+arch != uname -p
+
+.if ${arch} == "i386"
+smlarch = x86
+.else
+smlarch = ${arch}
+.endif
+
+prefix        = ${PREFIX}
+bindir        = ${prefix}/bin
+infodir       = ${prefix}/info
+twelfexecdir  = ${prefix}/libexec/twelf
+twelfsharedir = ${prefix}/share/twelf
+
+runfile  = bin/twelf-server
+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
+
+# ---------------------------------------------------------------
+# Documentation
+# ---------------------------------------------------------------
+
+htmlnodes = toc abt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+
+dvifile = doc/dvi/twelf.dvi
+htmlfiles := doc/html/index.html ${htmlnodes:%=doc/html/twelf_%.html}
+infofile = doc/info/twelf.info
+pdffile = doc/pdf/twelf.pdf
+psfile = doc/ps/twelf.ps
+
+docfiles = ${dvifile} ${htmlfiles} ${infofile} ${pdffile} ${psfile}
+
+.for file in ${docfiles}
+${file}:
+	(cd doc/guide; make; make install)
+.endfor
+
+all: ${runfile} ${heapfile} ${docfiles}
+
+# ---------------------------------------------------------------
+# Installation
+# ---------------------------------------------------------------
+
+sharefiles != (echo README HISTORY;                            \
+               echo ${docfiles};                               \
+               find emacs        -type f -not -path '*/CVS/*'; \
+               find examples     -type f -not -path '*/CVS/*'; \
+               find examples-clp -type f -not -path '*/CVS/*'; \
+               find exercises    -type f -not -path '*/CVS/*'; \
+               find tex          -type f -not -path '*/CVS/*'; \
+               find vim          -type f -not -path '*/CVS/*' )
+
+installfiles := ${bindir}/twelf-server             \
+                ${twelfsharedir}/${runfile}        \
+                ${twelfexecdir}/${heapfile}        \
+                ${infodir}/twelf.info              \
+                ${sharefiles:%=$(twelfsharedir)/%}
+
+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
+	ln -s $? $@
+
+${twelfsharedir}/${runfile}: ${runfile}
+	@install -d -o root -g wheel -m 0755 ${@D}
+	install -o root -g wheel -m 0555 $? $@
+
+${twelfexecdir}/${heapfile}: ${heapfile}
+	@install -d -o root -g wheel -m 0755 ${@D}
+	install -o root -g wheel -m 0444 $? $@
+
+${infodir}/twelf.info: doc/info/twelf.info
+	install -o root -g wheel -m 0444 $? $@
+
+.for file in ${sharefiles}
+${twelfsharedir}/${file}: ${file}
+	@install -d -o root -g wheel -m 0755 ${@D}
+	install -o root -g wheel -m 0644 $? $@
+.endfor
+
+install: ${installfiles}
--- FreeBSD.mk.orig	2009-02-12 21:33:04.000000000 -0500
+++ FreeBSD.mk	2009-02-12 21:48:54.000000000 -0500
@@ -0,0 +1,82 @@
+# ---------------------------------------------------------------
+# Executables
+# ---------------------------------------------------------------
+
+arch != uname -p
+
+.if ${arch} == "i386"
+smlarch = x86
+.else
+smlarch = ${arch}
+.endif
+
+prefix        = ${PREFIX}
+bindir        = ${prefix}/bin
+infodir       = ${prefix}/info
+twelfexecdir  = ${prefix}/libexec/twelf
+twelfsharedir = ${prefix}/share/twelf
+
+runfile  = bin/twelf-server
+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
+
+# ---------------------------------------------------------------
+# Documentation
+# ---------------------------------------------------------------
+
+htmlnodes = toc abt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+
+dvifile = doc/dvi/twelf.dvi
+htmlfiles := doc/html/index.html ${htmlnodes:%=doc/html/twelf_%.html}
+infofile = doc/info/twelf.info
+pdffile = doc/pdf/twelf.pdf
+psfile = doc/ps/twelf.ps
+
+docfiles = ${dvifile} ${htmlfiles} ${infofile} ${pdffile} ${psfile}
+
+.for file in ${docfiles}
+${file}:
+	(cd doc/guide; make; make install)
+.endfor
+
+all: ${runfile} ${heapfile} ${docfiles}
+
+# ---------------------------------------------------------------
+# Installation
+# ---------------------------------------------------------------
+
+sharefiles != (echo README HISTORY;                            \
+               echo ${docfiles};                               \
+               find emacs        -type f -not -path '*/CVS/*'; \
+               find examples     -type f -not -path '*/CVS/*'; \
+               find examples-clp -type f -not -path '*/CVS/*'; \
+               find exercises    -type f -not -path '*/CVS/*'; \
+               find tex          -type f -not -path '*/CVS/*'; \
+               find vim          -type f -not -path '*/CVS/*' )
+
+installfiles := ${bindir}/twelf-server             \
+                ${twelfsharedir}/${runfile}        \
+                ${twelfexecdir}/${heapfile}        \
+                ${infodir}/twelf.info              \
+                ${sharefiles:%=$(twelfsharedir)/%}
+
+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
+	ln -s $? $@
+
+${twelfsharedir}/${runfile}: ${runfile}
+	@install -d -o root -g wheel -m 0755 ${@D}
+	install -o root -g wheel -m 0555 $? $@
+
+${twelfexecdir}/${heapfile}: ${heapfile}
+	@install -d -o root -g wheel -m 0755 ${@D}
+	install -o root -g wheel -m 0444 $? $@
+
+${infodir}/twelf.info: doc/info/twelf.info
+	install -o root -g wheel -m 0444 $? $@
+
+.for file in ${sharefiles}
+${twelfsharedir}/${file}: ${file}
+	@install -d -o root -g wheel -m 0755 ${@D}
+	install -o root -g wheel -m 0644 $? $@
+.endfor
+
+install: ${installfiles}

Lines 1-26 Link Here

(-)twelf/files/patch-Makefile (-26 lines)
1	--- Makefile.orig 2005-03-08 15:49:53.000000000 -0500
2	+++ Makefile 2009-02-12 22:07:33.000000000 -0500
3	@@ -32,16 +32,20 @@
4	version = "1.5"
5	delphinversion = "0.1"
6
7	+.include "FreeBSD.mk"
8	+
9	default : twelf-server twelf-emacs
10
11	-all : twelf-server twelf-sml twelf-emacs
12	+#all : twelf-server twelf-sml twelf-emacs
13
14	-twelf-server: ;
15	+${runfile}: ;
16	@echo "*************************************************"
17	@echo "Twelf $(version): Server"
18	@echo "*************************************************"
19	$(sml) < twelf-server.sml ;
20	- bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" ;
21	+ bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" "$(twelfexecdir)" ;
22	+
23	+${heapfile}: ${runfile}
24
25	twelf-sml: ;
26	@echo "*************************************************"




--- bin/.mkexec.orig	2003-01-21 01:03:32.000000000 -0500
+++ bin/.mkexec	2009-02-12 21:24:27.000000000 -0500
@@ -7,8 +7,9 @@
 # $2 = Twelf root directory
 # $3 = Type of executable (e.g. twelf-server, twelf-sml)
 # $4 = Name of executable (e.g. twelf-server, twelf-sml)
+# $5 = Twelf installation directory (e.g. /usr/local/libexec/twelf)
 cat > "$2/bin/$4" <<EOF
 #! /bin/sh
-exec "$1" @SMLload="$2/bin/.heap/$3" @SMLdebug=/dev/null
+exec "$1" @SMLload="$5/bin/.heap/$3" @SMLdebug=/dev/null
 EOF
 chmod a+x "$2/bin/$4"

Lines 1-11 Link Here

(-)twelf/files/patch-doc-guide-Makefile (-11 lines)
1	--- doc/guide/Makefile.orig 2009-02-08 13:47:36.000000000 -0500
2	+++ doc/guide/Makefile 2009-02-08 13:23:38.000000000 -0500
3	@@ -39,7 +39,7 @@
4	twelf_toc.html : twelf.texi;
5	@echo "---------- Creating HTML: twelf_*.html"
6	$(texi2html) -menu -number -split_chapter twelf.texi;
7	- $(texi2html) -check *.html;
8	+# $(texi2html) -check *.html;
9
10	twelf.pdf : twelf.texi;
11	@echo "---------- Creating unindexed PDF: twelf.pdf"




--- doc/guide/twelf.texi.orig	2009-02-08 18:21:50.000000000 -0500
+++ doc/guide/twelf.texi	2009-02-08 18:23:11.000000000 -0500
@@ -12,6 +12,11 @@
 @syncodeindex fn cp
 @c %**end of header
 
+@dircategory Programming
+@direntry
+* Twelf User Guide: (twelf).   The Twelf User's Guide.
+@end direntry
+
 @titlepage
 @title Twelf User's Guide
 @subtitle Version @value{VERSION}

Lines 1-30 Link Here

(-)twelf/files/patch-mlton-Makefile (-30 lines)
1	--- mlton/Makefile.orig 2004-11-12 14:10:27.000000000 -0500
2	+++ mlton/Makefile 2009-02-12 22:40:25.000000000 -0500
3	@@ -28,11 +28,13 @@
4	version = "1.5"
5	delphinversion = "0.1"
6
7	+.include "FreeBSD.mk"
8	+
9	default : twelf-server twelf-emacs
10
11	-all : twelf-server twelf-emacs
12	+#all : twelf-server twelf-emacs
13
14	-twelf-server: ;
15	+${runfile}: ;
16	@echo "*************************************************"
17	@echo "Twelf $(version): Server"
18	@echo "*************************************************"
19	@@ -47,7 +49,10 @@
20	cmfileid="-97"; \
21	fi; \
22	$(sml) mlton/twelf-server$${cmfileid}.cm ; \
23	- mv mlton/twelf-server$${cmfileid} bin/$(twelfserver)
24	+ mv mlton/twelf-server$${cmfileid} ${runfile}
25	+
26	+${heapfile}:
27	+ touch ${heapfile}
28
29	twelf-sml: ;
30	@echo "*************************************************"

Lines 1-26 Link Here

(-)twelf/files/patch-smlnj-Makefile (-26 lines)
1	--- smlnj/Makefile.orig 2003-10-17 23:35:23.000000000 -0400
2	+++ smlnj/Makefile 2009-02-12 22:22:57.000000000 -0500
3	@@ -32,16 +32,20 @@
4	version = "1.5"
5	delphinversion = "0.1"
6
7	+.include "FreeBSD.mk"
8	+
9	default : twelf-server twelf-emacs
10
11	-all : twelf-server twelf-sml twelf-emacs
12	+#all : twelf-server twelf-sml twelf-emacs
13
14	-twelf-server: ;
15	+${runfile}: ;
16	@echo "*************************************************"
17	@echo "Twelf $(version): Server"
18	@echo "*************************************************"
19	$(sml) < smlnj/twelf-server.sml ;
20	- bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" ;
21	+ bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" "$(twelfexecdir)" ;
22	+
23	+${heapfile}: ${runfile}
24
25	twelf-sml: ;
26	@echo "*************************************************"




bin/twelf-server
libexec/twelf/bin/.heap/twelf-server.x86-bsd
share/twelf/bin/twelf-server
share/twelf/README
share/twelf/HISTORY
share/twelf/doc/dvi/twelf.dvi
share/twelf/doc/html/index.html
share/twelf/doc/html/twelf_toc.html
share/twelf/doc/html/twelf_abt.html
share/twelf/doc/html/twelf_1.html
share/twelf/doc/html/twelf_2.html
share/twelf/doc/html/twelf_3.html
share/twelf/doc/html/twelf_4.html
share/twelf/doc/html/twelf_5.html
share/twelf/doc/html/twelf_6.html
share/twelf/doc/html/twelf_7.html
share/twelf/doc/html/twelf_8.html
share/twelf/doc/html/twelf_9.html
share/twelf/doc/html/twelf_10.html
share/twelf/doc/html/twelf_11.html
share/twelf/doc/html/twelf_12.html
share/twelf/doc/html/twelf_13.html
share/twelf/doc/html/twelf_14.html
share/twelf/doc/html/twelf_15.html
share/twelf/doc/html/twelf_16.html
share/twelf/doc/html/twelf_17.html
share/twelf/doc/html/twelf_18.html
share/twelf/doc/html/twelf_19.html
share/twelf/doc/html/twelf_20.html
share/twelf/doc/info/twelf.info
share/twelf/doc/pdf/twelf.pdf
share/twelf/doc/ps/twelf.ps
share/twelf/emacs/.cvsignore
share/twelf/emacs/README
share/twelf/emacs/auc-menu.el
share/twelf/emacs/twelf-font.el
share/twelf/emacs/twelf-hilit.el
share/twelf/emacs/twelf-init.el
share/twelf/emacs/twelf.el
share/twelf/examples/arith/arith.elf
share/twelf/examples/arith/README
share/twelf/examples/arith/arith.thm
share/twelf/examples/arith/sources.cfg
share/twelf/examples/arith/test.cfg
share/twelf/examples/README
share/twelf/examples/ccc/abs-env.elf
share/twelf/examples/ccc/README
share/twelf/examples/ccc/catlem.elf
share/twelf/examples/ccc/ccc.elf
share/twelf/examples/ccc/conc.elf
share/twelf/examples/ccc/conc.thm
share/twelf/examples/ccc/cong.elf
share/twelf/examples/ccc/eqpres1.elf
share/twelf/examples/ccc/eqpres2.elf
share/twelf/examples/ccc/examples.quy
share/twelf/examples/ccc/inv1.elf
share/twelf/examples/ccc/inv2.elf
share/twelf/examples/ccc/lambda.elf
share/twelf/examples/ccc/pf.dvi
share/twelf/examples/ccc/refl.elf
share/twelf/examples/ccc/sources.cfg
share/twelf/examples/ccc/spass.cfg
share/twelf/examples/ccc/spass.elf
share/twelf/examples/ccc/spass.sml
share/twelf/examples/ccc/subext.elf
share/twelf/examples/ccc/test.cfg
share/twelf/examples/church-rosser/equiv.elf
share/twelf/examples/church-rosser/README
share/twelf/examples/church-rosser/cr.thm
share/twelf/examples/church-rosser/church-rosser.thm
share/twelf/examples/church-rosser/examples.quy
share/twelf/examples/church-rosser/lam.elf
share/twelf/examples/church-rosser/ord-cr.elf
share/twelf/examples/church-rosser/ord-lemmas.elf
share/twelf/examples/church-rosser/ord-red.elf
share/twelf/examples/church-rosser/par-cr.elf
share/twelf/examples/church-rosser/par-lemmas.elf
share/twelf/examples/church-rosser/par-red.elf
share/twelf/examples/church-rosser/sources.cfg
share/twelf/examples/church-rosser/test-unsafe.cfg
share/twelf/examples/church-rosser/test.cfg
share/twelf/examples/church-rosser/test.tag
share/twelf/examples/compile/cls/cls-complete.elf
share/twelf/examples/compile/cls/cls-sound.elf
share/twelf/examples/compile/cls/cls.elf
share/twelf/examples/compile/cls/compute.elf
share/twelf/examples/compile/cls/debruijn.elf
share/twelf/examples/compile/cls/examples.quy
share/twelf/examples/compile/cls/feval.elf
share/twelf/examples/compile/cls/mini-ml.elf
share/twelf/examples/compile/cls/slow.quy
share/twelf/examples/compile/cls/sources.cfg
share/twelf/examples/compile/cls/test.cfg
share/twelf/examples/compile/cls/trans.elf
share/twelf/examples/compile/cls/trans2.elf
share/twelf/examples/compile/README
share/twelf/examples/compile/cpm/ceval-complete.elf
share/twelf/examples/compile/cpm/ceval-complete.thm
share/twelf/examples/compile/cpm/ceval-sound.elf
share/twelf/examples/compile/cpm/ceval.elf
share/twelf/examples/compile/cpm/cpm.elf
share/twelf/examples/compile/cpm/evalv.elf
share/twelf/examples/compile/cpm/examples.quy
share/twelf/examples/compile/cpm/mini-mlv.elf
share/twelf/examples/compile/cpm/proof-equiv.elf
share/twelf/examples/compile/cpm/proof-equiv.thm
share/twelf/examples/compile/cpm/slow.quy
share/twelf/examples/compile/cpm/sources.cfg
share/twelf/examples/compile/cpm/test.cfg
share/twelf/examples/compile/cpm/theorems.elf
share/twelf/examples/compile/cpm/theorems.thm
share/twelf/examples/compile/cps/cps-eval.elf
share/twelf/examples/compile/cps/cps.elf
share/twelf/examples/compile/cps/examples.quy
share/twelf/examples/compile/cps/mini-ml.elf
share/twelf/examples/compile/cps/ml-cps.elf
share/twelf/examples/compile/cps/sources.cfg
share/twelf/examples/compile/cps/test.cfg
share/twelf/examples/compile/cxm/evalv.elf
share/twelf/examples/compile/cxm/examples.quy
share/twelf/examples/compile/cxm/mini-mlv.elf
share/twelf/examples/compile/cxm/sources.cfg
share/twelf/examples/compile/cxm/test.cfg
share/twelf/examples/compile/cxm/xeval.elf
share/twelf/examples/compile/debruijn/debruijn.elf
share/twelf/examples/compile/debruijn/eval.elf
share/twelf/examples/compile/debruijn/examples.quy
share/twelf/examples/compile/debruijn/feval.elf
share/twelf/examples/compile/debruijn/map-eval.elf
share/twelf/examples/compile/debruijn/mini-ml.elf
share/twelf/examples/compile/debruijn/sources.cfg
share/twelf/examples/compile/debruijn/test.cfg
share/twelf/examples/compile/debruijn/trans.elf
share/twelf/examples/compile/debruijn/val-lemmas.elf
share/twelf/examples/compile/debruijn/value.elf
share/twelf/examples/compile/debruijn1/debruijn.elf
share/twelf/examples/compile/debruijn1/eval.elf
share/twelf/examples/compile/debruijn1/examples.quy
share/twelf/examples/compile/debruijn1/feval.elf
share/twelf/examples/compile/debruijn1/map-eval.elf
share/twelf/examples/compile/debruijn1/mini-ml.elf
share/twelf/examples/compile/debruijn1/sources.cfg
share/twelf/examples/compile/debruijn1/test.cfg
share/twelf/examples/compile/debruijn1/trans.elf
share/twelf/examples/cpsocc/corr.elf
share/twelf/examples/cpsocc/NOTES
share/twelf/examples/cpsocc/READ.ME
share/twelf/examples/cpsocc/cpsBNF.elf
share/twelf/examples/cpsocc/def1+5+fig4.elf
share/twelf/examples/cpsocc/def13.elf
share/twelf/examples/cpsocc/def16.elf
share/twelf/examples/cpsocc/def3+6+fig5.elf
share/twelf/examples/cpsocc/dsBNF.elf
share/twelf/examples/cpsocc/examples.quy
share/twelf/examples/cpsocc/examples.quy.orig
share/twelf/examples/cpsocc/fig1.elf
share/twelf/examples/cpsocc/fig10.elf
share/twelf/examples/cpsocc/fig11.elf
share/twelf/examples/cpsocc/fig12.elf
share/twelf/examples/cpsocc/fig13.elf
share/twelf/examples/cpsocc/fig7.elf
share/twelf/examples/cpsocc/fig8.elf
share/twelf/examples/cpsocc/fig9.elf
share/twelf/examples/cpsocc/lemma14.elf
share/twelf/examples/cpsocc/lemma17.elf
share/twelf/examples/cpsocc/lemma7.elf
share/twelf/examples/cpsocc/lemma9.elf
share/twelf/examples/cpsocc/th2.elf
share/twelf/examples/cpsocc/load.sml
share/twelf/examples/cpsocc/sources.cfg
share/twelf/examples/cpsocc/test.cfg
share/twelf/examples/cpsocc/test.quy
share/twelf/examples/cpsocc/test.quy.orig
share/twelf/examples/cpsocc/th10.elf
share/twelf/examples/cpsocc/th15.elf
share/twelf/examples/cpsocc/th18.elf
share/twelf/examples/cpsocc/th4.elf
share/twelf/examples/cpsocc/th8.elf
share/twelf/examples/cut-elim/cl-admit.elf
share/twelf/examples/cut-elim/README
share/twelf/examples/cut-elim/cl-cut.elf
share/twelf/examples/cut-elim/cl-elim.elf
share/twelf/examples/cut-elim/cl.elf
share/twelf/examples/cut-elim/cl.thm
share/twelf/examples/cut-elim/examples.quy
share/twelf/examples/cut-elim/formulas.elf
share/twelf/examples/cut-elim/int-admit.elf
share/twelf/examples/cut-elim/int-cut.elf
share/twelf/examples/cut-elim/int-elim.elf
share/twelf/examples/cut-elim/int.elf
share/twelf/examples/cut-elim/int.thm
share/twelf/examples/cut-elim/sources.cfg
share/twelf/examples/cut-elim/test.cfg
share/twelf/examples/fol/sources.cfg
share/twelf/examples/fol/README
share/twelf/examples/fol/fol.elf
share/twelf/examples/fol/fol.thm
share/twelf/examples/fol/test.cfg
share/twelf/examples/guide/arith.elf
share/twelf/examples/guide/lam.elf
share/twelf/examples/guide/lists.elf
share/twelf/examples/guide/nd.elf
share/twelf/examples/guide/sources.cfg
share/twelf/examples/guide/test.cfg
share/twelf/examples/handbook/sources.cfg
share/twelf/examples/handbook/README
share/twelf/examples/handbook/fol.elf
share/twelf/examples/handbook/test.cfg
share/twelf/examples/incll/incll.elf
share/twelf/examples/incll/README
share/twelf/examples/incll/bff-incll.elf
share/twelf/examples/incll/bff-incll.quy
share/twelf/examples/incll/cpm-incll.elf
share/twelf/examples/incll/cpm-incll.quy
share/twelf/examples/incll/iosequents.elf
share/twelf/examples/incll/lists-incll.elf
share/twelf/examples/incll/lists-incll.quy
share/twelf/examples/incll/lists.elf
share/twelf/examples/incll/parse-incll.elf
share/twelf/examples/incll/parse-incll.quy
share/twelf/examples/incll/parse-lolli.elf
share/twelf/examples/incll/parse-lolli.quy
share/twelf/examples/incll/pre-incll.elf
share/twelf/examples/incll/pre-incll.quy
share/twelf/examples/incll/search-incll.elf
share/twelf/examples/incll/search-incll.quy
share/twelf/examples/incll/sort-incll.elf
share/twelf/examples/incll/sort-incll.quy
share/twelf/examples/incll/sources.cfg
share/twelf/examples/incll/test.cfg
share/twelf/examples/kolm/complete.elf
share/twelf/examples/kolm/README
share/twelf/examples/kolm/examples.quy
share/twelf/examples/kolm/fol.elf
share/twelf/examples/kolm/kolmtrans.elf
share/twelf/examples/kolm/nj.elf
share/twelf/examples/kolm/nk.elf
share/twelf/examples/kolm/report.ps
share/twelf/examples/kolm/sound.elf
share/twelf/examples/kolm/sources.cfg
share/twelf/examples/kolm/test.cfg
share/twelf/examples/lp/canon.elf
share/twelf/examples/lp/cont.elf
share/twelf/examples/lp/conv.elf
share/twelf/examples/lp/examples.elf
share/twelf/examples/lp/examples.quy
share/twelf/examples/lp/fohh-formulas.elf
share/twelf/examples/lp/fohh.elf
share/twelf/examples/lp/iscan.elf
share/twelf/examples/lp/natded.elf
share/twelf/examples/lp/res-complete.elf
share/twelf/examples/lp/res-sound.elf
share/twelf/examples/lp/resolution.elf
share/twelf/examples/lp/sources.cfg
share/twelf/examples/lp/test.cfg
share/twelf/examples/lp/uni-complete.elf
share/twelf/examples/lp/uni-sound.elf
share/twelf/examples/lp/uniform.elf
share/twelf/examples/lp-horn/canon.elf
share/twelf/examples/lp-horn/conv.elf
share/twelf/examples/lp-horn/examples.quy
share/twelf/examples/lp-horn/iscan.elf
share/twelf/examples/lp-horn/natded.elf
share/twelf/examples/lp-horn/sources.cfg
share/twelf/examples/lp-horn/test.cfg
share/twelf/examples/lp-horn/uni-can.elf
share/twelf/examples/lp-horn/uni-can.thm
share/twelf/examples/lp-horn/uni-complete.elf
share/twelf/examples/lp-horn/uni-complete.thm
share/twelf/examples/lp-horn/uni-sound.elf
share/twelf/examples/lp-horn/uni-sound.thm
share/twelf/examples/lp-horn/uniform.elf
share/twelf/examples/mini-ml/closed.elf
share/twelf/examples/mini-ml/README
share/twelf/examples/mini-ml/eval.elf
share/twelf/examples/mini-ml/eval1.elf
share/twelf/examples/mini-ml/eval2.elf
share/twelf/examples/mini-ml/examples.quy
share/twelf/examples/mini-ml/examples1.quy
share/twelf/examples/mini-ml/mini-ml.elf
share/twelf/examples/mini-ml/reduce.elf
share/twelf/examples/mini-ml/reduce.thm
share/twelf/examples/mini-ml/sources.cfg
share/twelf/examples/mini-ml/sources1.cfg
share/twelf/examples/mini-ml/test.cfg
share/twelf/examples/mini-ml/tp-preserve.elf
share/twelf/examples/mini-ml/tp-preserve.thm
share/twelf/examples/mini-ml/tp.elf
share/twelf/examples/mini-ml/tpinf.elf
share/twelf/examples/mini-ml/val-sound.elf
share/twelf/examples/mini-ml/val-sound.thm
share/twelf/examples/mini-ml/value.elf
share/twelf/examples/polylam/examples.quy
share/twelf/examples/polylam/polylam.elf
share/twelf/examples/polylam/sources.cfg
share/twelf/examples/polylam/test.cfg
share/twelf/examples/prop-calc/equiv.elf
share/twelf/examples/prop-calc/README
share/twelf/examples/prop-calc/equiv.thm
share/twelf/examples/prop-calc/examples.quy
share/twelf/examples/prop-calc/nd.elf
share/twelf/examples/prop-calc/nd.tex
share/twelf/examples/prop-calc/ndclass.elf
share/twelf/examples/prop-calc/prop-calc-solution.elf
share/twelf/examples/prop-calc/prop-calc.elf
share/twelf/examples/prop-calc/sources.cfg
share/twelf/examples/prop-calc/test.cfg
share/twelf/examples/prop-calc/thm1.elf
share/twelf/examples/prop-calc/thm2.elf
share/twelf/examples/prop-calc/thm3.elf
share/twelf/examples/tabled/ccc/README
share/twelf/examples/tabled/ccc/ccc.elf
share/twelf/examples/tabled/ccc/tab.cfg
share/twelf/examples/tabled/ccc/tab-examples.quy
share/twelf/examples/tabled/README
share/twelf/examples/tabled/all.sml
share/twelf/examples/tabled/cr/ord-red.elf
share/twelf/examples/tabled/cr/lam.elf
share/twelf/examples/tabled/cr/par-red.elf
share/twelf/examples/tabled/cr/tab-examples.quy
share/twelf/examples/tabled/cr/tab.cfg
share/twelf/examples/tabled/mini-ml/examples.quy
share/twelf/examples/tabled/mini-ml/mini-ml.elf
share/twelf/examples/tabled/mini-ml/programs.elf
share/twelf/examples/tabled/mini-ml/reduce.elf
share/twelf/examples/tabled/mini-ml/tab.cfg
share/twelf/examples/tabled/mini-ml/value.elf
share/twelf/examples/tabled/parsing/arithml.cfg
share/twelf/examples/tabled/parsing/arithml.elf
share/twelf/examples/tabled/parsing/arithml.quy
share/twelf/examples/tabled/parsing/foll.cfg
share/twelf/examples/tabled/parsing/foll.elf
share/twelf/examples/tabled/parsing/foll.quy
share/twelf/examples/tabled/parsing/tab.cfg
share/twelf/examples/tabled/parsing/warren.elf
share/twelf/examples/tabled/poly/mini-ml.elf
share/twelf/examples/tabled/poly/tab-examples.quy
share/twelf/examples/tabled/poly/tab.cfg
share/twelf/examples/tabled/poly/tp.elf
share/twelf/examples/tabled/poly/tpinf.elf
share/twelf/examples/tabled/refine/norefex.quy
share/twelf/examples/tabled/refine/notab.quy
share/twelf/examples/tabled/refine/programs.elf
share/twelf/examples/tabled/refine/refex.elf
share/twelf/examples/tabled/refine/refex.quy
share/twelf/examples/tabled/refine/tab.cfg
share/twelf/examples/tabled/seqCalc/focus.elf
share/twelf/examples/tabled/seqCalc/foc.cfg
share/twelf/examples/tabled/seqCalc/fol-int-at.elf
share/twelf/examples/tabled/seqCalc/formulas.elf
share/twelf/examples/tabled/seqCalc/int-atom.elf
share/twelf/examples/tabled/seqCalc/int.elf
share/twelf/examples/tabled/seqCalc/sources.cfg
share/twelf/examples/tabled/seqCalc/tab-at.cfg
share/twelf/examples/tabled/seqCalc/tab-ex-all.quy
share/twelf/examples/tabled/seqCalc/tab-ex-np.quy
share/twelf/examples/tabled/seqCalc/tab-foc-all.quy
share/twelf/examples/tabled/seqCalc/tab-fol.cfg
share/twelf/examples/tabled/seqCalc/tab.cfg
share/twelf/examples/tabled/subtype/mini-ml.elf
share/twelf/examples/tabled/subtype/subtype.elf
share/twelf/examples/tabled/subtype/tab-examples.quy
share/twelf/examples/tabled/subtype/tab.cfg
share/twelf/examples/tabled/subtype1/basic.elf
share/twelf/examples/tabled/subtype1/mini-ml.elf
share/twelf/examples/tabled/subtype1/tab-examples.quy
share/twelf/examples/tabled/subtype1/tab.cfg
share/twelf/examples/tabled/tests/test1.elf
share/twelf/examples/tabled/tests/tab.cfg
share/twelf/examples/tabled/tests/test2.elf
share/twelf/examples/tabled/tests/test3.elf
share/twelf/examples/tabled/tests/test4.elf
share/twelf/examples/tabled/tests/test5.elf
share/twelf/examples/tabled/tests/test6.elf
share/twelf/examples/tabled/tests/test7.elf
share/twelf/examples-clp/arith/eval.elf
share/twelf/examples-clp/arith/examples.quy
share/twelf/examples-clp/arith/parse.elf
share/twelf/examples-clp/arith/sources.cfg
share/twelf/examples-clp/arith/test.cfg
share/twelf/examples-clp/base/base.elf
share/twelf/examples-clp/base/examples.quy
share/twelf/examples-clp/base/sources.cfg
share/twelf/examples-clp/base/test.cfg
share/twelf/examples-clp/crypt/crypt.elf
share/twelf/examples-clp/crypt/examples.quy
share/twelf/examples-clp/crypt/sources.cfg
share/twelf/examples-clp/crypt/test.cfg
share/twelf/examples-clp/integers/base.elf
share/twelf/examples-clp/integers/cfract.elf
share/twelf/examples-clp/integers/examples.quy
share/twelf/examples-clp/integers/integers.elf
share/twelf/examples-clp/integers/meta.elf
share/twelf/examples-clp/integers/sources.cfg
share/twelf/examples-clp/integers/test.cfg
share/twelf/examples-clp/laplace/examples.quy
share/twelf/examples-clp/laplace/laplace.elf
share/twelf/examples-clp/laplace/sources.cfg
share/twelf/examples-clp/laplace/test.cfg
share/twelf/examples-clp/lists/examples.quy
share/twelf/examples-clp/lists/lists.elf
share/twelf/examples-clp/lists/sources.cfg
share/twelf/examples-clp/lists/test.cfg
share/twelf/examples-clp/mortgage/examples.quy
share/twelf/examples-clp/mortgage/mortgage.elf
share/twelf/examples-clp/mortgage/sources.cfg
share/twelf/examples-clp/mortgage/test.cfg
share/twelf/examples-clp/pelletier/examples.quy
share/twelf/examples-clp/pelletier/pelletier.elf
share/twelf/examples-clp/pelletier/sources.cfg
share/twelf/examples-clp/pelletier/test.cfg
share/twelf/examples-clp/sieve/examples.quy
share/twelf/examples-clp/sieve/sieve.elf
share/twelf/examples-clp/sieve/sieve2.elf
share/twelf/examples-clp/sieve/sources.cfg
share/twelf/examples-clp/sieve/test.cfg
share/twelf/exercises/opt-eval/eval.elf
share/twelf/exercises/opt-eval/README
share/twelf/exercises/opt-eval/examples.quy
share/twelf/exercises/opt-eval/mini-ml.elf
share/twelf/exercises/opt-eval/opt-equiv1.elf
share/twelf/exercises/opt-eval/opt-equiv1.thm
share/twelf/exercises/opt-eval/opt-equiv2.elf
share/twelf/exercises/opt-eval/opt-equiv2.thm
share/twelf/exercises/opt-eval/opt-eval.elf
share/twelf/exercises/opt-eval/opt-mini-ml.elf
share/twelf/exercises/opt-eval/opt-rep1.elf
share/twelf/exercises/opt-eval/opt-rep2.elf
share/twelf/exercises/opt-eval/sources.cfg
share/twelf/exercises/opt-eval/test.cfg
share/twelf/exercises/README
share/twelf/exercises/units/eqtypes.elf
share/twelf/exercises/units/NOTES
share/twelf/exercises/units/README
share/twelf/exercises/units/constants.elf
share/twelf/exercises/units/eqtype-lemmas.elf
share/twelf/exercises/units/equnits-alg.elf
share/twelf/exercises/units/equnits-sound.elf
share/twelf/exercises/units/equnits.elf
share/twelf/exercises/units/eval.elf
share/twelf/exercises/units/examples.quy
share/twelf/exercises/units/language.elf
share/twelf/exercises/units/number.elf
share/twelf/exercises/units/sources.cfg
share/twelf/exercises/units/test.cfg
share/twelf/exercises/units/tp-complete.elf
share/twelf/exercises/units/tp-inf.elf
share/twelf/exercises/units/tp-preserve.elf
share/twelf/exercises/units/tp-rules.elf
share/twelf/exercises/units/tp-sound.elf
share/twelf/exercises/units/types.elf
share/twelf/exercises/units/units.elf
share/twelf/exercises/units/value.elf
share/twelf/tex/code.sty
share/twelf/tex/example.tex
share/twelf/tex/twelf.sty
share/twelf/vim/filetype.vim
share/twelf/vim/README
share/twelf/vim/syntax/twelf.vim
@dirrm libexec/twelf/bin/.heap
@dirrm libexec/twelf/bin
@dirrm libexec/twelf
@dirrm share/twelf/bin
@dirrm share/twelf/doc/dvi
@dirrm share/twelf/doc/html
@dirrm share/twelf/doc/info
@dirrm share/twelf/doc/pdf
@dirrm share/twelf/doc/ps
@dirrm share/twelf/doc
@dirrm share/twelf/emacs
@dirrm share/twelf/examples/arith
@dirrm share/twelf/examples/ccc
@dirrm share/twelf/examples/church-rosser
@dirrm share/twelf/examples/compile/cls
@dirrm share/twelf/examples/compile/cpm
@dirrm share/twelf/examples/compile/cps
@dirrm share/twelf/examples/compile/cxm
@dirrm share/twelf/examples/compile/debruijn
@dirrm share/twelf/examples/compile/debruijn1
@dirrm share/twelf/examples/compile
@dirrm share/twelf/examples/cpsocc
@dirrm share/twelf/examples/cut-elim
@dirrm share/twelf/examples/fol
@dirrm share/twelf/examples/guide
@dirrm share/twelf/examples/handbook
@dirrm share/twelf/examples/incll
@dirrm share/twelf/examples/kolm
@dirrm share/twelf/examples/lp-horn
@dirrm share/twelf/examples/lp
@dirrm share/twelf/examples/mini-ml
@dirrm share/twelf/examples/polylam
@dirrm share/twelf/examples/prop-calc
@dirrm share/twelf/examples/tabled/ccc
@dirrm share/twelf/examples/tabled/cr
@dirrm share/twelf/examples/tabled/mini-ml
@dirrm share/twelf/examples/tabled/parsing
@dirrm share/twelf/examples/tabled/poly
@dirrm share/twelf/examples/tabled/refine
@dirrm share/twelf/examples/tabled/seqCalc
@dirrm share/twelf/examples/tabled/subtype
@dirrm share/twelf/examples/tabled/subtype1
@dirrm share/twelf/examples/tabled/tests
@dirrm share/twelf/examples/tabled
@dirrm share/twelf/examples
@dirrm share/twelf/examples-clp/arith
@dirrm share/twelf/examples-clp/base
@dirrm share/twelf/examples-clp/crypt
@dirrm share/twelf/examples-clp/integers
@dirrm share/twelf/examples-clp/laplace
@dirrm share/twelf/examples-clp/lists
@dirrm share/twelf/examples-clp/mortgage
@dirrm share/twelf/examples-clp/pelletier
@dirrm share/twelf/examples-clp/sieve
@dirrm share/twelf/examples-clp
@dirrm share/twelf/exercises/opt-eval
@dirrm share/twelf/exercises/units
@dirrm share/twelf/exercises
@dirrm share/twelf/tex
@dirrm share/twelf/vim/syntax
@dirrm share/twelf/vim
@dirrm share/twelf

Return to bug 191758

Lines 2-42 Link Here

(-)twelf/Makefile (-24 / +42 lines)
2	# $FreeBSD: head/lang/twelf/Makefile 360810 2014-07-05 19:27:03Z olgeni $	2	# $FreeBSD: head/lang/twelf/Makefile 360810 2014-07-05 19:27:03Z olgeni $
3		3
4	PORTNAME= twelf	4	PORTNAME= twelf
5	PORTVERSION= 1.5R1	5	PORTVERSION= 1.7.1
6	PORTREVISION= 5	6	CATEGORIES= lang math
7	CATEGORIES= lang	7	MASTER_SITES= http://twelf.plparty.org/releases/ \
8	MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/	8	http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
9	DISTNAME= twelf-1-5R1	9	DISTNAME= ${PORTNAME}-src-${PORTVERSION}
10		10
11	MAINTAINER= ports@FreeBSD.org	11	MAINTAINER= beyert@cs.ucr.edu
12	COMMENT= Meta-logical framework for deductive systems	12	COMMENT= Meta-logical framework for deductive systems
13		13
14	.if defined(WITH_MLTON)	14	LICENSE= BSD2CLAUSE
		15	LICENSE_FILE= ${WRKSRC}/LICENSE
		16
15	RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton	17	RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton
16	BUILD_DEPENDS= mlton:${PORTSDIR}/lang/mlton	18	BUILD_DEPENDS= mlton:${PORTSDIR}/lang/mlton
17	.elif defined(WITH_SML_NJ_DEVEL)
18	RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj-devel
19	BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj-devel
20	.else
21	RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj
22	BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj
23	.endif
24		19
		20	USES= gmake
		21	ALL_TARGET= mlton
		22	PLIST_FILES= bin/${PORTNAME}-server
		23	PORTDATA= emacs examples examples-clp examples-delphin tex vim README
		24	PORTDOCS= dvi html info pdf ps
		25
		26	.include <bsd.port.options.mk>
		27
		28	.if ${PORT_OPTIONS:MDOCS}
25	USE_TEX= tex:build	29	USE_TEX= tex:build
		30	USES+= makeinfo
		31	BUILD_DEPENDS+= texinfo.tex:${PORTSDIR}/print/texinfo
		32	.endif
26		33
27	.if defined(WITH_MLTON)	34	post-patch:
28	MAKEFILE= mlton/Makefile	35	.if ${PORT_OPTIONS:MDOCS}
29	.elif defined(WITH_SML_NJ_DEVEL)	36	@${REINPLACE_CMD} 's\|-number\|-number-sections\|g' \
30	MAKEFILE= smlnj/Makefile	37	${WRKSRC}/doc/guide/Makefile
		38	@${REINPLACE_CMD} 's\|twelf_\.html\|twelf/\.html\|g' \
		39	${WRKSRC}/doc/guide/Makefile
31	.endif	40	.endif
32		41
33	WRKSRC= ${WRKDIR}/twelf	42	post-build:
34	INFO= twelf	43	.if ${PORT_OPTIONS:MDOCS}
		44	cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET}
		45	.endif
35		46
36	RESTRICTED= License is currently indeterminate (expected to be GPL)	47	do-install:
		48	${INSTALL_PROGRAM} ${WRKSRC}/bin/${PORTNAME}-server \
		49	${STAGEDIR}${PREFIX}/bin
		50	${MKDIR} ${STAGEDIR}${DATADIR}
		51	cd ${WRKSRC} && ${COPYTREE_SHARE} "${PORTDATA}" ${STAGEDIR}${DATADIR}
		52	.if ${PORT_OPTIONS:MDOCS}
		53	@${MKDIR} ${STAGEDIR}${DOCSDIR}
		54	cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
		55	.endif
37		56
38	NO_STAGE= yes	57	WRKSRC= ${WRKDIR}/twelf
39	post-patch:	58	INFO= twelf
40	@${REINPLACE_CMD} -e "s\|%%PREFIX%%\|${PREFIX}\|g" ${WRKSRC}/Makefile
41		59
42	.include <bsd.port.mk>	60	.include <bsd.port.mk>

Lines 1-170 Link Here

(-)twelf/files/patch-FreeBSD.mk (-170 lines)
1	--- FreeBSD.mk.orig 2009-02-12 21:33:04.000000000 -0500
2	+++ FreeBSD.mk 2009-02-12 21:48:54.000000000 -0500
3	@@ -0,0 +1,82 @@
4	+# ---------------------------------------------------------------
5	+# Executables
6	+# ---------------------------------------------------------------
7	+
8	+arch != uname -p
9	+
10	+.if ${arch} == "i386"
11	+smlarch = x86
12	+.else
13	+smlarch = ${arch}
14	+.endif
15	+
16	+prefix = ${PREFIX}
17	+bindir = ${prefix}/bin
18	+infodir = ${prefix}/info
19	+twelfexecdir = ${prefix}/libexec/twelf
20	+twelfsharedir = ${prefix}/share/twelf
21	+
22	+runfile = bin/twelf-server
23	+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
24	+
25	+# ---------------------------------------------------------------
26	+# Documentation
27	+# ---------------------------------------------------------------
28	+
29	+htmlnodes = toc abt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
30	+
31	+dvifile = doc/dvi/twelf.dvi
32	+htmlfiles := doc/html/index.html ${htmlnodes:%=doc/html/twelf_%.html}
33	+infofile = doc/info/twelf.info
34	+pdffile = doc/pdf/twelf.pdf
35	+psfile = doc/ps/twelf.ps
36	+
37	+docfiles = ${dvifile} ${htmlfiles} ${infofile} ${pdffile} ${psfile}
38	+
39	+.for file in ${docfiles}
40	+${file}:
41	+ (cd doc/guide; make; make install)
42	+.endfor
43	+
44	+all: ${runfile} ${heapfile} ${docfiles}
45	+
46	+# ---------------------------------------------------------------
47	+# Installation
48	+# ---------------------------------------------------------------
49	+
50	+sharefiles != (echo README HISTORY; \
51	+ echo ${docfiles}; \
52	+ find emacs -type f -not -path '/CVS/'; \
53	+ find examples -type f -not -path '/CVS/'; \
54	+ find examples-clp -type f -not -path '/CVS/'; \
55	+ find exercises -type f -not -path '/CVS/'; \
56	+ find tex -type f -not -path '/CVS/'; \
57	+ find vim -type f -not -path '/CVS/' )
58	+
59	+installfiles := ${bindir}/twelf-server \
60	+ ${twelfsharedir}/${runfile} \
61	+ ${twelfexecdir}/${heapfile} \
62	+ ${infodir}/twelf.info \
63	+ ${sharefiles:%=$(twelfsharedir)/%}
64	+
65	+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
66	+ ln -s $? $@
67	+
68	+${twelfsharedir}/${runfile}: ${runfile}
69	+ @install -d -o root -g wheel -m 0755 ${@D}
70	+ install -o root -g wheel -m 0555 $? $@
71	+
72	+${twelfexecdir}/${heapfile}: ${heapfile}
73	+ @install -d -o root -g wheel -m 0755 ${@D}
74	+ install -o root -g wheel -m 0444 $? $@
75	+
76	+${infodir}/twelf.info: doc/info/twelf.info
77	+ install -o root -g wheel -m 0444 $? $@
78	+
79	+.for file in ${sharefiles}
80	+${twelfsharedir}/${file}: ${file}
81	+ @install -d -o root -g wheel -m 0755 ${@D}
82	+ install -o root -g wheel -m 0644 $? $@
83	+.endfor
84	+
85	+install: ${installfiles}
86	--- FreeBSD.mk.orig 2009-02-12 21:33:04.000000000 -0500
87	+++ FreeBSD.mk 2009-02-12 21:48:54.000000000 -0500
88	@@ -0,0 +1,82 @@
89	+# ---------------------------------------------------------------
90	+# Executables
91	+# ---------------------------------------------------------------
92	+
93	+arch != uname -p
94	+
95	+.if ${arch} == "i386"
96	+smlarch = x86
97	+.else
98	+smlarch = ${arch}
99	+.endif
100	+
101	+prefix = ${PREFIX}
102	+bindir = ${prefix}/bin
103	+infodir = ${prefix}/info
104	+twelfexecdir = ${prefix}/libexec/twelf
105	+twelfsharedir = ${prefix}/share/twelf
106	+
107	+runfile = bin/twelf-server
108	+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
109	+
110	+# ---------------------------------------------------------------
111	+# Documentation
112	+# ---------------------------------------------------------------
113	+
114	+htmlnodes = toc abt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
115	+
116	+dvifile = doc/dvi/twelf.dvi
117	+htmlfiles := doc/html/index.html ${htmlnodes:%=doc/html/twelf_%.html}
118	+infofile = doc/info/twelf.info
119	+pdffile = doc/pdf/twelf.pdf
120	+psfile = doc/ps/twelf.ps
121	+
122	+docfiles = ${dvifile} ${htmlfiles} ${infofile} ${pdffile} ${psfile}
123	+
124	+.for file in ${docfiles}
125	+${file}:
126	+ (cd doc/guide; make; make install)
127	+.endfor
128	+
129	+all: ${runfile} ${heapfile} ${docfiles}
130	+
131	+# ---------------------------------------------------------------
132	+# Installation
133	+# ---------------------------------------------------------------
134	+
135	+sharefiles != (echo README HISTORY; \
136	+ echo ${docfiles}; \
137	+ find emacs -type f -not -path '/CVS/'; \
138	+ find examples -type f -not -path '/CVS/'; \
139	+ find examples-clp -type f -not -path '/CVS/'; \
140	+ find exercises -type f -not -path '/CVS/'; \
141	+ find tex -type f -not -path '/CVS/'; \
142	+ find vim -type f -not -path '/CVS/' )
143	+
144	+installfiles := ${bindir}/twelf-server \
145	+ ${twelfsharedir}/${runfile} \
146	+ ${twelfexecdir}/${heapfile} \
147	+ ${infodir}/twelf.info \
148	+ ${sharefiles:%=$(twelfsharedir)/%}
149	+
150	+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
151	+ ln -s $? $@
152	+
153	+${twelfsharedir}/${runfile}: ${runfile}
154	+ @install -d -o root -g wheel -m 0755 ${@D}
155	+ install -o root -g wheel -m 0555 $? $@
156	+
157	+${twelfexecdir}/${heapfile}: ${heapfile}
158	+ @install -d -o root -g wheel -m 0755 ${@D}
159	+ install -o root -g wheel -m 0444 $? $@
160	+
161	+${infodir}/twelf.info: doc/info/twelf.info
162	+ install -o root -g wheel -m 0444 $? $@
163	+
164	+.for file in ${sharefiles}
165	+${twelfsharedir}/${file}: ${file}
166	+ @install -d -o root -g wheel -m 0755 ${@D}
167	+ install -o root -g wheel -m 0644 $? $@
168	+.endfor
169	+
170	+install: ${installfiles}

Lines 1-13 Link Here

(-)twelf/files/patch-bin-mkexec (-13 lines)
1	--- bin/.mkexec.orig 2003-01-21 01:03:32.000000000 -0500
2	+++ bin/.mkexec 2009-02-12 21:24:27.000000000 -0500
3	@@ -7,8 +7,9 @@
4	# $2 = Twelf root directory
5	# $3 = Type of executable (e.g. twelf-server, twelf-sml)
6	# $4 = Name of executable (e.g. twelf-server, twelf-sml)
7	+# $5 = Twelf installation directory (e.g. /usr/local/libexec/twelf)
8	cat > "$2/bin/$4" <<EOF
9	#! /bin/sh
10	-exec "$1" @SMLload="$2/bin/.heap/$3" @SMLdebug=/dev/null
11	+exec "$1" @SMLload="$5/bin/.heap/$3" @SMLdebug=/dev/null
12	EOF
13	chmod a+x "$2/bin/$4"

Lines 1-14 Link Here

(-)twelf/files/patch-doc-guide-twelf.texi (-14 lines)
1	--- doc/guide/twelf.texi.orig 2009-02-08 18:21:50.000000000 -0500
2	+++ doc/guide/twelf.texi 2009-02-08 18:23:11.000000000 -0500
3	@@ -12,6 +12,11 @@
4	@syncodeindex fn cp
5	@c %**end of header
6
7	+@dircategory Programming
8	+@direntry
9	+* Twelf User Guide: (twelf). The Twelf User's Guide.
10	+@end direntry
11	+
12	@titlepage
13	@title Twelf User's Guide
14	@subtitle Version @value{VERSION}