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