diff options
Diffstat (limited to 'devel/smv/Makefile')
| -rw-r--r-- | devel/smv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/smv/Makefile b/devel/smv/Makefile index 7d4eef1617cc..8f69ca19129e 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -13,6 +13,7 @@ COMMENT= Symbolic Model Verifier System for checking finite state systems BROKEN_aarch64= fails to build: undefined reference to sbrk BROKEN_armv6= fails to build: error: non-void function check_bdd should return a value +BROKEN_armv7= fails to build: error: non-void function check_bdd should return a value USE_GCC= yes WRKSRC= ${WRKDIR}/${PORTNAME} |