#!/bin/csh

cd $PICASSOHOME/lib/po/cimtool/support

echo '(load "cimtool")' \
     "(proclaim '(optimize (compilation-speed 0)))" \
     '(compile-cimtool)' | new-picasso
