57 Commits

Author	SHA1	Message	Date
Daniel Kirchner	38545e81c1	Update docker images to Z3 4.8.14.	2022-01-12 19:28:20 +01:00
Christian Parpart	859a170273	Updates PPA release script to pre-fetch the correct fmtlib version.	2021-10-11 14:52:07 +02:00
Christian Parpart	3f08b2269a	Adds fmtlib as 3rdparty dependency for easier string composition.	2021-10-11 13:35:08 +02:00
Daniel Kirchner	f7e9263cea	Add hirsute and impish to and remove groovy from release_ppa script.	2021-08-11 17:00:02 +02:00
Kamil Śliwak	008d648af3	Fix or disable find/ls related warnings	2021-03-15 12:16:43 +01:00
Kamil Śliwak	e8a70e8e4b	Prefix globs with ./ or use -- to make commands safe with files named like command-line options	2021-03-04 16:57:25 +01:00
Kamil Śliwak	27754d3e3d	Quote stuff properly	2021-02-01 17:14:38 +01:00
Daniel Kirchner	eac2bcf72f	Add range-v3.	2021-01-11 18:44:55 +01:00
Daniel Kirchner	1afdfc2c84	Build solidity-upgrade and yul-phaser statically on static PPA builds.	2020-12-17 16:09:23 +01:00
Kamil Śliwak	893a5b6e60	Remove unused variables	2020-12-12 06:30:57 +01:00
Daniel Kirchner	a3a5d93b34	Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.	2020-12-07 18:18:41 +01:00
Daniel Kirchner	b4fbbf88e0	Add groovy to PPA release script.	2020-09-14 16:33:16 +02:00
Daniel Kirchner	65b2505d5d	Remove obsolete eoan from the PPA release script.	2020-09-14 13:52:08 +02:00
Daniel Kirchner	5b64f0b7ed	Drop i386 from the PPA release script.	2020-09-02 18:26:05 +02:00
chriseth	69ff92db2b	Switch to new ppa key.	2020-07-22 19:22:45 +02:00
Daniel Kirchner	0fd13b7a9e	Upgrade json-cpp to 1.9.3.	2020-07-10 21:40:15 +02:00
a3d4	a499ef16fa	Fix spelling errors	2020-05-25 02:54:37 +02:00
Daniel Kirchner	a7f6a4bee6	Update PPA scripts.	2020-05-14 14:12:01 +02:00
Kamil Śliwak	a80b032081	Fix inconsistent indentation in scripts/ ... - NOT reindenting all files. Just choosing one style in files that were using multiple.	2020-04-17 19:09:02 +02:00
chriseth	5ec8202e6e	Add Ubuntu Focal.	2020-02-13 22:34:25 +01:00
Alex Beregszaszi	106ac296b9	Remove LLL from release scripts	2020-01-15 13:18:24 +00:00
chriseth	57c00eece8	Require specific version of g++ to make PPA happy.	2019-12-11 15:29:19 +01:00
chriseth	9b4abb2b7f	Change jsoncpp version everywhere.	2019-12-09 18:39:18 +01:00
Daniel Kirchner	b3174db322	Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script.	2019-11-11 14:55:00 +01:00
Daniel Kirchner	bd105ad4b1	Experimental static Z3 PPA script.	2019-08-13 16:19:18 +02:00
Daniel Kirchner	2f48bd6fb9	Remove ubuntu cosmic (EOL July 18, 2019) from release script.	2019-08-12 11:36:48 +02:00
Christian Parpart	cb5df90251	Change the way release_ppa.sh treats branches. ... Only release branch is treated release branch, and everything else is treated a development branch.	2019-07-22 14:49:30 +02:00
chriseth	5c50e8fa99	Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA.	2019-02-06 15:48:07 +01:00
chriseth	8c4c581eed	Add disco.	2019-01-22 22:26:38 +01:00
chriseth	0a3beb72f2	Some improvements to the ppa release script.	2019-01-22 18:22:54 +01:00
Christian Parpart	b7eaa4f8d3	Ensuring we use at least boost 1.65, build static on Xenial, and adapt CircleCI accordingly.	2019-01-14 16:10:26 +01:00
Daniel Kirchner	60d7cc6049	Replace trusty PPA build by static PPA build.	2018-12-12 17:05:59 +01:00
Christian Parpart	5b86e3ec50	Enables C++14 standard (was C++11) within the Solidity compiler project.	2018-12-11 21:28:05 +01:00
chriseth	199a994e28	Update ubuntu versions.	2018-10-30 15:57:14 +01:00
Daniel Kirchner	a102f3b783	Remove trailing whitespace for all files in the repository.	2018-09-04 11:30:30 +02:00
chriseth	166a9e08e7	Use new PGP key and retire old ubuntu releases.	2018-06-21 20:29:16 +02:00
Alexander Arlt	0b49fd3493	CMake: Update jsoncpp to v1.8.4	2018-04-23 11:10:39 +01:00
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