diff --git a/lib/src/mini/Makefile b/lib/src/mini/Makefile index 368e21abb..265d04891 100644 --- a/lib/src/mini/Makefile +++ b/lib/src/mini/Makefile @@ -1,18 +1,12 @@ compile = runghc Compile -all: src pgf +all: src compdemo linkdemo src: runghc MkMini.hs -pgf: src - gf -make -optimize-pgf MiniGrammar???.gf +RTS -K100M - -gf: src - gf -batch MiniGrammar???.gf - compdemo: - $(compile) Afr Bul Cat Dan Dut Eng Fin Fre Ger Ita Nep Nor Pnb Pes Pol Rus Spa Swe Tha Urd + $(compile) Afr Bul Cat Dan Dut Eng Fin Fre Ger Ita Nep Nor Pes Pnb Pol Ron Rus Spa Swe Tha Urd linkdemo: - $(compile) -link Afr Bul Cat Dan Dut Eng Fin Fre Ger Ita Nep Nor Pnb Pes Pol Rus Spa Swe Tha Urd + $(compile) -link Afr Bul Cat Dan Dut Eng Fin Fre Ger Ita Nep Nor Pes Pnb Pol Ron Rus Spa Swe Tha Urd diff --git a/lib/src/mini/MkMini.hs b/lib/src/mini/MkMini.hs index 1eebcae71..c53f5920a 100644 --- a/lib/src/mini/MkMini.hs +++ b/lib/src/mini/MkMini.hs @@ -3,7 +3,7 @@ langs = [ "Afr", "Bul", "Cat","Dan","Dut", "Fin","Fre","Ger","Ita", -- "Lav", "Nep","Nor","Pes","Pol","Pnb", - --- "Ron", + "Ron", "Rus","Spa","Swe","Tha", "Urd" ]