Date: Thu, 14 Oct 2021 15:58:13 GMT From: Mikael Urankar <mikael@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 01049111d77a - main - security/hs-cryptol: Mark as broken on aarch64. Message-ID: <202110141558.19EFwDLx020381@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by mikael: URL: https://cgit.FreeBSD.org/ports/commit/?id=01049111d77ab4f8a1c0b59d8cb965414b9a2a0d commit 01049111d77ab4f8a1c0b59d8cb965414b9a2a0d Author: Mikael Urankar <mikael@FreeBSD.org> AuthorDate: 2021-10-14 15:58:01 +0000 Commit: Mikael Urankar <mikael@FreeBSD.org> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202110141558.19EFwDLx020381>