wok-next view z3/receipt @ rev 21604
updated duktape (2.3.0 -> 2.5.0)
| author | Hans-G?nter Theisgen |
|---|---|
| date | Wed Jun 24 15:30:47 2020 +0100 (2020-06-24) |
| parents | 8b5b2a6d07b8 |
| children |
line source
1 # SliTaz package receipt v2.
3 PACKAGE="z3"
4 VERSION="4.7.1"
5 CATEGORY="development"
6 SHORT_DESC="The Z3 Theorem Prover"
7 MAINTAINER="al.bobylev@gmail.com"
8 LICENSE="MIT"
9 WEB_SITE="https://github.com/Z3Prover/z3"
11 TARBALL="$PACKAGE-$VERSION.tar.gz"
12 WGET_URL="https://github.com/Z3Prover/z3/releases/download/$PACKAGE-$VERSION/$TARBALL"
14 BUILD_DEPENDS="python"
15 SPLIT="$PACKAGE-dev"
17 compile_rules() {
18 python scripts/mk_make.py
19 cd build
20 make &&
21 make install
22 }
24 genpkg_rules() {
25 case $PACKAGE in
26 z3)
27 copy @std
28 DEPENDS="libgomp"
29 ;;
30 *-dev)
31 copy @dev
32 ;;
33 esac
34 }