sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 17:59:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

devel/ocaml-psmt2-frontend: fix build on powerpc

Browse source
This commit is contained in:
Piotr Kubaj 2025-01-16 14:00:46 +01:00
parent be8dee0954
commit 255c43fa19
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
devel/ocaml-psmt2-frontend/Makefile
View file

@ -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