6 Commits

Include renames

Author	SHA1	Message	Date
Krasimir Angelov	c5606ff55d	revert the change. GF_LIB_PATH needs to be checked	2022-08-24 14:32:47 +02:00
Krasimir Angelov	fc1ca4b8f1	no neet to check GF_LIB_PATH. GF will do it anyway	2022-08-24 14:29:27 +02:00
Krasimir Angelov	d953c0f503	fix: drop the leading space	2022-08-24 13:52:43 +02:00
Krasimir Angelov	5645134aa3	find the RGL folder by using gf --version	2022-08-24 13:29:44 +02: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