wok-next view z3/receipt @ rev 21005

Small updates
author Aleksej Bobylev <al.bobylev@gmail.com>
date Mon Oct 08 11:41:17 2018 +0300 (2018-10-08)
parents
children d5aab818505e
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="z3-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 }