diff options
| author | arrowd <arrowd@FreeBSD.org> | 2019-02-24 00:31:47 +0800 |
|---|---|---|
| committer | arrowd <arrowd@FreeBSD.org> | 2019-02-24 00:31:47 +0800 |
| commit | b1d7eae85f01dae495c992230d76da33524c0dea (patch) | |
| tree | 7ab2044cb20646faf64a9c00814eddcc545c6529 /math/cryptominisat | |
| parent | 8ebc0535b5af3bb94f75821cd0e0607e71782eb8 (diff) | |
| download | freebsd-ports-gnome-b1d7eae85f01dae495c992230d76da33524c0dea.tar.gz freebsd-ports-gnome-b1d7eae85f01dae495c992230d76da33524c0dea.tar.zst freebsd-ports-gnome-b1d7eae85f01dae495c992230d76da33524c0dea.zip | |
math/cryptominisat and math/py-cryptominisat to 5.6.8.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19302
Diffstat (limited to 'math/cryptominisat')
| -rw-r--r-- | math/cryptominisat/Makefile | 3 | ||||
| -rw-r--r-- | math/cryptominisat/distinfo | 6 | ||||
| -rw-r--r-- | math/cryptominisat/files/patch-CMakeLists.txt | 17 |
3 files changed, 4 insertions, 22 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index d6086e938e25..f554cbab0466 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.3 -PORTREVISION= 3 +DISTVERSION= 5.6.8 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index ba51ff15381b..e0e9288d9ea9 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1533812522 -SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f -SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713 +TIMESTAMP = 1550904410 +SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55 +SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037 diff --git a/math/cryptominisat/files/patch-CMakeLists.txt b/math/cryptominisat/files/patch-CMakeLists.txt deleted file mode 100644 index 54e2d48e24f0..000000000000 --- a/math/cryptominisat/files/patch-CMakeLists.txt +++ /dev/null @@ -1,17 +0,0 @@ -The `-mtune=native` flag is not supported on aarch64, remove it. - ---- CMakeLists.txt.orig 2018-07-11 20:29:53 UTC -+++ CMakeLists.txt -@@ -182,11 +182,11 @@ if (NOT MSVC) - add_compile_options( -pthread ) - - add_compile_options("$<$<CONFIG:RELWITHDEBINFO>:-O2>") -- add_compile_options("$<$<CONFIG:RELWITHDEBINFO>:-mtune=native>") -+ #add_compile_options("$<$<CONFIG:RELWITHDEBINFO>:-mtune=native>") - - add_compile_options("$<$<CONFIG:RELEASE>:-O2>") - add_compile_options("$<$<CONFIG:RELEASE>:-g0>") -- add_compile_options("$<$<CONFIG:RELEASE>:-mtune=native>") -+ #add_compile_options("$<$<CONFIG:RELEASE>:-mtune=native>") - - add_compile_options("$<$<CONFIG:DEBUG>:-O0>") |