K 10
svn:author
V 5
koobs
K 8
svn:date
V 27
2016-01-06T14:07:05.355427Z
K 7
svn:log
V 918
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 [*]

END