diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/app/Makefile2 | 7 |
1 files changed, 7 insertions, 0 deletions
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 |