11 Commits

Author	SHA1	Message	Date
John J. Camilleri	f0065986a6	Add column for language name in languages.csv ... This will be used for listing languages in Synopsis	2018-11-13 22:44:13 +01:00
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