20 Commits

Author	SHA1	Message	Date
chriseth	6a747ed229	Support bionic.	2018-04-17 07:56:10 +02:00
chriseth	ca0e323f9f	Fix PPA script.	2018-02-14 16:45:00 +01:00
Matthew Halpern	da36c82a0a	Allow lllc to be installed	2018-02-13 10:20:43 +00:00
chriseth	c5318cce09	Add artful to releases.	2017-12-28 19:00:12 +01:00
chriseth	6dd7f6284b	Require libz3-dev for ubuntu PPA builds.	2017-08-24 12:04:50 +02:00
chriseth	758ad3594d	Some fixes for the PPA release scripts.	2017-07-04 12:12:37 +02:00
Alex Beregszaszi	f13feed7f2	Add script to retrieve version	2017-07-01 11:25:02 +01:00
chriseth	bf5c6b7acb	Remove wily and add zesty.	2017-05-05 12:50:54 +02:00
chriseth	dc8a5f4ef5	Fetch jsoncpp tarball during ppa release.	2016-11-08 16:41:25 +01:00
Paweł Bylica	598154ed17	Drop CryptoPP leftovers ... Especially, do not compile CryptoPP for Emscripten.	2016-11-08 01:16:31 +01:00
Paweł Bylica	4bde0a2d36	Build jsoncpp from source using jsoncpp.cmake script	2016-10-20 22:18:13 +01:00
chriseth	0f08c1366b	Use "develop" for debian version name.	2016-09-17 18:37:47 +02:00
chriseth	af86bfb07d	Force commit hash to 8 digits.	2016-09-15 01:47:37 +02:00
chriseth	29ecc6fe31	Remove leading zeroes in prerelease components.	2016-09-09 14:23:33 +02:00
chriseth	4588eda622	Store commit hash and handle prerelease vor all automation tools.	2016-08-26 10:14:44 +02:00
chriseth	6f02de791e	Fix ppa script.	2016-08-10 21:03:59 +02:00
chriseth	39ced1ba55	Make aware of branches and only create source tarball once.	2016-08-10 14:46:59 +02:00
chriseth	e404d42f60	Correct jsoncpp versions.	2016-08-10 14:46:59 +02:00
chriseth	ff08a8fab0	Do not compile sphinx docs for now, so we get to a workable state.	2016-08-10 14:46:59 +02:00
chriseth	7aa344a5e8	PPA release script, still work in progress.	2016-08-10 14:46:59 +02:00