wok-next view z3/receipt @ rev 21212
updated barnyard2 (1.9 -> 2.1.13)
author | Hans-G?nter Theisgen |
---|---|
date | Mon Dec 02 17:16:10 2019 +0100 (2019-12-02) |
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 }