git: 255c43fa198a - main - devel/ocaml-psmt2-frontend: fix build on powerpc

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Piotr Kubaj <pkubaj_at_FreeBSD.org>
Date: Fri, 17 Jan 2025 21:47:04 UTC

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