[Bug 204850] math/cryptominisat & math/py-cryptominisat: Update to 4.5.3

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=204850

--- Comment #12 from commit-hook at freebsd.org ---
A commit references this bug:

Author: koobs
Date: Wed Jan  6 14:07:06 UTC 2016
New revision: 405351
URL: https://svnweb.freebsd.org/changeset/ports/405351

Log:
  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 [*]

Changes:
  head/math/cryptominisat/Makefile
  head/math/cryptominisat/distinfo
  head/math/cryptominisat/files/patch-cryptominisat4_CMakeLists.txt
  head/math/cryptominisat/files/patch-cryptominisat4_bva.cpp
  head/math/cryptominisat/files/patch-src_dimacsparser.cpp
  head/math/cryptominisat/files/patch-src_dimacsparser.h
  head/math/cryptominisat/pkg-plist
  head/math/py-cryptominisat/Makefile
  head/math/py-cryptominisat/distinfo
  head/math/py-cryptominisat/files/patch-pycryptosat.cpp
  head/math/py-cryptominisat/files/patch-setup.py.in
  head/math/py-cryptominisat/pkg-descr

-- 
You are receiving this mail because:
You are on the CC list for the bug.