summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortnn <tnn@pkgsrc.org>2022-04-12 11:28:00 +0000
committertnn <tnn@pkgsrc.org>2022-04-12 11:28:00 +0000
commitcce60544a1f03bbdf6010ae339a70fb6117ca525 (patch)
tree52d19edd1f8f4935cd51d47a7053e438ba591091
parent789738c68429f53f37142362d2fec7e3ceab2f0b (diff)
downloadpkgsrc-cce60544a1f03bbdf6010ae339a70fb6117ca525.tar.gz
ocaml-dune: remove wrong/incomplete PKGMANDIR solution
-rw-r--r--devel/ocaml-dune/Makefile7
1 files changed, 1 insertions, 6 deletions
diff --git a/devel/ocaml-dune/Makefile b/devel/ocaml-dune/Makefile
index 968970a824d..835ad251e45 100644
--- a/devel/ocaml-dune/Makefile
+++ b/devel/ocaml-dune/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.12 2022/03/28 17:08:09 tnn Exp $
+# $NetBSD: Makefile,v 1.13 2022/04/12 11:28:00 tnn Exp $
.include "Makefile.common"
@@ -34,11 +34,6 @@ OPAM_INSTALL_FILES= dune-glob \
dune \
dune-private-libs
-SUBST_CLASSES+= mandir
-SUBST_STAGE.mandir= pre-configure
-SUBST_FILES.mandir= src/dune_engine/install.ml
-SUBST_SED.mandir= -e 's,sprintf "man%c",sprintf "${PKGMANDIR}%c",'
-
post-build:
${RUN} cd ${WRKSRC} && ./dune.exe build -p dune,dune-action-plugin,dune-build-info,dune-glob,dune-private-libs @install