Revision 125e742a868cf35fb4772deb460e16a81a5198c3 authored by Pall Melsted on 28 September 2015, 21:40:02 UTC, committed by Pall Melsted on 28 September 2015, 21:40:02 UTC
1 parent 8e14f85
gen_release.sh
#!/bin/bash
if [ "$#" -ne 1 ]; then
echo "Usage: ./gen_release.sh OS_NAME"
exit 1
fi
OS=$1
RELEASE=release
if [ -d "$RELEASE" ]; then
rm -rf $RELEASE
fi
mkdir $RELEASE
cd $RELEASE
cmake -DLINK=static ..
make VERBOSE=1
mkdir kallisto
cp src/kallisto kallisto
cp -r ../test kallisto
cp ../license.txt kallisto
cp ../README.md kallisto
TAR_NAME="kallisto_${OS}.tar"
tar -cvvf $TAR_NAME kallisto
gzip $TAR_NAME
Computing file changes ...