File tree 1 file changed +5
-5
lines changed
1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change 1
- # Copyright 1999-2019 Gentoo Authors
1
+ # Copyright 1999-2020 Gentoo Authors
2
2
# Distributed under the terms of the GNU General Public License v2
3
3
4
4
EAPI=7
5
5
6
- inherit cmake-utils
6
+ inherit cmake
7
7
8
8
DESCRIPTION=" Simple Theorem Prover, an efficient SMT solver for bitvectors"
9
9
HOMEPAGE=" https://stp.github.io/"
@@ -23,7 +23,7 @@ src_prepare() {
23
23
# replace static lib with $(get_libdir)
24
24
sed -i " s/set(LIBDIR lib/set(LIBDIR $( get_libdir) /" CMakeLists.txt || die
25
25
26
- cmake-utils_src_prepare
26
+ cmake_src_prepare
27
27
}
28
28
29
29
src_configure () {
@@ -33,11 +33,11 @@ src_configure() {
33
33
-DENABLE_PYTHON_INTERFACE=" $( usex python) "
34
34
-DSTATICCOMPILE=" $( usex static) "
35
35
)
36
- cmake-utils_src_configure
36
+ cmake_src_configure
37
37
}
38
38
39
39
src_install () {
40
- cmake-utils_src_install
40
+ cmake_src_install
41
41
42
42
# don't install to /usr/man
43
43
doman " ${D} /usr/man/man1/stp.1"
You can’t perform that action at this time.
0 commit comments