GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 02:38:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of www.grammaticalframework.org:/usr/local/www/GF

Browse Source
This commit is contained in:
Krasimir Angelov
2017-08-21 20:42:52 +02:00
parent dbac0b184f 38fd84a28c
commit 6647ed0aeb
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/app/Makefile
View File

@@ -33,6 +33,9 @@ App15.pgf: $(APP15)
App16.pgf: $(APP16)
$(GFMKT) -name=App16 $(APP16) +RTS -K200M
App17.pgf: $(APP17)
$(GFMKT) -name=App16 $(APP17) +RTS -K200M
# Without dependencies:
App11:
$(GFMKT) -name=App11 $(APP11) +RTS -K200M