summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile8
1 files changed, 1 insertions, 7 deletions
diff --git a/makefile b/makefile
index 281f11a..fc27148 100644
--- a/makefile
+++ b/makefile
@@ -3,12 +3,6 @@
all: stv
-
stv:
- ghc -O2 --make src/main.hs -isrc:build -odir build -outputdir build \
- -hidir build -stubdir build -dumpdir build -o bin/stv
-
-
-ada:
- gnatmake src/stv.adb -Isrc -D build -o bin/adastv
+ gnatmake src/stv.adb -Isrc -D build -o bin/stv