git: 6325e0e5a71e - main - math/vampire: Broken on i386

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

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Mon, 10 Jul 2023 01:43:34 UTC

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=6325e0e5a71e8ef757715bff4f7b9c45419a1d36

commit 6325e0e5a71e8ef757715bff4f7b9c45419a1d36
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-07-10 01:43:07 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-07-10 01:43:32 +0000

    math/vampire: Broken on i386
    
    Reported by:    fallout
---
 math/vampire/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index c4c2a5f24c37..e6c388df2c19 100644
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -11,6 +11,8 @@ WWW=		https://vprover.github.io/
 LICENSE=	BSD2CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENCE
 
+BROKEN_i386=	error: static_assert failed due to requirement 'sizeof(void *) == 8'
+
 USES=		compiler:c++11-lang gmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	vprover