blob: b8f03354bdc2d7c94336ef604c2bfa123aef51b5 (
plain)
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=6
PYTHON_COMPAT=( python2_7 )
inherit flag-o-matic java-pkg-2 java-pkg-simple python-r1 toolchain-funcs
DESCRIPTION="An efficient theorem prover"
HOMEPAGE="http://z3.codeplex.com/"
SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"
SLOT="0"
LICENSE="MIT"
KEYWORDS="~amd64 ~x86"
IUSE="doc gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
RDEPEND="${PYTHON_DEPS}
gmp? ( dev-libs/gmp:0 )"
DEPEND="${RDEPEND}
java? ( >=virtual/jdk-1.8 )"
S=${WORKDIR}/${PN}-${P}
JAVA_SRC_DIR=${S}/src/api/java
pkg_setup() {
if [[ ${MERGE_TYPE} != binary ]]; then
if [[ $(tc-getCXX)$ == *g++* ]] && ! tc-has-openmp; then
ewarn "Please use an openmp compatible compiler"
ewarn "like >gcc-4.2 with USE=openmp"
die "Openmp support missing in compiler"
fi
fi
}
src_prepare() {
default
sed \
-e 's:-O3::g' \
-e 's:-fomit-frame-pointer::' \
-e 's:-msse2::g' \
-e 's:-msse::g' \
-e "/LINK_EXTRA_FLAGS/s:@LDFLAGS@:-lrt $(usex gmp -lgmp ""):g" \
-e 's:t@\$:t\$:g' \
-i scripts/*mk* || die
sed \
-e "s:SLIBEXTRAFLAGS = '':SLIBEXTRAFLAGS = '-Wl,-soname,lib${PN}.so.0.1':" \
-i scripts/mk_util.py || die
sed -e 's:api\\html\\ml:api/html/ml:' \
-e 's:python/z3.py:python/z3/z3.py:' \
-i doc/mk_api_doc.py || die
append-ldflags -fopenmp
}
src_configure() {
python_setup
python_export PYTHON_SITEDIR
export Z3_INSTALL_LIB_DIR="$(get_libdir)"
export Z3_INSTALL_INCLUDE_DIR="include/z3"
set -- \
--pypkgdir="${PYTHON_SITEDIR}" \
--prefix="${ROOT}usr" \
$(usex gmp --gmp "") \
$(usex python --python "") \
$(usex java --java "")
elog ./configure "$@"
./configure "$@" || die
${EPYTHON} scripts/mk_make.py || die
}
src_compile() {
emake \
--directory="build" \
CXX=$(tc-getCXX) \
LINK="$(tc-getCXX) ${LDFLAGS}" \
LINK_FLAGS="${LDFLAGS}"
use java && java-pkg-simple_src_compile
pushd doc || die
${EPYTHON} mk_api_doc.py || die
popd || die
}
src_install() {
emake \
--directory="build" \
CXX=$(tc-getCXX) \
LINK="$(tc-getCXX) ${LDFLAGS}" \
LINK_FLAGS="${LDFLAGS}" \
install DESTDIR="${D}"
if use python; then
python_foreach_impl python_domodule src/api/python/*.py
fi
use java && java-pkg-simple_src_install
if use isabelle; then
ISABELLE_HOME="${ROOT}usr/share/Isabelle"
dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
cat <<- EOF >> "${S}/settings"
Z3_COMPONENT="\$COMPONENT"
Z3_HOME="${ROOT}usr/bin"
Z3_SOLVER="${ROOT}usr/bin/z3"
Z3_REMOTE_SOLVER="z3"
Z3_VERSION="${PV}"
Z3_INSTALLED="yes"
Z3_NON_COMMERCIAL="yes"
EOF
insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
doins "${S}/settings"
fi
local DOCS=( "README.md" "RELEASE_NOTES" )
local HTML_DOCS=( "doc/api/html" )
einstalldocs
}
pkg_postinst() {
if use isabelle; then
if [ -f "${ROOT}etc/isabelle/components" ]; then
if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then
sed -e "/contrib\/${PN}-[0-9.]*/d" \
-i "${ROOT}etc/isabelle/components"
fi
cat <<- EOF >> "${ROOT}etc/isabelle/components"
contrib/${PN}-${PV}
EOF
fi
fi
}
pkg_postrm() {
if use isabelle; then
if [ ! -f "${ROOT}usr/bin/Z3" ]; then
if [ -f "${ROOT}etc/isabelle/components" ]; then
# Note: this sed should only match the version of this ebuild
# Which is what we want as we do not want to remove the line
# of a new Isabelle component being installed during an upgrade.
sed -e "/contrib\/${PN}-${PV}/d" \
-i "${ROOT}etc/isabelle/components"
fi
fi
fi
}
|
GitWeb