Installation output for z3 [ok]

Installation time: 0s

'/usr/home/chicken/salmonella/build/salmonella-run-publish/chicken/bin/chicken-install' -v 2>&1
checking z3 ...
checking platform for `z3'
checking dependencies for `z3'
install order:
("z3")
building z3
running script /usr/home/chicken/salmonella/build/salmonella-run-publish/salmonella-repo/repo/cache/z3/z3.build.sh
executing: "sh /usr/home/chicken/salmonella/build/salmonella-run-publish/salmonella-repo/repo/cache/z3/z3.build.sh"
  installing z3
running script /usr/home/chicken/salmonella/build/salmonella-run-publish/salmonella-repo/repo/cache/z3/z3.install.sh
executing: "sh /usr/home/chicken/salmonella/build/salmonella-run-publish/salmonella-repo/repo/cache/z3/z3.install.sh"