svn commit: r503775 - head/math/rumur
Yuri Victorovich
yuri at FreeBSD.org
Sun Jun 9 03:38:37 UTC 2019
Author: yuri
Date: Sun Jun 9 03:38:36 2019
New Revision: 503775
URL: https://svnweb.freebsd.org/changeset/ports/503775
Log:
math/rumur: Broken on i386
Modified:
head/math/rumur/Makefile
Modified: head/math/rumur/Makefile
==============================================================================
--- head/math/rumur/Makefile Sun Jun 9 03:26:15 2019 (r503774)
+++ head/math/rumur/Makefile Sun Jun 9 03:38:36 2019 (r503775)
@@ -11,6 +11,8 @@ COMMENT= Model checker, a formal verification tool for
LICENSE= PD
LICENSE_FILE= ${WRKSRC}/LICENSE
+BROKEN_i386= no matching function for call to 'make_ul', see https://github.com/Smattr/rumur/issues/136
+
LIB_DEPENDS= libgmpxx.so:math/gmp
USES= bison cmake compiler:c++11-lang python shebangfix
More information about the svn-ports-all
mailing list