24 Commits

Author	SHA1	Message	Date
est31	ddefec33cd	Add ndk 13b	2016-11-25 21:18:37 +01:00
est31	91c5fb567a	Add qt sdk support	2016-09-27 14:36:12 +02:00
Boris Kraut	815961acc5	Add ndk r11c	2016-08-14 00:59:31 +02:00
Daniel Martí	059d216aff	Re-add NDK r12b, now fixed.	2016-08-02 11:10:31 +02:00
Ciaran Gultnieks	bf153ec247	Revert "all: add NDK r12b and set it as default" ... This reverts commit 82d09560c6. It doesn't work - the setup scripts are expecting a ".bin" file (which is apparently a 7z archive), but what's actually got is a ".zip". Conflicts: buildserver/provision-android-ndk	2016-08-01 12:38:52 +01:00
Daniel Martí	82d09560c6	all: add NDK r12b and set it as default	2016-07-13 16:45:05 +01:00
Daniel Martí	5de678e48b	all: switch to jdk8 as default ... Also, remove jdk7 as it will become unused. We added jdk8 for retrolambda, and now that we will use jdk8 as the default, jdk7 is unnecessary as retrolambda can work fine with just jdk8. This removes it from the buildserver, and the new CI image also only has jdk8 from jessie-backports. Fixes #185.	2016-06-21 11:47:37 +01:00
Daniel Martí	3fbe4cc8f2	config.buildserver.py: use new java_paths keys	2016-02-23 12:26:00 +00:00
Daniel Martí	87c7da03ee	Fix buildserver debian stable java paths	2015-11-07 18:23:30 +01:00
Daniel Martí	a4d1fa22f7	Install Java 1.8 alongside 1.7 for retrolambda ... Fixes #103.	2015-11-03 11:08:34 +01:00
Daniel Martí	bc70f78ef9	Remove default config settings from the BS	2015-08-20 09:48:12 -07:00
Daniel Martí	24f6cc604b	Always end config list items with a comma	2015-08-13 11:02:09 -07:00
Daniel Martí	52c2ca1fe7	Replace NDK r10d with r10e	2015-06-18 17:05:48 +02:00
Daniel Martí	e608975f78	Bump build-tools to 22.0.1	2015-06-18 16:56:56 +02:00
Daniel Martí	45925c6816	Forgot to bump build_tools in the configs	2015-03-24 21:36:42 +01:00
Daniel Martí	f60f1bc59e	Add NDK r10d, this time alongside r9b ... Specified per-build with ndk=<version> defaulting to the oldest, r9b.	2015-01-03 00:07:01 +01:00
Daniel Martí	16601a0be3	Bump build-tools again to 21.1.2	2014-12-12 12:57:12 +01:00
Daniel Martí	aaf36f654d	Update build-tools to 21.1.1	2014-12-12 12:40:09 +01:00
Daniel Martí	fa465e2428	Forgot to bump the build tools in the server config	2014-10-23 15:21:07 +02:00
Daniel Martí	cbdcdd1e78	Update build-tools to 20.0.0	2014-06-30 17:03:16 +02:00
Daniel Martí	a50e6dbfbd	Update sdk and build-tools	2014-06-11 22:48:12 +02:00
Daniel Martí	13c79e8e46	Fix buildserver build_tools version	2014-03-11 17:37:42 +01:00
Daniel Martí	858f89e3ac	Update build-tools to 19.0.2	2014-02-23 12:21:28 +01:00
Daniel Martí	f6f23030e2	Move config.buildserver.py into buildserver subdir	2014-02-17 19:16:14 +01:00