diff options
| author | mef <mef@pkgsrc.org> | 2020-05-23 23:45:45 +0000 |
|---|---|---|
| committer | mef <mef@pkgsrc.org> | 2020-05-23 23:45:45 +0000 |
| commit | cb8f724b276d7c2cc9c5570cb053042b514fbea7 (patch) | |
| tree | ad2154b17569164e51761a220e39d3444852e6ef /lang/coq | |
| parent | 016ca1c6172a193a0ea32c7db0868ce644446405 (diff) | |
| download | pkgsrc-cb8f724b276d7c2cc9c5570cb053042b514fbea7.tar.gz | |
(lang/coq) Fix build: Remove no effective SUBST block
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index f3ff32e729f..347cd1ae065 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -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" |