From 79def8a7935f948c7cca0e9a8354a2d097ac5207 Mon Sep 17 00:00:00 2001 From: Fabricio Olivetti de Franca Date: Sat, 10 Aug 2024 09:15:06 -0300 Subject: [PATCH] Update install.sh some bug fixes and max_time support --- algorithms/tir/install.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/algorithms/tir/install.sh b/algorithms/tir/install.sh index 923b631a5..299f09655 100755 --- a/algorithms/tir/install.sh +++ b/algorithms/tir/install.sh @@ -9,6 +9,7 @@ fi git clone /~https://github.com/folivetti/tir.git cd tir +git checkout 959a315bd6a819d66536d8f91f0ff19cf00d8908 # WGL NOTE: this is a temp fix until PR /~https://github.com/folivetti/ITEA/pull/12 is merged # install ghcup