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 |
|
chriseth
|
7aa344a5e8
|
PPA release script, still work in progress.
|
2016-08-10 14:46:59 +02:00 |
|