diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/z3/Makefile.common | 9 | ||||
| -rw-r--r-- | math/z3/buildlink3.mk | 4 |
2 files changed, 6 insertions, 7 deletions
diff --git a/math/z3/Makefile.common b/math/z3/Makefile.common index a8db949668a..0a955ee36da 100644 --- a/math/z3/Makefile.common +++ b/math/z3/Makefile.common @@ -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 HOMEPAGE= https://github.com/Z3Prover/z3/ diff --git a/math/z3/buildlink3.mk b/math/z3/buildlink3.mk index 98a2363a7cc..f382763f7cb 100644 --- a/math/z3/buildlink3.mk +++ b/math/z3/buildlink3.mk @@ -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 @@ BUILDLINK_TREE+= z3 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 |