From ea133fdafd4b59c62311a4580878e7e02fa2252e Mon Sep 17 00:00:00 2001
From: monyarm <monyarm@gmail.com>
Date: Tue, 18 Apr 2023 12:52:47 +0300
Subject: [PATCH] added gcc dependency, to allow mythril to find libgcc_s

---
 flake.lock                                  | 36 +++++++++++++++------
 packages/python-modules/mythril/default.nix |  6 ++--
 2 files changed, 31 insertions(+), 11 deletions(-)

diff --git a/flake.lock b/flake.lock
index 16917945..72e719da 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1,12 +1,15 @@
 {
   "nodes": {
     "flake-utils": {
+      "inputs": {
+        "systems": "systems"
+      },
       "locked": {
-        "lastModified": 1680776469,
-        "narHash": "sha256-3CXUDK/3q/kieWtdsYpDOBJw3Gw4Af6x+2EiSnIkNQw=",
+        "lastModified": 1681202837,
+        "narHash": "sha256-H+Rh19JDwRtpVPAWp64F+rlEtxUWBAQW28eAi3SRSzg=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "411e8764155aa9354dbcd6d5faaeb97e9e3dce24",
+        "rev": "cfacdce06f30d2b68473a46042957675eebb3401",
         "type": "github"
       },
       "original": {
@@ -17,11 +20,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1680758185,
-        "narHash": "sha256-sCVWwfnk7zEX8Z+OItiH+pcSklrlsLZ4TJTtnxAYREw=",
+        "lastModified": 1681737997,
+        "narHash": "sha256-pHhjgsIkRMu80LmVe8QoKIZB6VZGRRxFmIvsC5S89k4=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "0e19daa510e47a40e06257e205965f3b96ce0ac9",
+        "rev": "f00994e78cd39e6fc966f0c4103f908e63284780",
         "type": "github"
       },
       "original": {
@@ -48,11 +51,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1680833867,
-        "narHash": "sha256-vhy2YsnMTk2VvuaAg0WRW2KhSi0HbL10bVpYZnZr56I=",
+        "lastModified": 1681784311,
+        "narHash": "sha256-DJnxAHCZf9nAuL4wJKcWKaFHrB7MxpsQM6Z4wNi+16k=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "d1dd2791698a60837ed829a49cd0e4663f5da801",
+        "rev": "fc8bfcaf195d0b147b2f73915b735942e9929f93",
         "type": "github"
       },
       "original": {
@@ -60,6 +63,21 @@
         "repo": "rust-overlay",
         "type": "github"
       }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
     }
   },
   "root": "root",
diff --git a/packages/python-modules/mythril/default.nix b/packages/python-modules/mythril/default.nix
index deb735a2..eee79680 100644
--- a/packages/python-modules/mythril/default.nix
+++ b/packages/python-modules/mythril/default.nix
@@ -1,6 +1,6 @@
 {
   lib,
-  stdenv,
+  pkgs,
   python3Packages,
   fetchFromGitHub,
   py-ecc-410,
@@ -54,7 +54,8 @@ python3Packages.buildPythonPackage rec {
     substituteInPlace requirements.txt --replace "z3-solver>=4.8.8.0" z3-solver
   '';
 
-  propagatedBuildInputs = with python3Packages; [
+  propagatedBuildInputs = with pkgs;
+  with python3Packages; [
     setuptools
     pytest-mock
     requests
@@ -65,6 +66,7 @@ python3Packages.buildPythonPackage rec {
     configparser
     coloredlogs
     cython
+    gcc
 
     #custom packages
     pyparsing-247