diff options
| author | Kubilay Kocak <koobs@FreeBSD.org> | 2016-01-06 14:07:05 +0000 |
|---|---|---|
| committer | Kubilay Kocak <koobs@FreeBSD.org> | 2016-01-06 14:07:05 +0000 |
| commit | 06670062492fd0b18e72c8de72d9e36921ab55e6 (patch) | |
| tree | 57bb38f7e81c3730c92921a2f6a05668094f7c6b /math/cryptominisat/Makefile | |
| parent | Update to version 4.8 (diff) | |
math/{py-}cryptominisat: Update to 4.5.3
Common:
- Update PORTVERSION and distinfo checksum (4.5.3) [1]
- Switch to GITHUB for DISTFILES, remove USES=tar accordingly [1]
py-cryptominisat:
- Convert into fully fledged port
- Add distinfo and proper (unique) pkg-descr
- Remove MASTER port overrides accordingly
- Match COMMENT to upstream setup.py:description
- De-scope USES=compiler to compiler only
- Remove upstreamed patches
- Patch to properly use distutils and autoplist instead
of an uncessary cmake build (Also add post-patch for this)
- Strip shared library
cryptominisat:
- Remove slave port overrides
- Add BUILD_DEPENDS on vim-lite for xxd(8) tool [1]
- Remove upstreamed patches [1]
- Add patches for missing includes breaking builds on 9.3 [1]
- Update pkg-plist [1]
[1] https://github.com/msoos/cryptominisat/issues/304
PR: 204850 [1]
Submitted by: maintainer [1]
Approved by: maintainer [*]
Notes
Notes:
svn path=/head/; revision=405351
Diffstat (limited to 'math/cryptominisat/Makefile')
| -rw-r--r-- | math/cryptominisat/Makefile | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 9d6bf5d50b6f..acf43dc83cd0 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,21 +1,24 @@ # $FreeBSD$ PORTNAME= cryptominisat -PORTVERSION= 4.2.0 -PORTREVISION?= 0 -CATEGORIES?= math -MASTER_SITES= http://msoos.org/largefiles/ +PORTVERSION= 4.5.3 +CATEGORIES= math MAINTAINER= 6yearold@gmail.com -COMMENT?= General-purpose award-winning SAT solver +COMMENT= General-purpose award-winning SAT solver -LICENSE?= LGPL3 +LICENSE= LGPL3 +LICENSE_FILE= ${WRKSRC}/LICENSE-LGPL -LIB_DEPENDS?= libboost_program_options.so:${PORTSDIR}/devel/boost-libs +BUILD_DEPENDS= xxd:${PORTSDIR}/editors/vim-lite # for xxd tool +LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs -USES?= cmake compiler:c++11-lib tar:bzip2 -CMAKE_ARGS= -DNOMYSQL=1 -DNOM4RI=1 -DPYTHON_EXECUTABLE=0 -WRKSRC= ${WRKDIR}/${PORTNAME}4-${PORTVERSION} +USE_GITHUB= yes +GH_ACCOUNT= msoos + +USES= cmake compiler:c++11-lib USE_LDCONFIG= yes +CMAKE_ARGS= -DNOMYSQL=1 -DNOM4RI=1 -DPYTHON_EXECUTABLE=0 + .include <bsd.port.mk> |