diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..cb953a2 --- /dev/null +++ b/makefile @@ -0,0 +1,18 @@ + + +all: testmain + + + +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 + + |