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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
#!/usr/bin/env bash
#
set -e -o pipefail
[ ! -d contrib ] && echo "$0 not called from base directory" && exit 1
DEPS_DIR="$(pwd)/deps"
INSTALL_DIR="$DEPS_DIR/install"
INSTALL_LIB_DIR="$INSTALL_DIR/lib"
INSTALL_INCLUDE_DIR="$INSTALL_DIR/include"
INSTALL_BIN_DIR="$INSTALL_DIR/bin"
mkdir -p "$DEPS_DIR"
if ! [ -e src/parser/cvc/Cvc.g ]; then
echo "$(basename $0): I expect to be in the contrib/ of a CVC4 source tree," >&2
echo "but apparently:" >&2
echo >&2
echo " $(pwd)" >&2
echo >&2
echo "is not a CVC4 source tree ?!" >&2
exit 1
fi
function webget {
if [ -x "$(command -v wget)" ]; then
wget -c -O "$2" "$1"
elif [ -x "$(command -v curl)" ]; then
curl -L "$1" >"$2"
else
echo "Can't figure out how to download from web. Please install wget or curl." >&2
exit 1
fi
}
for cmd in python python2 python3; do
if [ -x "$(command -v $cmd)" ]; then
PYTHON="$cmd"
break
fi
done
if [ -z "$PYTHON" ]; then
echo "Error: Couldn't find python, python2, or python3." >&2
exit 1
fi
function setup_dep
{
url="$1"
directory="$2"
echo "Setting up $directory ..."
mkdir -p "$directory"
cd "$directory"
webget "$url" archive
tar xf archive --strip 1 # Strip top-most directory
rm archive
}
function check_dep_dir
{
if [ -e "$1" ]; then
echo "error: file or directory '$1' exists; please move it out of the way." >&2
exit 1
fi
}
# Some of our dependencies do not provide a make install rule. Use the
# following helper functions to copy libraries/headers/binaries into the
# corresponding directories in deps/install.
function install_lib
{
echo "Copying $1 to $INSTALL_LIB_DIR"
[ ! -d "$INSTALL_LIB_DIR" ] && mkdir -p "$INSTALL_LIB_DIR"
cp "$1" "$INSTALL_LIB_DIR"
}
function install_includes
{
include="$1"
subdir="$2"
echo "Copying $1 to $INSTALL_INCLUDE_DIR/$subdir"
[ ! -d "$INSTALL_INCLUDE_DIR" ] && mkdir -p "$INSTALL_INCLUDE_DIR"
[ -n "$subdir" ] && [ ! -d "$INSTALL_INCLUDE_DIR/$subdir" ] && mkdir -p "$INSTALL_INCLUDE_DIR/$subdir"
cp -r "$include" "$INSTALL_INCLUDE_DIR/$subdir"
}
function install_bin
{
echo "Copying $1 to $INSTALL_BIN_DIR"
[ ! -d "$INSTALL_BIN_DIR" ] && mkdir -p "$INSTALL_BIN_DIR"
cp "$1" "$INSTALL_BIN_DIR"
}
|
