--- smlnj/Makefile.orig	2003-10-17 23:35:23.000000000 -0400
+++ smlnj/Makefile	2009-02-12 22:22:57.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) < smlnj/twelf-server.sml ;
-	bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" ;
+	bin/.mkexec "$(sml)" "$(twelfdir)" twelf-server "$(twelfserver)" "$(twelfexecdir)" ;
+
+${heapfile}: ${runfile}
 
 twelf-sml: ; 
 	@echo "*************************************************"