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 |
|