diff options
author | Mikael Brockman <mikael@brockman.se> | 2017-08-30 19:21:17 +0300 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-08-30 18:21:17 +0200 |
commit | 3d107c15bd0c9f32cd8e51ed5c4aa40e4b1accf8 (patch) | |
tree | 873047f71399ba0136644b32a3b6a47213374ec1 /pkgs/development/compilers/solc | |
parent | e36afa80e3a09e2ec52a042a6ed437f27d6bc52f (diff) |
solc: v0.4.13 -> v0.4.16 (#28732)
Also add the Z3 SMT solver as a dependency, since the new solc can use it for checking assertions and stuff (which is awesome).
Diffstat (limited to 'pkgs/development/compilers/solc')
-rw-r--r-- | pkgs/development/compilers/solc/default.nix | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/pkgs/development/compilers/solc/default.nix b/pkgs/development/compilers/solc/default.nix index 714f06d0b53ff..43d10bbfb93d0 100644 --- a/pkgs/development/compilers/solc/default.nix +++ b/pkgs/development/compilers/solc/default.nix @@ -1,9 +1,9 @@ -{ stdenv, fetchzip, fetchgit, boost, cmake }: +{ stdenv, fetchzip, fetchgit, boost, cmake, z3 }: let - version = "0.4.13"; - rev = "0fb4cb1ab9bb4b6cc72e28cc5a1753ad14781f14"; - sha256 = "0rhrm0bmk5s2358j40yx7dzr1938q17dchzflrxw6y7yvkhscxrm"; + version = "0.4.16"; + rev = "d7661dd97460250b4e1127b9e7ea91e116143780"; + sha256 = "1fd69pdhkkkvbkrxipkck1icpqkpdskjzar48a1yzdsx3l8s4lil"; jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.7.7.tar.gz; jsoncpp = fetchzip { url = jsoncppURL; @@ -27,12 +27,14 @@ stdenv.mkDerivation { --replace '${jsoncppURL}' ${jsoncpp} substituteInPlace cmake/EthCompilerSettings.cmake \ --replace 'add_compile_options(-Werror)' "" - substituteInPlace cmake/EthDependencies.cmake \ - --replace 'set(Boost_USE_STATIC_LIBS ON)' \ - 'set(Boost_USE_STATIC_LIBS OFF)' ''; - buildInputs = [ boost cmake ]; + cmakeFlags = [ + "-DBoost_USE_STATIC_LIBS=OFF" + ]; + + nativeBuildInputs = [ cmake ]; + buildInputs = [ boost z3 ]; meta = { description = "Compiler for Ethereum smart contract language Solidity"; |