summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKathy Gray2016-02-25 14:32:47 +0000
committerKathy Gray2016-02-25 14:33:36 +0000
commit1402682ed4e1195a2911041107c5cf14c16a03f7 (patch)
tree02040ab5d554a1e8c7972f3e5149a2398a1e9c2f /Makefile
parent45c7902a41a8f160900bc6a8ed7c212093e89983 (diff)
Update read me to the present day and cause the makefile from the top level directory to be a bit more sensible
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile15
1 files changed, 4 insertions, 11 deletions
diff --git a/Makefile b/Makefile
index 0267f4a6..221bc554 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,10 @@
.PHONY: all sail language clean power test
-all: sail interpreter language
+all: sail
-sail: language
+sail:
$(MAKE) -C src
+ ln -s src/sail.native sail
language:
$(MAKE) -C language
@@ -11,14 +12,6 @@ language:
interpreter:
$(MAKE) -C src interpreter
-test:
- $(MAKE) -C src test
-
-power:
- $(MAKE) -C src power
-
-test_power_interactive:
- $(MAKE) -C src test_power_interactive
-
clean:
$(MAKE) -C src clean
+ rm sail