Skip to content

Commit ea133fd

Browse files
committed
added gcc dependency, to allow mythril to find libgcc_s
1 parent b4f99b5 commit ea133fd

File tree

2 files changed

+31
-11
lines changed

2 files changed

+31
-11
lines changed

flake.lock

Lines changed: 27 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

packages/python-modules/mythril/default.nix

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
lib,
3-
stdenv,
3+
pkgs,
44
python3Packages,
55
fetchFromGitHub,
66
py-ecc-410,
@@ -54,7 +54,8 @@ python3Packages.buildPythonPackage rec {
5454
substituteInPlace requirements.txt --replace "z3-solver>=4.8.8.0" z3-solver
5555
'';
5656

57-
propagatedBuildInputs = with python3Packages; [
57+
propagatedBuildInputs = with pkgs;
58+
with python3Packages; [
5859
setuptools
5960
pytest-mock
6061
requests
@@ -65,6 +66,7 @@ python3Packages.buildPythonPackage rec {
6566
configparser
6667
coloredlogs
6768
cython
69+
gcc
6870

6971
#custom packages
7072
pyparsing-247

0 commit comments

Comments
 (0)