CVS commit: pkgsrc/lang/coq

["Makoto Fujiwara" <mef%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   mef
Date:           Sat May 23 23:45:45 UTC 2020

Modified Files:
        pkgsrc/lang/coq: Makefile

Log Message:
(lang/coq) Fix build: Remove no effective SUBST block


To generate a diff of this commit:
cvs rdiff -u -r1.132 -r1.133 pkgsrc/lang/coq/Makefile

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

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.132 pkgsrc/lang/coq/Makefile:1.133
--- pkgsrc/lang/coq/Makefile:1.132      Tue Apr 28 05:46:53 2020
+++ pkgsrc/lang/coq/Makefile    Sat May 23 23:45:45 2020
@@ -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 @@ PLIST_VARS+=         coqide natdynlink doc
 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"