Changeset View
Changeset View
Standalone View
Standalone View
math/stp/Makefile
Show All 9 Lines | |||||
MAINTAINER= 6yearold@gmail.com | MAINTAINER= 6yearold@gmail.com | ||||
COMMENT= Decision Procedure for Bitvectors and Arrays | COMMENT= Decision Procedure for Bitvectors and Arrays | ||||
LICENSE= MIT | LICENSE= MIT | ||||
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ | LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ | ||||
libboost_system.so:devel/boost-libs | libboost_system.so:devel/boost-libs | ||||
USES= bison:build cmake perl5 tar:xz | USES= bison:build cmake:noninja perl5 tar:xz | ||||
USE_PERL5= build | USE_PERL5= build | ||||
CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a | CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a | ||||
BROKEN_aarch64= Fails to compile: undefined reference to sbrk | BROKEN_aarch64= Fails to compile: undefined reference to sbrk | ||||
.include <bsd.port.mk> | .include <bsd.port.mk> |