4 Commits

Author	SHA1	Message	Date
Meng Weng Wong	ee2bfe6014	mkdir -p $GF_LIB_PATH if it doesn't already exist (#366) ... * mkdir -p $GF_LIB_PATH if it doesn't already exist * enquote the install	2021-02-26 08:52:15 +01:00
John J. Camilleri	7505813fa5	Must make dest directory before copying to it	2020-11-11 21:58:45 +01:00
Krasimir Angelov	a9c2872059	Merge branch 'master' of https://github.com/GrammaticalFramework/gf-rgl	2018-11-28 13:57:39 +01:00
Krasimir Angelov	23f3fd244a	rename Make.* to Setup.* to follow the Cabal convention	2018-11-28 13:54:56 +01:00