1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/bin/bash
rebuild()
{
./Tatzer -l x64bb --nobuild-docs --prefix="$HOME/fcs-bin" && \
make
}
# Comment out to rebuild everything.
rebuild() { true ; }
set -x
script_dirname="$(dirname $BASH_SOURCE[-1])"
source "$script_dirname/fc_solve_common.bash"
rsync -a -v --progress --exclude='**/.svn/**' "$script_dirname/../.." "$FCS_PATH"
# if ! test -e "$FCS_PATH" ; then
# svn export "$FCS_SOURCE_URL" "$FCS_PATH" && \
# fi
# true && # ./Tatzer -l x64bb --nobuild-docs --prefix="$HOME/fcs-bin" && \
cd "$FCS_PATH" && \
rebuild && \
rm -f FAULT.txt sync.lock sync.txt summary.txt summary.lock \
global-params.txt summary.stats.perl-storable &&
perl scripts/parallel-range-solver-total --mode setup &&
rm -f range-queue.sock
|
