pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/math/z3



Module Name:    pkgsrc
Committed By:   khorben
Date:           Tue Mar 13 00:34:02 UTC 2018

Modified Files:
        pkgsrc/math/z3: Makefile.common buildlink3.mk

Log Message:
Remove the references to wip


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/z3/Makefile.common \
    pkgsrc/math/z3/buildlink3.mk

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/z3/Makefile.common
diff -u pkgsrc/math/z3/Makefile.common:1.1 pkgsrc/math/z3/Makefile.common:1.2
--- pkgsrc/math/z3/Makefile.common:1.1  Tue Mar 13 00:31:16 2018
+++ pkgsrc/math/z3/Makefile.common      Tue Mar 13 00:34:02 2018
@@ -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/
Index: pkgsrc/math/z3/buildlink3.mk
diff -u pkgsrc/math/z3/buildlink3.mk:1.1 pkgsrc/math/z3/buildlink3.mk:1.2
--- pkgsrc/math/z3/buildlink3.mk:1.1    Tue Mar 13 00:31:16 2018
+++ pkgsrc/math/z3/buildlink3.mk        Tue Mar 13 00:34:02 2018
@@ -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
 



Home | Main Index | Thread Index | Old Index