Date: Sun, 9 Jun 2019 03:38:36 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r503775 - head/math/rumur Message-ID: <201906090338.x593catN056918@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201906090338.x593catN056918>