SliTaz Repositories

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="$PACKAGE-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 }