path: root/snapshots/hol4/build

#!/bin/bash

for d in lem/hol-lib sail/lib/hol sail/cheri sail/riscv; do
  (cd $d; Holmake)
done