diff options
| author | khorben <khorben@pkgsrc.org> | 2018-03-13 00:34:02 +0000 |
|---|---|---|
| committer | khorben <khorben@pkgsrc.org> | 2018-03-13 00:34:02 +0000 |
| commit | 34d79d1f2fd7663f6239025b4069eb88590b2367 (patch) | |
| tree | 0eca210132e22a059634734a3e63f15ea2f347eb /math/z3 | |
| parent | 9de1ac1f5cbc68cf21d08202d5641c4b474a8518 (diff) | |
| download | pkgsrc-34d79d1f2fd7663f6239025b4069eb88590b2367.tar.gz | |
Remove the references to wip
Diffstat (limited to 'math/z3')
| -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 |