pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/math/z3 Remove the references to wip
details: https://anonhg.NetBSD.org/pkgsrc/rev/38486221d3c7
branches: trunk
changeset: 377045:38486221d3c7
user: khorben <khorben%pkgsrc.org@localhost>
date: Tue Mar 13 00:34:02 2018 +0000
description:
Remove the references to wip
diffstat:
math/z3/Makefile.common | 9 ++++-----
math/z3/buildlink3.mk | 4 ++--
2 files changed, 6 insertions(+), 7 deletions(-)
diffs (40 lines):
diff -r bb8c7a4dac6a -r 38486221d3c7 math/z3/Makefile.common
--- a/math/z3/Makefile.common Tue Mar 13 00:32:11 2018 +0000
+++ b/math/z3/Makefile.common Tue Mar 13 00:34:02 2018 +0000
@@ -1,14 +1,13 @@
-# $NetBSD: Makefile.common,v 1.1 2018/03/13 00:31:16 khorben Exp $
+# $NetBSD: Makefile.common,v 1.2 2018/03/13 00:34:02 khorben Exp $
#
-# used by wip/py-z3/Makefile
-# used by wip/z3/Makefile
+# used by math/z3/Makefile
DISTNAME= z3-4.5.0
GITHUB_TAG= ${DISTNAME}
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/}
-DISTINFO_FILE= ${.CURDIR}/../../wip/z3/distinfo
-PATCHDIR?= ${.CURDIR}/../../wip/z3/patches
+DISTINFO_FILE= ${.CURDIR}/../../math/z3/distinfo
+PATCHDIR?= ${.CURDIR}/../../math/z3/patches
MAINTAINER= dholland%NetBSD.org@localhost
HOMEPAGE= https://github.com/Z3Prover/z3/
diff -r bb8c7a4dac6a -r 38486221d3c7 math/z3/buildlink3.mk
--- a/math/z3/buildlink3.mk Tue Mar 13 00:32:11 2018 +0000
+++ b/math/z3/buildlink3.mk Tue Mar 13 00:34:02 2018 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: buildlink3.mk,v 1.1 2018/03/13 00:31:16 khorben Exp $
+# $NetBSD: buildlink3.mk,v 1.2 2018/03/13 00:34:02 khorben Exp $
BUILDLINK_TREE+= z3
@@ -6,7 +6,7 @@
Z3_BUILDLINK3_MK:=
BUILDLINK_API_DEPENDS.z3+= z3>=4.5.0
-BUILDLINK_PKGSRCDIR.z3?= ../../wip/z3
+BUILDLINK_PKGSRCDIR.z3?= ../../math/z3
.endif # Z3_BUILDLINK3_MK
Home |
Main Index |
Thread Index |
Old Index