Changeset View

Standalone View

	Show First 20 Lines • Show All 42 Lines • ▼ Show 20 Lines
	Z3_BUILD_DEPENDS= z3:math/z3			Z3_BUILD_DEPENDS= z3:math/z3
	Z3_RUN_DEPENDS= z3:math/z3			Z3_RUN_DEPENDS= z3:math/z3

	STP_DESC= STP SMT solver			STP_DESC= STP SMT solver
	STP_CMAKE_BOOL= ENABLE_SOLVER_STP			STP_CMAKE_BOOL= ENABLE_SOLVER_STP
	STP_CMAKE_ON= -DFREEBSD_STP_STATIC_LIBRARY:STRING=${LOCALBASE}/lib/libstp.a			STP_CMAKE_ON= -DFREEBSD_STP_STATIC_LIBRARY:STRING=${LOCALBASE}/lib/libstp.a
	STP_BUILD_DEPENDS= stp>0:math/stp			STP_BUILD_DEPENDS= stp>0:math/stp

				.include <bsd.port.options.mk>

				.if ${LLVM_DEFAULT:S,-devel,990,} >= 90
				LLVM_DEFAULT= 80
				.endif

	.include <bsd.port.mk>			.include <bsd.port.mk>