Changeset View

Standalone View

	PORTNAME= smv			PORTNAME= smv
	PORTVERSION= 2.5.4.3			PORTVERSION= 2.5.4.3
	PORTREVISION= 11			PORTREVISION= 11
	CATEGORIES= devel			CATEGORIES= devel
	MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/			MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/
	DISTNAME= ${PORTNAME}.r${PORTVERSION}			DISTNAME= ${PORTNAME}.r${PORTVERSION}

	MAINTAINER= ports@FreeBSD.org			MAINTAINER= ports@FreeBSD.org
	COMMENT= Symbolic Model Verifier System for checking finite state systems			COMMENT= Symbolic Model Verifier System for checking finite state systems
	WWW= https://www.cs.cmu.edu/~modelcheck/smv.html			WWW= https://www.cs.cmu.edu/~modelcheck/smv.html

	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_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			BROKEN_armv7= fails to build: error: non-void function check_bdd should return a value

				USES= sbrk
	USE_GCC= yes			USE_GCC= yes
	WRKSRC= ${WRKDIR}/${PORTNAME}			WRKSRC= ${WRKDIR}/${PORTNAME}
	ALL_TARGET= ${PORTNAME}			ALL_TARGET= ${PORTNAME}
	MAKEFILE= makefile			MAKEFILE= makefile
	MAKE_JOBS_UNSAFE= yes			MAKE_JOBS_UNSAFE= yes

	CFLAGS+= -fpermissive			CFLAGS+= -fpermissive

	Show All 33 Lines