Index: head/math/cryptominisat/Makefile
===================================================================
--- head/math/cryptominisat/Makefile	(revision 476826)
+++ head/math/cryptominisat/Makefile	(revision 476827)
@@ -1,28 +1,29 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
 DISTVERSION=	5.6.3
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	General-purpose award-winning SAT solver
 
 LICENSE=	MIT LGPL21
 LICENSE_COMB=	multi
 LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE.txt
 LICENSE_FILE_MIT=	${WRKSRC}/LICENSE.txt
 
 BROKEN_powerpc64=	fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[]
 
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs
 
 USES=		cmake:outsource compiler:c++11-lib
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	msoos
 
 CMAKE_ON=	NOM4RI
 CMAKE_OFF=	ENABLE_PYTHON_INTERFACE
 
 .include <bsd.port.mk>
Index: head/math/cryptominisat/files/patch-CMakeLists.txt
===================================================================
--- head/math/cryptominisat/files/patch-CMakeLists.txt	(nonexistent)
+++ head/math/cryptominisat/files/patch-CMakeLists.txt	(revision 476827)
@@ -0,0 +1,17 @@
+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>")

Property changes on: head/math/cryptominisat/files/patch-CMakeLists.txt
___________________________________________________________________
Added: fbsd:nokeywords
## -0,0 +1 ##
+yes
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property