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