alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

solc: make z3 dependency optional

Browse source 
It is an optional dependency, which defaults to true.

https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers
This commit is contained in:
Lorenzo Manacorda 2019-02-20 18:05:27 +01:00
parent 83568dc5fe
commit e639f24681
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
pkgs/development/compilers/solc/default.nix
View file

@ -1,4 +1,8 @@
{ stdenv, fetchzip, fetchFromGitHub, boost, cmake, z3 }:
{ stdenv, fetchzip, fetchFromGitHub, boost, cmake
, z3Support ? true, z3 ? null
}:
assert z3Support -> z3 != null;
let
version = "0.5.3";
@ -33,6 +37,8 @@ stdenv.mkDerivation {
cmakeFlags = [
"-DBoost_USE_STATIC_LIBS=OFF"
"-DBUILD_SHARED_LIBS=ON"
] ++ stdenv.lib.optionals (!z3Support) [
"-DUSE_Z3=OFF"
];
doCheck = stdenv.hostPlatform.isLinux && stdenv.hostPlatform == stdenv.buildPlatform;
@ -40,7 +46,8 @@ stdenv.mkDerivation {
"./test/soltest -p -- --no-ipc --no-smt --testpath ../test";
nativeBuildInputs = [ cmake ];
buildInputs = [ boost z3 ];
buildInputs = [ boost ]
++ stdenv.lib.optionals z3Support [ z3 ];
outputs = [ "out" "dev" ];