diff --git a/examples/app/Makefile2 b/examples/app/Makefile2 new file mode 100644 index 000000000..8bea9f20d --- /dev/null +++ b/examples/app/Makefile2 @@ -0,0 +1,7 @@ +P=../phrasebook +L=../../lib/src +GFPATH=$L/chunk:$L/translator:$L/finnish/stemmed:$L/finnish:$P +I=-i $P + +App.pgf:: + gf -s -make -j +RTS -N4 -A20M -RTS -path=$(GFPATH) -gfo-dir gfo App???.gf