-
François Bobot authoredFrançois Bobot authored
bundle.sh 423 B
#!/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