diff options
| author | Atkins <atkins@fstk.io> | 2019-03-06 16:27:10 +0800 |
|---|---|---|
| committer | Atkins <atkins@fstk.io> | 2019-03-06 16:27:10 +0800 |
| commit | b8d0bf3dd6bac6974cb334709c02284b89a421dc (patch) | |
| tree | 897b4d1e1b6b7c24f833fc3cca5c5f08d8e19b24 /pkgs/development | |
| parent | 51fdca9cad1e627d127dd1274798d2b4a2ad8326 (diff) | |
solc: 0.5.4 -> 0.5.5
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/compilers/solc/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/development/compilers/solc/default.nix b/pkgs/development/compilers/solc/default.nix index 2f3674fdbea4c..7d568871c06c0 100644 --- a/pkgs/development/compilers/solc/default.nix +++ b/pkgs/development/compilers/solc/default.nix @@ -6,9 +6,9 @@ assert z3Support -> z3 != null; assert z3Support -> stdenv.lib.versionAtLeast z3.version "4.6.0"; let - version = "0.5.4"; - rev = "9549d8fff7343908228c3e8bedc309d1b83fc204"; - sha256 = "1r6wklp3ab2s1lrm70zv6p7blv9917ph1arjsb250j7b7bpjg5pq"; + version = "0.5.5"; + rev = "47a71e8f1c884368ad340d61ed36ea7fe270805d"; + sha256 = "0aibj342pzzmmmwcdwk5hgr2jn3s9sjcgc6rflq09r33vw1q5qln"; jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz; jsoncpp = fetchzip { url = jsoncppURL; @@ -43,8 +43,8 @@ stdenv.mkDerivation { ]; doCheck = stdenv.hostPlatform.isLinux && stdenv.hostPlatform == stdenv.buildPlatform; - checkPhase = "LD_LIBRARY_PATH=./libsolc:./libsolidity:./libevmasm:./libdevcore:./libyul:./liblangutil:$LD_LIBRARY_PATH " + - "./test/soltest -p -- --no-ipc --no-smt --testpath ../test"; + checkPhase = "LD_LIBRARY_PATH=./libsolc:./libsolidity:./libevmasm:./libdevcore:./libyul:./liblangutil:./test/tools/yulInterpreter:$LD_LIBRARY_PATH " + + "./test/soltest -p true -- --no-ipc --no-smt --testpath ../test"; nativeBuildInputs = [ cmake ]; buildInputs = [ boost ] |