head	1.2;
access;
symbols
	RELEASE_8_3_0:1.2
	RELEASE_9_0_0:1.2
	RELEASE_7_4_0:1.2
	RELEASE_8_2_0:1.2
	RELEASE_6_EOL:1.2
	RELEASE_8_1_0:1.2
	RELEASE_7_3_0:1.2
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.2
	RELEASE_7_1_0:1.1
	RELEASE_6_4_0:1.1
	RELEASE_5_EOL:1.1
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1
	PRE_XORG_7:1.1
	RELEASE_4_EOL:1.1
	RELEASE_6_2_0:1.1
	RELEASE_6_1_0:1.1
	RELEASE_5_5_0:1.1;
locks; strict;
comment	@# @;


1.2
date	2009.04.11.03.00.02;	author wxs;	state Exp;
branches;
next	1.1;

1.1
date	2005.11.26.12.49.47;	author edwin;	state Exp;
branches;
next	;


desc
@@


1.2
log
@- Update to 1.5R1

PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@@cs.cmu.edu> (maintainer)
@
text
@--- Makefile.orig	2005-03-08 15:49:53.000000000 -0500
+++ Makefile	2009-02-12 22:07:33.000000000 -0500
@@@@ -32,16 +32,20 @@@@
 version = "1.5"
 delphinversion = "0.1"
 
+.include "FreeBSD.mk"
+
 default : twelf-server twelf-emacs
 
-all : twelf-server twelf-sml twelf-emacs
+#all : twelf-server twelf-sml twelf-emacs
 
-twelf-server: ; 
+${runfile}: ;
 	@@echo "*************************************************"
 	@@echo "Twelf $(version): Server"
 	@@echo "*************************************************"	 
 	$(sml) < twelf-server.sml ;
-	bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" ;
+	bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" "$(twelfexecdir)" ;
+
+${heapfile}: ${runfile}
 
 twelf-sml: ; 
 	@@echo "*************************************************"
@


1.1
log
@New port: lang/twelf A meta-logical framework for deductive systems

	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.

PR:		ports/84625
Submitted by:	"Andrew Bernard" <andrew@@hobnob.com>
@
text
@d1 5
a5 3
--- Makefile.orig	Sun Dec 22 11:29:46 2002
+++ Makefile	Sat Jul  9 18:52:09 2005
@@@@ -31,7 +31,7 @@@@
d7 2
d12 1
a12 1
+# all : twelf-server twelf-sml twelf-emacs
d14 2
a15 1
 twelf-server: ; 
d17 7
a23 1
@@@@ -62,3 +62,73 @@@@
d25 2
a26 72
 clean: ;
 	rm -rf $(twelfdir)/src/*/CM ;
+
+# ---------------------------------------------------------------
+# Installation
+# ---------------------------------------------------------------
+
+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
+
+infofiles  != (cd doc/info; find . -type f -not -name '*.orig')
+sharefiles != (find README       -type f;                     \
+               find doc          -type f -not -name '*.orig'; \
+               find emacs        -type f;                     \
+               find examples     -type f;                     \
+               find examples-clp -type f;                     \
+               find tex          -type f)
+
+installfiles := ${bindir}/twelf-server             \
+                ${twelfsharedir}/${runfile}        \
+                ${twelfexecdir}/${heapfile}        \
+                ${infofiles:%=$(infodir)/%}        \
+                ${sharefiles:%=$(twelfsharedir)/%}
+
+all: ${runfile} ${heapfile}
+
+${runfile}:
+	echo "#!/bin/sh" >$@@
+	echo "exec ${sml} @@SMLload=${twelfexecdir}/${heapfile} @@SMLdebug=/dev/null" >>$@@
+
+${heapfile}:
+	$(sml) < twelf-server.sml
+
+${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 $? $@@
+
+.for file in ${infofiles}
+${infodir}/${file}: doc/info/${file}
+	ln -s ${twelfsharedir}/$? $@@
+.endfor
+
+.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}
+	install-info ${infodir}/twelf.info ${infodir}/dir
+
@

