blob: 9b13fcb758f2f637b404f459ef64b384cf545a6c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
--- 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 "*************************************************"
|
