diff options
Diffstat (limited to 'math/stp/Makefile')
-rw-r--r-- | math/stp/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index df578ff..335e7a9 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -12,8 +12,8 @@ COMMENT= Decision Procedure for Bitvectors and Arrays LICENSE= MIT -LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs \ - libboost_system.so:${PORTSDIR}/devel/boost-libs +LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ + libboost_system.so:devel/boost-libs USES= bison:build cmake perl5 tar:xz USE_PERL5= build @@ -22,7 +22,7 @@ CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a .include <bsd.port.pre.mk> .if (${OSVERSION} < 1000000) -BUILD_DEPENDS+=flex>=2.5.38:${PORTSDIR}/textproc/flex +BUILD_DEPENDS+=flex>=2.5.38:textproc/flex CMAKE_ARGS+= -DFL_LIBRARY=${LOCALBASE}/lib/libfl.a \ -DFLEX_INCLUDE_DIR=${LOCALBASE}/include/flex \ -DFLEX_EXECUTABLE=${LOCALBASE}/bin/flex |