Date: Fri, 17 Jan 2025 21:47:04 GMT From: Piotr Kubaj <pkubaj@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 255c43fa198a - main - devel/ocaml-psmt2-frontend: fix build on powerpc Message-ID: <202501172147.50HLl4Hf062779@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by pkubaj: URL: https://cgit.FreeBSD.org/ports/commit/?id=255c43fa198ae9dea70db99a7bfbba56d8f183db commit 255c43fa198ae9dea70db99a7bfbba56d8f183db Author: Piotr Kubaj <pkubaj@FreeBSD.org> AuthorDate: 2025-01-16 13:00:46 +0000 Commit: Piotr Kubaj <pkubaj@FreeBSD.org> CommitDate: 2025-01-17 21:45:23 +0000 devel/ocaml-psmt2-frontend: fix build on powerpc --- devel/ocaml-psmt2-frontend/Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/devel/ocaml-psmt2-frontend/Makefile b/devel/ocaml-psmt2-frontend/Makefile index dd52551cad96..4081f23911ce 100644 --- a/devel/ocaml-psmt2-frontend/Makefile +++ b/devel/ocaml-psmt2-frontend/Makefile @@ -24,6 +24,12 @@ PORTDOCS= ${OCAML_PACKAGES:@p@$p/CHANGES.md $p/LICENSE $p/LICENSE.md $p/README.m OPTIONS_DEFINE= DOCS +.include <bsd.port.options.mk> + +.if ${ARCH} == powerpc +USE_BINUTILS= yes +.endif + post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/psmt2-frontend/psmt2Frontend.cmxs
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202501172147.50HLl4Hf062779>