blob: 5aca84b467116872755ef4843b8749df24db1e3e (
plain) (
blame)
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
|
setup_build_variables_metasmt() {
METASMT_SRC_PATH="${BASE}/metaSMT-${METASMT_VERSION}"
METASMT_BUILD_PATH="${BASE}/metaSMT-${METASMT_VERSION}-build"
METASMT_INSTALL_PATH="${BASE}/metaSMT-${METASMT_VERSION}-install"
METASMT_DEPS_PATH="${BASE}/metaSMT-${METASMT_VERSION}-deps"
}
download_metasmt() {
source "${DIR}/common-functions"
# Clone
git_clone_or_update https://github.com/hoangmle/metaSMT.git "${METASMT_SRC_PATH}" "${METASMT_VERSION}"
cd "${METASMT_SRC_PATH}"
git submodule update --init
# Bootstrap
git_clone_or_update https://github.com/agra-uni-bremen/dependencies.git "${METASMT_SRC_PATH}/dependencies" "development"
# Apply existing patches if needed
if [ -f "${DIR}/patches/metasmt.patch" ]; then
cd "${METASMT_SRC_PATH}/dependencies" || (echo "Directory does not exist"; exit 1)
patch -p1 --follow-symlinks -i "${DIR}/patches/metasmt.patch" || return 1
fi
}
build_metasmt() {
# MetaSMT might need to cherry-pick some git commits, but git requires email and user to be set to do this operation
# Provide a temporary value for this
export GIT_COMMITTER_EMAIL="foo@bar"
export GIT_COMMITTER_NAME="foobar"
export BOOST_ROOT="/usr/include/"
cd "${METASMT_SRC_PATH}"
./bootstrap.sh -d deps -m RELEASE build -DmetaSMT_ENABLE_TESTS=off \
--build stp-git-basic --build boolector-git --build minisat-git \
--build lingeling-bbc-9230380-161217 --build yices-2.6.2 --build Z3-4.8.6 \
--build cvc4-1.8 \
--deps "${METASMT_DEPS_PATH}/" \
--install "${METASMT_INSTALL_PATH}/" \
-j "$(nproc)" \
"${METASMT_BUILD_PATH}"
# Build
cd "${METASMT_BUILD_PATH}"
make
}
install_metasmt() {
cd "${METASMT_BUILD_PATH}"
make install
touch "${METASMT_INSTALL_PATH}"/.is_installed
}
get_docker_config_id_metasmt() {
echo "${METASMT_VERSION}"
}
# Check if the binary artifact is installed
is_installed_metasmt() {
(
setup_build_variables_metasmt
[[ -f "${METASMT_INSTALL_PATH}"/.is_installed ]]
) || return 1
}
setup_artifact_variables_metasmt() {
setup_build_variables_metasmt
}
get_docker_config_id_metasmt() {
(
echo "${METASMT_VERSION}"
)
}
get_build_artifacts_metasmt() {
(
setup_build_variables_metasmt
echo "${METASMT_INSTALL_PATH}/"
echo "${METASMT_BUILD_PATH}/"
echo "${METASMT_DEPS_PATH}/"
)
}
|
