diff options
Diffstat (limited to 'math/cryptominisat/Makefile')
| -rw-r--r-- | math/cryptominisat/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index acf43dc83cd0..2a4a38f1c2de 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -10,8 +10,8 @@ COMMENT= General-purpose award-winning SAT solver LICENSE= LGPL3 LICENSE_FILE= ${WRKSRC}/LICENSE-LGPL -BUILD_DEPENDS= xxd:${PORTSDIR}/editors/vim-lite # for xxd tool -LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs +BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool +LIB_DEPENDS= libboost_program_options.so:devel/boost-libs USE_GITHUB= yes GH_ACCOUNT= msoos |