wok-next view z3/receipt @ rev 21153

Small updates.
author Aleksej Bobylev <al.bobylev@gmail.com>
date Thu Jan 31 16:45:41 2019 +0200 (2019-01-31)
parents 8b5b2a6d07b8
children
line source
1 # SliTaz package receipt v2.
2
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"
10
11 TARBALL="$PACKAGE-$VERSION.tar.gz"
12 WGET_URL="https://github.com/Z3Prover/z3/releases/download/$PACKAGE-$VERSION/$TARBALL"
13
14 BUILD_DEPENDS="python"
15 SPLIT="$PACKAGE-dev"
16
17 compile_rules() {
18 python scripts/mk_make.py
19 cd build
20 make &&
21 make install
22 }
23
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 }