GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-29 09:58:54 -06:00
Code Issues Packages Projects Releases Wiki Activity
6,779 Commits 9 Branches 8 Tags
misc-malay-eng
Commit Graph

4 Commits

Author SHA1 Message Date
John J. Camilleri
2f3146441b Makefile now works with: global runghc, stack-only runghc, and falls back to shell script. 2020-11-27 00:47:09 +01:00
Krasimir Angelov
23f3fd244a rename Make.* to Setup.* to follow the Cabal convention 2018-11-28 13:54:56 +01:00
Thomas Hallgren
aa4257efef Add a 'make doc' target in the main Makefile 
It first build the RGL, then calls doc/Makefile,
with the corrent GF_LIB_PATH, to build the documentation.
 2018-10-22 21:43:41 +02:00
John J. Camilleri
ade493515a [GF Split] Post-split updates 2018-07-25 20:18:48 +02:00