diff options
| author | cpm <cpm@FreeBSD.org> | 2016-09-01 21:25:49 +0800 |
|---|---|---|
| committer | cpm <cpm@FreeBSD.org> | 2016-09-01 21:25:49 +0800 |
| commit | d8b205ad48cb8127ee3e8638296a515f90190879 (patch) | |
| tree | ff53f4571dcb5d0e31b2c1e4a761d292dbd2e8f7 /math/py-cryptominisat/Makefile | |
| parent | 256e298189907717fccd273aa430438e3eb52608 (diff) | |
| download | freebsd-ports-gnome-d8b205ad48cb8127ee3e8638296a515f90190879.tar.gz freebsd-ports-gnome-d8b205ad48cb8127ee3e8638296a515f90190879.tar.zst freebsd-ports-gnome-d8b205ad48cb8127ee3e8638296a515f90190879.zip | |
- Update math/cryptominisat and math/py-cryptominisat to 5.0.0
PR: 211460
Submitted by: maintainer
Reviewed by: koobs, feld (mentor)
Approved by: feld (mentor)
Diffstat (limited to 'math/py-cryptominisat/Makefile')
| -rw-r--r-- | math/py-cryptominisat/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile index e3ed2b38094a..bbdd0e6e2e14 100644 --- a/math/py-cryptominisat/Makefile +++ b/math/py-cryptominisat/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -PORTVERSION= 4.5.3 +PORTVERSION= 5.0.0 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -11,7 +11,7 @@ COMMENT= Bindings to CryptoMiniSat (a SAT solver) LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE -LIB_DEPENDS= libcryptominisat4.so:math/cryptominisat +LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat USES= compiler:c++11-lang python:-2.7 USE_PYTHON= autoplist distutils @@ -24,6 +24,7 @@ WRKSRC_SUBDIR= python PYDISTUTILS_BUILDTARGET= build_ext --include-dirs=${LOCALBASE}/include post-patch: + ${REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' ${WRKSRC}/setup.py.in ${CP} ${WRKSRC}/setup.py.in ${WRKSRC}/setup.py post-install: |