JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

solc: v0.4.13 -> v0.4.16 (#28732)

Browse Source 
Also add the Z3 SMT solver as a dependency, since the new solc can use
it for checking assertions and stuff (which is awesome).
This commit is contained in:
Mikael Brockman 2017-08-30 19:21:17 +03:00 committed by Franz Pletz
parent e36afa80e3
commit 3d107c15bd
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/development/compilers/solc/default.nix
View File

@ -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";