inserting cabal update

cavalab · Aug 31, 2024 · 9f8871f · 9f8871f
1 parent a3ae533
commit 9f8871f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/algorithms/tir/install.sh b/algorithms/tir/install.sh
@@ -12,4 +12,5 @@ cd tir
 #export PATH=$PATH:~/.ghcup/bin:~/.cabal/bin 
 
 #conda activate srbench
+cabal update
 cabal install --overwrite-policy=always --installdir=./python && cd python && pip install .