wok-next annotate z3/receipt @ rev 21578

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