From e8f1bad48bb8062cb986518cc99a1a95db8fb91e Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Thu, 17 Jun 2021 11:03:00 +0000
Subject: [PATCH] Update ci-hol4.sh to disable binary build

---
 scripts/ci-hol4.sh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/scripts/ci-hol4.sh b/scripts/ci-hol4.sh
index b67af199..384aadf9 100755
--- a/scripts/ci-hol4.sh
+++ b/scripts/ci-hol4.sh
@@ -40,12 +40,12 @@ cd ./hol4
 
 $HOLDIR/bin/Holmake
 
-cd ./binary
+#cd ./binary
 
-echo "Downloading CakeML"
-git submodule init cakeml
-git submodule update -f cakeml
+#echo "Downloading CakeML"
+#git submodule init cakeml
+#git submodule update -f cakeml
 
-$HOLDIR/bin/Holmake checkerBinaryTheory.uo
-$HOLDIR/bin/Holmake checker.S
-$HOLDIR/bin/Holmake cake_checker
+#$HOLDIR/bin/Holmake checkerBinaryTheory.uo
+#$HOLDIR/bin/Holmake checker.S
+#$HOLDIR/bin/Holmake cake_checker
-- 
GitLab