summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2017-01-09 19:53:06 +1100
committerJed Barber <jjbarber@y7mail.com>2017-01-09 19:53:06 +1100
commitbc0a9edd47dad7a0bf7df26941a0d870c0c3d0ad (patch)
tree4443f657e71a9dca3d9f017c8c4176faaab479da /makefile
parent82cb1c4265c0c4a55fcd3fec9bcaec6647d11030 (diff)
Cleaning things up, splitting code into more modules
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