Merge branch 'dev' into dev-doc

2 years ago · 05fb191731
parent c38c4cb237 0dc2a49d6c
commit 05fb191731
1 changed files with 5 additions and 0 deletions
--- a/scripts/ci_test_dapp.sh
+++ b/scripts/ci_test_dapp.sh
@ -2,6 +2,11 @@

 ### Test Dapp integration

+# work around having two python versions loading libraries from each other in CI
+OLD_LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
+alias crytic-compile='LD_LIBRARY_PATH=$OLD_LD_LIBRARY_PATH crytic-compile'
+unset LD_LIBRARY_PATH
+
 mkdir test_dapp
 cd test_dapp || exit 255
 # The dapp init process makes a temporary local git repo and needs certain values to be set