1 files changed, 5 insertions, 0 deletions
diff --git a/snapshots/hol4/build b/snapshots/hol4/build
new file mode 100755
index 00000000..2b8be130
--- /dev/null
+++ b/snapshots/hol4/build
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+for d in lem/hol-lib sail/lib/hol sail/cheri sail/riscv; do
+  (cd $d; Holmake)
+done