Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 10 Aug 2018 10:20:15 +0000 (UTC)
From:      Gleb Popov <arrowd@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r476827 - in head/math/cryptominisat: . files
Message-ID:  <201808101020.w7AAKFM5081135@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: arrowd
Date: Fri Aug 10 10:20:15 2018
New Revision: 476827
URL: https://svnweb.freebsd.org/changeset/ports/476827

Log:
  math/cryptominisat: Unbreak on aarch64.
  
  PR:		229724
  Submitted by:	Greg V <greg@unrelenting.technology>
  Approved by:	tcberner (mentor)

Added:
  head/math/cryptominisat/files/
  head/math/cryptominisat/files/patch-CMakeLists.txt   (contents, props changed)
Modified:
  head/math/cryptominisat/Makefile

Modified: head/math/cryptominisat/Makefile
==============================================================================
--- head/math/cryptominisat/Makefile	Fri Aug 10 10:05:19 2018	(r476826)
+++ head/math/cryptominisat/Makefile	Fri Aug 10 10:20:15 2018	(r476827)
@@ -2,6 +2,7 @@
 
 PORTNAME=	cryptominisat
 DISTVERSION=	5.6.3
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org

Added: head/math/cryptominisat/files/patch-CMakeLists.txt
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/cryptominisat/files/patch-CMakeLists.txt	Fri Aug 10 10:20:15 2018	(r476827)
@@ -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>")



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201808101020.w7AAKFM5081135>