1#!/bin/sh 2 3force=no 4 5die () { 6 echo "*** mksrcrelease.sh: $*" 1>&2 7 exit 1 8} 9 10[ -e src ] || die "can not find 'src', call from btor2tools base directory" 11 12while [ $# -gt 0 ] 13do 14 case $1 in 15 -h) echo "usage: mksrcrelease.sh [-h][-f]";exit 0;; 16 -f) force=yes;; 17 *) die "invalid command line option '$1'";; 18 esac 19 shift 20done 21 22LC_TIME="en_US.UTF-8" 23export LC_TIME 24 25date=`date +%y%m%d` 26version=`cat VERSION` 27gitid=`git rev-parse HEAD` 28gitid_short=`git rev-parse --short=7 HEAD` 29 30id="$version-$gitid_short-$date" 31name=btor2tools-$id 32dir="/tmp/$name" 33 34if [ -d $dir ] 35then 36 [ $force = no ] && die "$dir already exists, use '-f'" 37fi 38 39rm -rf $dir 40mkdir $dir || exit 1 41 42mkdir $dir/src || exit 1 43 44cp -p \ 45 AUTHORS \ 46 VERSION \ 47 LICENSE.txt \ 48 README.md \ 49 configure.sh \ 50 makefile.in \ 51$dir/ 52 53cp -p --parents \ 54 src/btor2parser/btor2parser.[ch] \ 55 src/btorsim/btorsim.c \ 56 src/btorsim/btorsimbv.[ch] \ 57 src/btorsim/btorsimrng.[ch] \ 58 src/util/btor2mem.h \ 59 src/util/btor2stack.h \ 60 src/catbtor.c \ 61$dir 62 63cp -p -r --parents \ 64 examples/btorsim/*.btor2 \ 65 examples/btorsim/mc-witnesses \ 66 examples/btorsim/run-examples.sh \ 67$dir 68 69cd /tmp/ 70rm -f $name.tar.xz 71tar Jcf $name.tar.xz $name 72ls -l /tmp/$name.tar.xz | awk '{print $5, $NF}' 73rm -rf $dir 74