solc: make darwin friendly
commit274a71f262bd50cbbbabe484e2430fb2c8480431
authorJonathan Ringer <jonringer117@gmail.com>
dateWed 19 May 2021, 09:48 (5 years ago)
parentb6b335f
pkgs/development/compilers/solc/default.nix+1−2
@@ -7,7 +7,7 @@
77, python3
88, z3Support ? true
99, z3 ? null
10−, cvc4Support ? true
10+, cvc4Support ? gccStdenv.isLinux
1111, cvc4 ? null
1212, cln ? null
1313, gmp ? null
@@ -98,7 +98,6 @@ let
9898 description = "Compiler for Ethereum smart contract language Solidity";
9999 homepage = "https://github.com/ethereum/solidity";
100100 license = licenses.gpl3;
101− platforms = with platforms; linux; # darwin is currently broken
102101 maintainers = with maintainers; [ dbrock akru lionello sifmelcara ];
103102 inherit version;
104103 };