d6a17e308a
[maps] update_google_version: only one try and 10s timeout
2013-09-17 00:55:11 +02:00
9ab3c2bd0d
20s timeout and max 2 retries when trying to update_google_version
2013-07-30 18:19:32 +02:00
5e3ee2558a
fix google maps version download parsing
...
also set the default example version to 129
2013-07-17 18:58:21 +02:00
e06a57717a
[makefile] on os x the default mktemp doesn't behave the same (older version), need to use gmktemp from the coreutils macport
2013-03-26 14:10:16 -06:00
77cd732702
[makefile] use mktemp to create unique temp files
...
This assumes that mktemp is available, but should provide a better solution for issue #229 .
Also create a variable holding the tempfile name which is unique to each target.
This should prevent problems with parallel builds, since these variables are global.
2013-03-21 16:46:58 +01:00
737d7d3c8b
[makefile] silence clean target and add missing Makefile
2013-02-23 12:31:59 +01:00
f90a9b687f
[build system] honor TMPDIR environment variable
...
closes #229
2013-02-08 18:58:59 +01:00
360a5ce74d
[build][fix] use grep -E instead -P to get google maps version number. perl style regex are not available in mountain lion anymore
2012-11-13 13:12:03 +01:00
8bff1b46c9
[build system] clean up makefiles and fix dependencies, parallel build with make -j 8 seems to work now
2012-11-10 19:45:22 +01:00
45ec0f1c16
[maps] ahrg, really fix google maps version download now
2012-09-12 15:52:49 +02:00
cdff90306c
[maps] if google maps version download fails, print message and remove emtpy file
2012-09-07 20:47:07 +02:00
2bff89cf4d
[maps] extracting google maps version
...
It should not fail in case of lost connection or corrupted maps.xml file
Fix #187
2012-09-06 15:50:05 +02:00
1587f9db8f
Makefile warning cleaning continued
2011-11-18 14:57:42 +01:00
3403cb8478
Cleanup the cleaning progress: less cleaning errors
2011-11-18 12:33:36 +01:00
5c9fccd3d1
ahrg, really fix echo in maps makefile now
2011-08-17 18:52:40 +02:00
b9648610ba
fix echo for systems where -e is not default, e.g. debian
2011-08-17 17:36:40 +02:00
8e878146e9
updated .gitignore for maps.xml, deleted maps.xml, fixed typo in data/maps/Makefile
2011-08-02 00:46:17 -06:00
003161cb28
changed dynamic google version update to use maps.xml.example, make won't fail and version won't fall back when no internet, version always updated with interet
2011-08-01 23:43:53 -06:00
159ee17e05
Changed the format of the maps config file
2011-07-28 21:24:55 -06:00
8e327bfe96
Now creating conf/maps_data/maps.conf which could be read with something like http://docs.camlcity.org/docs/godipkg/3.11/godi-missinglib/lib/ocaml/pkg-lib/missinglib/configParser.mli
2011-06-19 16:02:15 +02:00
028ce2c7a0
Making the pulling of the google version part of the make process
2011-06-19 16:02:14 +02:00
161d758ec0
Getting google maps version dynamically and writing it to conf/maps_data/version
2011-06-19 16:02:14 +02:00
Felix Ruess
Stephen Dwyer
Gautier Hattenberger
Christophe De Wagter
Bernard Davison