ports/math/py-cryptominisat/files/patch-setup.py.in
Kubilay Kocak 0667006249 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 [*]
2016-01-06 14:07:05 +00:00

29 lines
1 KiB
Python

--- setup.py.in.orig 2015-08-26 23:32:30 UTC
+++ setup.py.in
@@ -51,15 +51,15 @@ def _init_posix(init):
return wrapper
sysconfig._init_posix = _init_posix(sysconfig._init_posix)
-__version__ = '@PROJECT_VERSION@'
+__version__ = '4.5.3'
ext_kwds = dict(
name = "pycryptosat",
- sources = ["${CMAKE_CURRENT_SOURCE_DIR}/pycryptosat.cpp"],
+ sources = ["pycryptosat.cpp"],
define_macros = [],
- extra_compile_args = ['-I${PROJECT_SOURCE_DIR}', '-I${PROJECT_BINARY_DIR}/cmsat4-src'],
+ extra_compile_args = ['-I/usr/local/include', '-I..cmsat4-src'],
language = "c++",
- library_dirs=['.', '/usr/local/lib', '${PROJECT_BINARY_DIR}/lib'],
+ library_dirs=['.', '/usr/local/lib'],
libraries = ['cryptominisat4']
)
@@ -84,5 +84,5 @@ setup(
ext_modules = [Extension(**ext_kwds)],
py_modules = ['test_pycryptosat'],
description = "bindings to CryptoMiniSat (a SAT solver)",
- long_description = open('${CMAKE_CURRENT_SOURCE_DIR}/README.rst').read(),
+ long_description = open('README.rst').read(),
)