From b54afcda5f4fbd449e34eea889e119383fd031fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Tue, 1 Oct 2024 18:50:26 +0200
Subject: [PATCH] flake: make develop environment work on aarch64 macOS

---
 flake.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index b98ea6c85..898cc67f0 100644
--- a/flake.nix
+++ b/flake.nix
@@ -28,7 +28,8 @@
         # TODO: maybe only override it for echidna-redistributable?
         pkgsStatic = if pkgs.stdenv.hostPlatform.isLinux then pkgs.pkgsStatic else pkgs;
         # this is not perfect for development as it hardcodes solc to 0.5.7, test suite runs fine though
-        solc = solc-pkgs.mkDefault pkgs pkgs.solc_0_5_7;
+        # 0.5.7 is not available on aarch64 darwin so alternatively pick 0.8.5
+        solc = solc-pkgs.mkDefault pkgs (pkgs.solc_0_5_7 or pkgs.solc_0_8_5);
 
         secp256k1-static = pkgsStatic.secp256k1.overrideAttrs (attrs: {
           configureFlags = attrs.configureFlags ++ [ "--enable-static" ];