solc: 0.5.4 -> 0.5.5
This commit is contained in:
parent
51fdca9cad
commit
b8d0bf3dd6
|
@ -6,9 +6,9 @@ assert z3Support -> z3 != null;
|
||||||
assert z3Support -> stdenv.lib.versionAtLeast z3.version "4.6.0";
|
assert z3Support -> stdenv.lib.versionAtLeast z3.version "4.6.0";
|
||||||
|
|
||||||
let
|
let
|
||||||
version = "0.5.4";
|
version = "0.5.5";
|
||||||
rev = "9549d8fff7343908228c3e8bedc309d1b83fc204";
|
rev = "47a71e8f1c884368ad340d61ed36ea7fe270805d";
|
||||||
sha256 = "1r6wklp3ab2s1lrm70zv6p7blv9917ph1arjsb250j7b7bpjg5pq";
|
sha256 = "0aibj342pzzmmmwcdwk5hgr2jn3s9sjcgc6rflq09r33vw1q5qln";
|
||||||
jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz;
|
jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz;
|
||||||
jsoncpp = fetchzip {
|
jsoncpp = fetchzip {
|
||||||
url = jsoncppURL;
|
url = jsoncppURL;
|
||||||
|
@ -43,8 +43,8 @@ stdenv.mkDerivation {
|
||||||
];
|
];
|
||||||
|
|
||||||
doCheck = stdenv.hostPlatform.isLinux && stdenv.hostPlatform == stdenv.buildPlatform;
|
doCheck = stdenv.hostPlatform.isLinux && stdenv.hostPlatform == stdenv.buildPlatform;
|
||||||
checkPhase = "LD_LIBRARY_PATH=./libsolc:./libsolidity:./libevmasm:./libdevcore:./libyul:./liblangutil:$LD_LIBRARY_PATH " +
|
checkPhase = "LD_LIBRARY_PATH=./libsolc:./libsolidity:./libevmasm:./libdevcore:./libyul:./liblangutil:./test/tools/yulInterpreter:$LD_LIBRARY_PATH " +
|
||||||
"./test/soltest -p -- --no-ipc --no-smt --testpath ../test";
|
"./test/soltest -p true -- --no-ipc --no-smt --testpath ../test";
|
||||||
|
|
||||||
nativeBuildInputs = [ cmake ];
|
nativeBuildInputs = [ cmake ];
|
||||||
buildInputs = [ boost ]
|
buildInputs = [ boost ]
|
||||||
|
|
Loading…
Reference in New Issue