51 Commits
Author SHA1 Message Date
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
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