diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-10 01:43:07 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-10 01:43:57 +0000 |
commit | 929686733b064453f20cca6c09f563e47961d68b (patch) | |
tree | 2e167cef023a20b091a4baa9de2bfd7aca8f69df | |
parent | 8523c876f1de6558af42cdbd888af5d957cb2561 (diff) | |
download | ports-929686733b064453f20cca6c09f563e47961d68b.tar.gz ports-929686733b064453f20cca6c09f563e47961d68b.zip |
math/vampire: Broken on i386
Reported by: fallout
(cherry picked from commit 6325e0e5a71e8ef757715bff4f7b9c45419a1d36)
-rw-r--r-- | math/vampire/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |