wok-next diff z3/receipt @ rev 21604

updated duktape (2.3.0 -> 2.5.0)
author Hans-G?nter Theisgen
date Wed Jun 24 15:30:47 2020 +0100 (2020-06-24)
parents 8b5b2a6d07b8
children
line diff
     1.1 --- a/z3/receipt	Fri Sep 14 01:56:52 2018 +0300
     1.2 +++ b/z3/receipt	Wed Jun 24 15:30:47 2020 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  WGET_URL="https://github.com/Z3Prover/z3/releases/download/$PACKAGE-$VERSION/$TARBALL"
     1.5  
     1.6  BUILD_DEPENDS="python"
     1.7 -SPLIT="z3-dev"
     1.8 +SPLIT="$PACKAGE-dev"
     1.9  
    1.10  compile_rules() {
    1.11  	python scripts/mk_make.py