Bertold Van den Bergh
ff37a28524
Do apt update during build
2020-04-28 22:17:55 +02:00
Bertold Van den Bergh
5c5e4f5638
Update to 2020a version of database
2020-04-28 22:04:04 +02:00
Nicholas Bishop
4b122f5817
makedb.sh: fail if a command exits non-zero
...
In particular this better handles the case where the `g++` command
fails (e.g. due to not having shapelib installed). The script should
not continue if that command fails.
2020-01-24 15:58:56 -05:00
Bertold Van den Bergh
f52c8f4135
Add ocean regions to database
2019-12-13 16:12:44 +00:00
Bertold Van den Bergh
d09c675ce3
Parallel database build
2019-11-10 12:47:26 +01:00
Bertold Van den Bergh
53820ce780
Add buildspec file for database
2019-11-10 12:28:39 +01:00
Bertold Van den Bergh
91fcb5f9fe
Do not output wget log
2019-11-10 00:54:17 +01:00
Bertold Van den Bergh
08927dd109
Add installcommand to makedb
2019-11-10 00:41:25 +01:00
Bertold Van den Bergh
591a75df2f
Update database builder script
2019-08-14 18:22:36 +02:00
Bertold Van den Bergh
b0c3fd928f
Update builder to support generating v1 and v0 database
2019-08-14 18:02:36 +02:00
Bertold Van den Bergh
1cc05dbac3
Split up point reading and polygon checking. Add function to get list of points
2019-08-14 14:51:57 +02:00
Bertold Van den Bergh
71a5187802
Reduce filesize further by not encoding points multiple times (not well tested, do not use)
2019-08-14 00:54:40 +02:00
Bertold Van den Bergh
4269644520
Avoid encoding useless tuples, change format for more efficient diff encoding.
2019-08-13 16:40:31 +02:00
Bertold Van den Bergh
82e2323242
Upload database generation code (not very clean...)
2019-01-10 21:03:08 +01:00