John J. Camilleri
|
1862cb0559
|
Preserve metadata in copy (Make.sh)
Addresses #43 but I'm not 100% convinced it makes any difference.
|
2018-10-25 08:28:29 +02:00 |
|
John J. Camilleri
|
989c6f5893
|
Add dist to --gf-lib-path in Make.sh
Otherwise an externally set GF_LIB_PATH will mess it up
Might also need to make same change in Make.hs
|
2018-08-10 18:27:19 +02:00 |
|
John J. Camilleri
|
0fe46a6d17
|
Change shebang to /bin/bash
|
2018-08-10 08:33:01 +02:00 |
|
John J. Camilleri
|
73948e54a6
|
Make.sh: halt on error, skip non-existant files
Was trying to compile src/*/SymbolHeb.gf which doesn't exist
|
2018-08-09 10:05:10 +02:00 |
|
John J. Camilleri
|
60f19691eb
|
--verbose flag shows file names, not passed on to GF
|
2018-08-09 09:52:41 +02:00 |
|
John J. Camilleri
|
b76d8512e4
|
Updade Make.sh to read languages.csv, more specific about what to compile
|
2018-08-07 10:06:12 +02:00 |
|
John J. Camilleri
|
19020167f7
|
First version of Make.bat, untested but basically complete
|
2018-07-30 15:58:36 +02:00 |
|
John J. Camilleri
|
56f530abab
|
Clean up Make.sh and add verbosity flag
|
2018-07-30 11:52:55 +02:00 |
|
John J. Camilleri
|
be66369ccf
|
Build modules separately otherwise a single fail makes whole thing fail
|
2018-07-28 16:02:06 +02:00 |
|
John J. Camilleri
|
ade493515a
|
[GF Split] Post-split updates
|
2018-07-25 20:18:48 +02:00 |
|