Source-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/lang/coq (lang/coq) Fix build: Remove no effective SUB...
details: https://anonhg.NetBSD.org/pkgsrc/rev/0bb646482d6b
branches: trunk
changeset: 432645:0bb646482d6b
user: mef <mef%pkgsrc.org@localhost>
date: Sat May 23 23:45:45 2020 +0000
description:
(lang/coq) Fix build: Remove no effective SUBST block
diffstat:
lang/coq/Makefile | 8 +-------
1 files changed, 1 insertions(+), 7 deletions(-)
diffs (22 lines):
diff -r bca455aa7f2f -r 0bb646482d6b lang/coq/Makefile
--- a/lang/coq/Makefile Sat May 23 23:32:26 2020 +0000
+++ b/lang/coq/Makefile Sat May 23 23:45:45 2020 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.132 2020/04/28 05:46:53 riastradh Exp $
+# $NetBSD: Makefile,v 1.133 2020/05/23 23:45:45 mef Exp $
#
DISTNAME= coq-8.10.2
@@ -75,12 +75,6 @@
EGDIR= ${PREFIX}/share/coq/examples
#CONF_FILES= {EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc
-SUBST_CLASSES+= fix-paths
-SUBST_STAGE.fix-paths= post-configure
-SUBST_MESSAGE.fix-paths= Remove buildlink references from Coq_config module
-SUBST_FILES.fix-paths= config/coq_config.ml
-SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g"
-
.include "../../math/ocaml-num/buildlink3.mk"
.include "../../mk/pthread.buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
Home |
Main Index |
Thread Index |
Old Index