mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-04 01:48:54 +00:00
31 lines
821 B
Plaintext
31 lines
821 B
Plaintext
--- 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 "*************************************************"
|