From b6f1ea846b6997b1dd1883e4b58bc9719b9bf831 Mon Sep 17 00:00:00 2001 From: Thierry Thomas Date: Fri, 18 Mar 2022 12:43:51 +0100 Subject: [PATCH] devel/ocaml-cmdliner: chase the upgrade of OCaml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Since I’m there, strip the binary. --- devel/ocaml-cmdliner/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/devel/ocaml-cmdliner/Makefile b/devel/ocaml-cmdliner/Makefile index 4a7211db04c9..742bd380d578 100644 --- a/devel/ocaml-cmdliner/Makefile +++ b/devel/ocaml-cmdliner/Makefile @@ -1,6 +1,6 @@ PORTNAME= cmdliner PORTVERSION= 1.0.4 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= devel MASTER_SITES= https://erratique.ch/software/cmdliner/releases/ PKGNAMEPREFIX= ocaml- @@ -22,4 +22,7 @@ INSTALL_TARGET= install OPTIONS_DEFINE= DOCS DOCS_INSTALL_TARGET= install-doc +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs + .include -- 2.35.1