--- mlton/Makefile.orig	2004-11-12 14:10:27.000000000 -0500
+++ mlton/Makefile	2009-02-12 22:40:25.000000000 -0500
@@ -28,11 +28,13 @@
 version = "1.5"
 delphinversion = "0.1"
 
+.include "FreeBSD.mk"
+
 default : twelf-server twelf-emacs
 
-all : twelf-server twelf-emacs
+#all : twelf-server twelf-emacs
 
-twelf-server: ; 
+${runfile}: ; 
 	@echo "*************************************************"
 	@echo "Twelf $(version): Server"
 	@echo "*************************************************"
@@ -47,7 +49,10 @@
 		cmfileid="-97";						\
 	fi;								\
 	$(sml) mlton/twelf-server$${cmfileid}.cm ;			\
-	mv mlton/twelf-server$${cmfileid} bin/$(twelfserver)
+	mv mlton/twelf-server$${cmfileid} ${runfile}
+
+${heapfile}:
+	touch ${heapfile}
 
 twelf-sml: ; 
 	@echo "*************************************************"