#!/bin/sh PREFIX=$1 rm -fr $PREFIX mkdir -p $PREFIX/COLIBRI/lib/ cp -ra Src/COLIBRI/lib/v7 $PREFIX/COLIBRI/lib/ cp -ra Src/COLIBRI/col_solve.eco Src/COLIBRI/filter_smtlib_file Src/COLIBRI/filter_smtlib_file.exe $PREFIX/COLIBRI/ cp -ra compile_flag.pl $PREFIX/COLIBRI/ cp -ra version $PREFIX/ ocamlopt unix.cmxa -o $PREFIX/colibri.exe colibri_for_bundle.ml cp $PREFIX/colibri.exe $PREFIX/colibri chmod u+x $PREFIX/colibri