From dc1af638b33e1d82818267545b12325d6655f31a Mon Sep 17 00:00:00 2001
From: sunbreak1211 <sunbreak1211@proton.me>
Date: Fri, 25 Oct 2024 16:23:18 -0300
Subject: [PATCH] Improve PATH compatibility

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a2008f4..49163e7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,3 @@
-PATH := ~/.solc-select/artifacts/solc-0.8.21:$(PATH)
+PATH := ~/.solc-select/artifacts/:~/.solc-select/artifacts/solc-0.8.21:$(PATH)
 certora-l1-token-gateway :; PATH=${PATH} certoraRun certora/L1TokenGateway.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
 certora-l2-token-gateway :; PATH=${PATH} certoraRun certora/L2TokenGateway.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)