From 3c6945de9c49860b13c98e7ca6b5f898f0bdc6a7 Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Fri, 23 Sep 2022 14:15:54 -0700
Subject: [PATCH] add cosmo-yices to build script

---
 build-all | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build-all b/build-all
index 6c513bf..b24259a 100755
--- a/build-all
+++ b/build-all
@@ -45,6 +45,12 @@ dbg_retrieve() {
  && podman build -t notwa-util notwa-util \
  && podman build -t cosmo cosmo \
  && podman build -t cosmo-kuroko cosmo-kuroko \
+ && podman build -t cosmo-yices cosmo-yices \
 \
  && dbg_retrieve cosmo-kuroko /bin/kuroko.com \
+ && dbg_retrieve cosmo-yices /bin/kissat.com \
+ && dbg_retrieve cosmo-yices /bin/yices-sat.com \
+ && dbg_retrieve cosmo-yices /bin/yices-smt.com \
+ && dbg_retrieve cosmo-yices /bin/yices-smt2.com \
+ && dbg_retrieve cosmo-yices /bin/yices.com \
 ;