diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 9af86ccfb..b2788cda2 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -5,14 +5,17 @@ all: fin demo missing demo: compdemo linkdemo compdemo: - $(compile) Bul Cat Dan Dut Eng Fre Ger Ita Nor Pol Ron Rus Spa Swe Tha Urd DisambPhrasebookEng + $(compile) Bul Dan Dut Nor Pol Ron Spa + $(compile) -opt Cat Eng Fre Ger Rus Swe Tha Urd DisambPhrasebookEng +# $(compile) -opt Bul Cat Dan Dut Eng Fre Ger Ita Nor Pol Ron Rus Spa Swe Tha Urd DisambPhrasebookEng linkdemo: - $(compile) -link Eng Bul Cat Dan Dut Fin Fre Ger Ita Nor Pol Ron Rus Spa Swe Tha Urd DisambPhrasebookEng + $(compile) -link Eng Bul Cat Dan Dut Fin Fre Ger Ita Nor Pol Rus Spa Swe Tha Urd DisambPhrasebookEng +# $(compile) -link Eng Bul Cat Dan Dut Fin Fre Ger Ita Nor Pol Ron Rus Spa Swe Tha Urd DisambPhrasebookEng #separate, because slow... fin: - $(compile) Fin + $(compile) -opt Fin missing: echo "pg -missing | wf -file=missing.txt" | gf -run Phrasebook.pgf |