summaryrefslogtreecommitdiff
path: root/examples/slowApp/Makefile2
diff options
context:
space:
mode:
authorodanoburu <bcclaro@gmail.com>2018-06-20 12:33:05 -0300
committerodanoburu <bcclaro@gmail.com>2018-06-20 12:33:05 -0300
commitf0672679535e59c53ed68729bbb5a201ce507b02 (patch)
tree839216d85c207fc4d8fc0565466899ff4a41d5b1 /examples/slowApp/Makefile2
parent8b05ed9469a970590e1b11cc4e83320d8b94e846 (diff)
parent427f8d84788fc3757fb4dacda931c878bf253fa1 (diff)
Merge remote-tracking branch 'upstream/master' into por
Diffstat (limited to 'examples/slowApp/Makefile2')
-rw-r--r--examples/slowApp/Makefile27
1 files changed, 0 insertions, 7 deletions
diff --git a/examples/slowApp/Makefile2 b/examples/slowApp/Makefile2
deleted file mode 100644
index 914ee4292..000000000
--- a/examples/slowApp/Makefile2
+++ /dev/null
@@ -1,7 +0,0 @@
-P=../phrasebook
-L=../../lib/src
-GFPATH=$L/chunk:$L/translator:$L/finnish/stemmed:$L/finnish:$P
-J=-j +RTS -N4 -A20M -RTS
-
-App.pgf::
- gf -s -make $J -probs=./app.probs -path=$(GFPATH) -gfo-dir gfo App???.gf