blob: 9e2e1af841fc9726252d9f17f105a1a5d6bae801 (
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
|
# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
inherit bash-completion-r1 cmake java-pkg-opt-2 python-single-r1
DESCRIPTION="Datalog compiler, synthesizes C++ program from logic specification"
HOMEPAGE="http://souffle-lang.github.io/
https://github.com/souffle-lang/souffle/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/souffle-lang/${PN}.git"
else
SRC_URI="https://github.com/souffle-lang/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64 ~x86"
fi
LICENSE="UPL-1.0"
SLOT="0"
IUSE="+ffi java +ncurses +openmp python +sqlite swig test +zlib"
REQUIRED_USE="java? ( swig ) python? ( swig ) test? ( ${PYTHON_REQUIRED_USE} )"
# Still, some tests fail. TODO: Disable them.
# RESTRICT="!test? ( test )"
RESTRICT="test"
RDEPEND="
ffi? ( dev-libs/libffi:= )
ncurses? ( sys-libs/ncurses:= )
openmp? ( sys-libs/libomp:= )
python? ( ${PYTHON_DEPS} )
sqlite? ( dev-db/sqlite:3 )
swig? ( dev-lang/swig:= )
zlib? ( sys-libs/zlib:= )
"
DEPEND="
${RDEPEND}
java? ( >=virtual/jdk-1.8 )
"
BDEPEND="
sys-devel/bison
sys-devel/flex
test? ( ${PYTHON_DEPS} )
"
PATCHES=(
"${FILESDIR}/${PN}-2.4.1-ncurses.patch"
"${FILESDIR}/${PN}-2.4.1-threads.patch"
)
pkg_pretend() {
if [[ "${MERGE_TYPE}" != binary ]] ; then
if has ccache "${FEATURES}" && use test ; then
ewarn "Very many tests fail with ccache enabled."
fi
fi
}
pkg_setup() {
if use java ; then
java-pkg-opt-2_pkg_setup
fi
if use python || use test ; then
python-single-r1_pkg_setup
fi
}
src_prepare() {
unset LEX
cmake_src_prepare
java-pkg-opt-2_src_prepare
}
src_configure() {
local -a mycmakeargs=(
# Configure bash completions.
-DBASH_COMPLETION_COMPLETIONSDIR=$(get_bashcompdir)
-DSOUFFLE_BASH_COMPLETION=ON
# Disable developer tests.
-DSOUFFLE_TEST_EVALUATION=OFF
-DSOUFFLE_TEST_EXAMPLES=OFF
-DSOUFFLE_ENABLE_TESTING=$(usex test)
-DSOUFFLE_SWIG_JAVA=$(usex java)
-DSOUFFLE_SWIG_PYTHON=$(usex python)
-DSOUFFLE_USE_CURSES=$(usex ncurses)
-DSOUFFLE_USE_LIBFFI=$(usex ffi)
-DSOUFFLE_USE_OPENMP=$(usex openmp)
-DSOUFFLE_USE_SQLITE=$(usex sqlite)
-DSOUFFLE_USE_ZLIB=$(usex zlib)
)
# Version information for non-git, non-live builds.
if ! has live "${PROPERTIES}" ; then
mycmakeargs+=(
-DSOUFFLE_GIT=OFF
-DSOUFFLE_VERSION="${PV}"
)
fi
if use ffi ; then
mycmakeargs+=(
-DLIBFFI_INCLUDE_DIR="${EPREFIX}/usr/$(get_libdir)/libffi/include"
)
fi
cmake_src_configure
}
src_install() {
cmake_src_install
doman man/*.1
}
|
