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