diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 21 |
1 files changed, 4 insertions, 17 deletions
@@ -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 |