summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile21
1 files changed, 4 insertions, 17 deletions
diff --git a/makefile b/makefile
index 04001c7..9475db8 100644
--- a/makefile
+++ b/makefile
@@ -1,24 +1,11 @@
-all: main
+all: stv
-main:
- ghc --make src/main.hs -isrc:build -odir build -outputdir build \
- -hidir build -stubdir build -dumpdir build -o bin/counter
-
-
-
-#testmain: ada_array
-# ghc --make src/testmain.hs -isrc:build -odir build -outputdir build \
-# -hidir build -stubdir build -dumpdir build -o bin/testmain build/ada_array.o
-
-
-
-#ada_array:
-# gnatmake -Isrc -D build -c preference_arrays
-# gnatbind -n build/preference_arrays
-# gnatlink -r -nostdlib -o build/ada_array.o build/preference_arrays.ali
+stv:
+ ghc -O2 --make src/main.hs -isrc:build -odir build -outputdir build \
+ -hidir build -stubdir build -dumpdir build -o bin/stv