From nobody Fri Jan 17 21:47:04 2025 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4YZYGx2s8Fz5kHFF; Fri, 17 Jan 2025 21:47:05 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4YZYGw3vwhz4GHP; Fri, 17 Jan 2025 21:47:04 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1737150424; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=VXRTnBUtG5G2VE+TJ6j2c1/vpmuGZBnN7L5qZjIqtv8=; b=sS4AbNohIBtvs2sCzAr2gRDcJ9W3/XteZpQGbHkzg0X+Z8qe1+95peDtRE82Dy/LMeTC4I JEGqh1eoCNeZFXkiXYUHrGD2AFrlzGMt2ok7dSXM6k1FTUtje6pOCzANG4KfLoOoBwOOmF rI43kOb2Q6Lo4wSSNmqIKenKXt0+448VtTmAxy6JJd4JOMGGmNJcmwjiP+R0F/xeIseCH1 pzyZaHXe8eaOlEUgRctqRziYkgTnzc7qkH8RZhrmxdyqp6TZIRKOti3y9bhf4dIMHXu4zZ 98EC84ezeA/ebxExnxuyU9IbWuti0gqEl/UqqSpFVwfTQ2aVCxTO5SnI0g8nQQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1737150424; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=VXRTnBUtG5G2VE+TJ6j2c1/vpmuGZBnN7L5qZjIqtv8=; b=YMA9njm03RL4c+EJzckVV5miesxijkv9mDzbbQqUA9MHrYCfXcAD9hUEWMuka6sFi93e4C RxMvMtKWOkI61IxSos+vBjooq3+0cfZhfvq0JRrQWe250NdJXEWZTYusyD1QRUanqVlG3O Xmytev/PTNWpQZoGUIHTshUm274QGh6Y09EDQnTTb743ch6DwL/CMlKr7xGmf7TWGDWkxl vImIVJG3UYFmNRlYxdCMHc679awf+5jNN2yjywtL5xaon0VFFk3VpeMEtZg8vMf4tmbBU/ oKBMbgk7pro7QIzQmSVqI57OiMQdTLRFd+Cg2q9SYIGRkowoJwQiQbKsPVL1rg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1737150424; a=rsa-sha256; cv=none; b=eF7LPIe0qOgncfHaNRwVKX3WjKKqSZ3QktAZYzG8rpnLYEHv0nj9fDdzgxaGBqZXnVyB6R EVj4HPFaanm6UmCLP8fbsVRh27VdBbdoDFbesLMHLbOgTAypBsn80pxpmDdGhLxa4FHwDg JScgupimk3ZFj9GeZaYsnjowxWtObt5waCRtzFyyxyo/DGWxvZ0UxjSVZZ+u0FkzPEU5OP Qt7igjsaeixCMEzlbRYddREHlU5gsNUH4PpZ7aYe2AGXstXv8aupVClexT/9MOBBXnlxPc 7xgysz34UT47E4o52h2aH18dIGduRQWx4ZwJsw9EbxubdjcsxoJF8R/YPFaGAw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4YZYGw3NkrzcQX; Fri, 17 Jan 2025 21:47:04 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 50HLl44g062782; Fri, 17 Jan 2025 21:47:04 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 50HLl4Hf062779; Fri, 17 Jan 2025 21:47:04 GMT (envelope-from git) Date: Fri, 17 Jan 2025 21:47:04 GMT Message-Id: <202501172147.50HLl4Hf062779@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Piotr Kubaj Subject: git: 255c43fa198a - main - devel/ocaml-psmt2-frontend: fix build on powerpc List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: pkubaj X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 255c43fa198ae9dea70db99a7bfbba56d8f183db Auto-Submitted: auto-generated The branch main has been updated by pkubaj: URL: https://cgit.FreeBSD.org/ports/commit/?id=255c43fa198ae9dea70db99a7bfbba56d8f183db commit 255c43fa198ae9dea70db99a7bfbba56d8f183db Author: Piotr Kubaj AuthorDate: 2025-01-16 13:00:46 +0000 Commit: Piotr Kubaj 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 + +.if ${ARCH} == powerpc +USE_BINUTILS= yes +.endif + post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/psmt2-frontend/psmt2Frontend.cmxs