wok-next view z3/receipt @ rev 21445
updated scim (1.4.17 -> 1.4.18)
author | Hans-G?nter Theisgen |
---|---|
date | Tue May 05 16:55:11 2020 +0100 (2020-05-05) |
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 }