mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-01 01:17:02 +00:00
27 lines
815 B
Plaintext
27 lines
815 B
Plaintext
--- 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 "*************************************************"
|