Changeset View
Changeset View
Standalone View
Standalone View
security/klee/Makefile
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 | |||||
arrowd: Why not hardcode `80` here, instead of using `LLVM_DEFAULT`? | |||||
jbeichAuthorUnsubmitted Done Inline ActionsTo keep support for older devel/llvm* e.g., DEFAULT_VERSIONS+=llvm=60. jbeich: To keep support for older devel/llvm* e.g., `DEFAULT_VERSIONS+=llvm=60`. | |||||
LLVM_DEFAULT= 80 | |||||
.endif | |||||
.include <bsd.port.mk> | .include <bsd.port.mk> |
Why not hardcode 80 here, instead of using LLVM_DEFAULT?