Changeset View
Changeset View
Standalone View
Standalone View
math/cryptominisat/Makefile
| # $FreeBSD$ | # $FreeBSD$ | ||||
| PORTNAME= cryptominisat | PORTNAME= cryptominisat | ||||
| PORTVERSION= 5.0.1 | DISTVERSION= 5.6.1 | ||||
tcberner: ^ you //could// switch this to `DISTVERSION` | |||||
| PORTREVISION= 9 | |||||
| CATEGORIES= math | CATEGORIES= math | ||||
| MAINTAINER= 6yearold@gmail.com | MAINTAINER= 6yearold@gmail.com | ||||
| COMMENT= General-purpose award-winning SAT solver | COMMENT= General-purpose award-winning SAT solver | ||||
| LICENSE= MIT LGPL21 | LICENSE= MIT LGPL21 | ||||
| LICENSE_COMB= multi | LICENSE_COMB= multi | ||||
| LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE-SCALMC | LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt | ||||
| LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt | |||||
| BUILD_DEPENDS= xxd:editors/vim-console # for xxd tool | BROKEN_powerpc64= fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[] | ||||
| LIB_DEPENDS= libboost_program_options.so:devel/boost-libs | LIB_DEPENDS= libboost_program_options.so:devel/boost-libs | ||||
Done Inline ActionsThis is not needed. mat: This is not needed. | |||||
| BROKEN_powerpc64= fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[] | USES= cmake:outsource compiler:c++11-lib | ||||
| USE_LDCONFIG= yes | |||||
Done Inline ActionsWrong place in the Makefile. See Chapter 15. Order of Variables in Port Makefiles. mat: Wrong place in the Makefile. See [[ https://www.freebsd.org/doc/en/books/porters… | |||||
| USE_GITHUB= yes | USE_GITHUB= yes | ||||
| GH_ACCOUNT= msoos | GH_ACCOUNT= msoos | ||||
Done Inline ActionsWrong place in the Makefile. See Chapter 15. Order of Variables in Port Makefiles. mat: Wrong place in the Makefile. See [[ https://www.freebsd.org/doc/en/books/porters… | |||||
| USES= cmake compiler:c++11-lib | CMAKE_ON= NOM4RI | ||||
Done Inline Actions^ think about switching to cmake:outsource while you're here tcberner: ^ think about switching to `cmake:outsource` while you're here | |||||
| USE_LDCONFIG= yes | CMAKE_OFF= ENABLE_PYTHON_INTERFACE | ||||
Done Inline ActionsCMAKE_ON= NOM4RI CMAKE_OFF= ENABLE_PYTHON_INTERFACE is maybe a bit more readable. tcberner: ```
CMAKE_ON= NOM4RI
CMAKE_OFF= ENABLE_PYTHON_INTERFACE
```
is maybe a bit more readable. | |||||
| CMAKE_ARGS= -DNOM4RI=1 -DENABLE_PYTHON_INTERFACE=OFF | |||||
| .include <bsd.port.mk> | .include <bsd.port.mk> | ||||
^ you could switch this to DISTVERSION