Installation output for z3

Installation time: 5.0s

CHICKEN_INSTALL_PREFIX=/root/src/salmonella/salmonella-4.5.0/repo CHICKEN_INCLUDE_PATH=/root/src/salmonella/salmonella-4.5.0/repo/share/chicken CHICKEN_REPOSITORY=/root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5 /usr/local/chicken-4.5.0/bin/chicken-install  -prefix /root/src/salmonella/salmonella-4.5.0/repo 
retrieving ...
checking platform for `z3' ...
checking dependencies for `z3' ...
install order:
("z3")
installing z3: ...
changing current directory to .
  /usr/local/chicken-4.5.0/bin/csi -bnq -setup-mode -e "(require-library setup-api)" -e "(import setup-api)" -e "(extension-name-and-version '(\"z3\" \"\"))" -e "(destination-prefix \"/root/src/salmonella/salmonella-4.5.0/repo\")" z3.setup
  /usr/local/chicken-4.5.0/bin/csc -feature compiling-extension -setup-mode    z3.scm -O2 -d1 -s -extend easyffi -j z3
  /usr/local/chicken-4.5.0/bin/csc -feature compiling-extension -setup-mode    z3.import.scm -O2 -d0 -s
  rm -fr /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.so
  cp -r z3.so /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.so
  chmod a+r /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.so
  rm -fr /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.import.so
  cp -r z3.import.so /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.import.so
  chmod a+r /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.import.so
  chmod a+r /root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5/z3.setup-info