diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index ee9d1e132..b07ab91ef 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -1,19 +1,23 @@ +compile = runghc Compile + all: demo missing demo: - gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookGer.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf DisambPhrasebookEng.gf -#DisambPhrasebookRon.gf + $(compile) Eng Fre Ger Ita Ron Swe + $(compile) -link Eng Fin Fre Ger Ita Ron Swe DisambPhrasebookEng + +#separate, because slow... +fin: + $(compile) Fin -pgf: - gf -make Phrasebook???.gf DisambPhrasebookEng.gf +pgfs: + $(compile) Bul Cat Dan Dut Eng Fin Fre Ger Ita Nor Pol Ron Rus Spa Swe koe: - gf -make PhrasebookEng.gf PhrasebookFre.gf DisambPhrasebookEng.gf + $(compile) Eng Fre DisambPhrasebookEng missing: echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf -#PhrasebookBul.gf PhrasebookCat.gf PhrasebookDan.gf PhrasebookDut.gf PhrasebookNor.gf PhrasebookPol.gf PhrasebookRus.gf PhrasebookSpa.gf - doc: cat Sentences.gf Words.gf >Ontology.gf |