Installation output for z3 [ok]

• Report summary
• Installation report
• Test report
• Dependencies graphs
• Reverse dependencies graphs

Installation time: 2s

/home/mario/local/chicken-4.8.0.3/bin/chicken-install  -prefix /home/mario/salmonella/4.8.0.3/3/repo
retrieving ...
checking platform for `z3' ...
checking dependencies for `z3' ...
install order:
("z3")
installing z3: ...
changing current directory to .
  /home/mario/local/chicken-4.8.0.3/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 \"/home/mario/salmonella/4.8.0.3/3/repo\")" -e "(runtime-prefix \"/home/mario/salmonella/4.8.0.3/3/repo\")" z3.setup
  /home/mario/local/chicken-4.8.0.3/bin/csc -feature compiling-extension -setup-mode    z3.scm -O2 -d1 -s -j z3
  /home/mario/local/chicken-4.8.0.3/bin/csc -feature compiling-extension -setup-mode    z3.import.scm -O2 -d0 -s
  cp -r z3.so /home/mario/salmonella/4.8.0.3/3/repo/lib/chicken/6/z3.so
  chmod a+r /home/mario/salmonella/4.8.0.3/3/repo/lib/chicken/6/z3.so
  cp -r z3.import.so /home/mario/salmonella/4.8.0.3/3/repo/lib/chicken/6/z3.import.so
  chmod a+r /home/mario/salmonella/4.8.0.3/3/repo/lib/chicken/6/z3.import.so
  chmod a+r /home/mario/salmonella/4.8.0.3/3/repo/lib/chicken/6/z3.setup-info