wok-next annotate z3/receipt @ rev 20969

Micro-updates + { new clang + assaultcube (still broken)} + {new python modules from SliTaz Cooking + their depends}
author Aleksej Bobylev <al.bobylev@gmail.com>
date Fri Sep 14 01:56:52 2018 +0300 (2018-09-14)
parents
children d5aab818505e
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@20969 15 SPLIT="z3-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 }