Index: head/math/rumur/Makefile =================================================================== --- head/math/rumur/Makefile (revision 503774) +++ head/math/rumur/Makefile (revision 503775) @@ -1,31 +1,33 @@ # $FreeBSD$ PORTNAME= rumur DISTVERSIONPREFIX= v DISTVERSION= 2019.06.05 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Model checker, a formal verification tool for state machines 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 SHEBANG_FILES= rumur/src/rumur-run tests/integration-tests.py USE_GITHUB= yes GH_ACCOUNT= Smattr USE_LDCONFIG= yes CMAKE_ON= BUILD_SHARED_LIBS CMAKE_ARGS= BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison BINARY_ALIAS= python=${PYTHON_CMD} do-test: @cd ${BUILD_WRKSRC} && \ ${WRKSRC}/tests/integration-tests.py --verbose .include