From nobody Thu Oct 14 15:58:13 2021 X-Original-To: dev-commits-ports-main@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 D95DB18093D6; Thu, 14 Oct 2021 15:58:13 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4HVYw53VlRz4sN5; Thu, 14 Oct 2021 15:58:13 +0000 (UTC) (envelope-from git@FreeBSD.org) 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 3D4A2160F0; Thu, 14 Oct 2021 15:58:13 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 19EFwD6P020382; Thu, 14 Oct 2021 15:58:13 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 19EFwDLx020381; Thu, 14 Oct 2021 15:58:13 GMT (envelope-from git) Date: Thu, 14 Oct 2021 15:58:13 GMT Message-Id: <202110141558.19EFwDLx020381@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Mikael Urankar Subject: git: 01049111d77a - main - security/hs-cryptol: Mark as broken on aarch64. List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: mikael X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 01049111d77ab4f8a1c0b59d8cb965414b9a2a0d Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by mikael: URL: https://cgit.FreeBSD.org/ports/commit/?id=01049111d77ab4f8a1c0b59d8cb965414b9a2a0d commit 01049111d77ab4f8a1c0b59d8cb965414b9a2a0d Author: Mikael Urankar AuthorDate: 2021-10-14 15:58:01 +0000 Commit: Mikael Urankar CommitDate: 2021-10-14 15:58:01 +0000 security/hs-cryptol: Mark as broken on aarch64. --- security/hs-cryptol/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile index 1d535c0557fe..e42b2d59a9d8 100644 --- a/security/hs-cryptol/Makefile +++ b/security/hs-cryptol/Makefile @@ -9,6 +9,7 @@ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE # https://github.com/GaloisInc/libBF-hs/issues/2 +BROKEN_aarch64= fails to build: src/LibBF/Mutable.hsc error: Couldn't match type `Int64' with `Int32' BROKEN_i386= One of dependencies doesn't build on i386 RUN_DEPENDS= z3:math/z3