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
|
5645134aa3
|
find the RGL folder by using gf --version
|
2022-08-24 13:29:44 +02:00 |
|
John J. Camilleri
|
e85efec7a5
|
Do not copy when dest==dist in Setup.sh
|
2021-08-20 14:04:29 +02:00 |
|
John J. Camilleri
|
431ff47824
|
Setup.sh: don't build Symbol if Try is false
This was uncovered by recent changes to Somali in 1131058b,
which built with Setup.hs but failed with Setup.sh
|
2021-04-26 08:54:58 +02:00 |
|
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 |
|