Installation output for z3

Installation time: 5s

/root/salmonella-run-publish/chicken/bin/chicken-install  -prefix /root/salmonella-run-publish/salmonella-repo/repo
retrieving ...
checking platform for `z3' ...
checking dependencies for `z3' ...
install order:
("z3")
installing z3: ...
changing current directory to .
  /root/salmonella-run-publish/chicken/bin/csi -bnq -setup-mode -e "(require-library setup-api)" -e "(import setup-api)" -e "(setup-error-handling)" -e "(extension-name-and-version '(\"z3\" \"\"))" -e "(destination-prefix \"/root/salmonella-run-publish/salmonella-repo/repo\")" -e "(runtime-prefix \"/root/salmonella-run-publish/salmonella-repo/repo\")" z3.setup
  /root/salmonella-run-publish/chicken/bin/csc -feature compiling-extension -setup-mode    z3.scm -O2 -d1 -s -j z3
  /root/salmonella-run-publish/chicken/bin/csc -feature compiling-extension -setup-mode    z3.import.scm -O2 -d0 -s
  cp -r z3.so /root/salmonella-run-publish/salmonella-repo/repo/lib/chicken/6/z3.so
  chmod a+r /root/salmonella-run-publish/salmonella-repo/repo/lib/chicken/6/z3.so
  cp -r z3.import.so /root/salmonella-run-publish/salmonella-repo/repo/lib/chicken/6/z3.import.so
  chmod a+r /root/salmonella-run-publish/salmonella-repo/repo/lib/chicken/6/z3.import.so
  chmod a+r /root/salmonella-run-publish/salmonella-repo/repo/lib/chicken/6/z3.setup-info