gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/z3: remove unused patch

Browse Source 
Closes: https://github.com/gentoo/gentoo/pull/5370
This commit is contained in:
Michael Mair-Keimberger (asterix)
2017-08-09 11:39:35 +02:00
committed by David Seifert
parent 5a8c759bdc
commit fde0c83ed8
1 changed files with 0 additions and 76 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
sci-mathematics/z3/files/z3-4.1.2-configure.patch
View File

@@ -1,76 +0,0 @@
--- z3-orig/configure.in 2012-10-04 16:41:04.000000000 +1000
+++ z3/configure.in 2012-10-18 15:56:49.895967069 +1100
@@ -22,20 +22,29 @@
host_os=`uname -s`
+AC_ARG_ENABLE([static],
+[ --disable-static disable static],
+[static=${enableval}], [static=yes])
+
+if test "$static" = "yes"; then
+ STATIC_FLAGS=-static
+else
+ STATIC_FLAGS=
+fi
+
AS_IF([test "$host_os" = "Darwin"], [
PLATFORM=osx
SO_EXT=dylib
- SLIBFLAGS="-dynamiclib -fopenmp"
+ LDFLAGS="${LDFLAGS}"
+ SLIBFLAGS="${LDFLAGS} -dynamiclib -fopenmp"
COMP_VERSIONS="-compatibility_version \$(Z3_VERSION) -current_version \$(Z3_VERSION)"
- STATIC_FLAGS=
CPPFLAGS+=" -mmacosx-version-min=10.4"
], [test "$host_os" = "Linux"], [
PLATFORM=linux
- SO_EXT=so
- LDFLAGS=-lrt
- SLIBFLAGS="-shared -fopenmp"
+ SO_EXT=so.1.0
+ LDFLAGS="${LDFLAGS} -lrt"
+ SLIBFLAGS="${LDFLAGS} -shared -fopenmp"
COMP_VERSIONS=
- STATIC_FLAGS=-static
], [
AC_MSG_ERROR([Unknown host platform: $host_os])
])
@@ -88,15 +97,17 @@
AC_CHECK_LIB(gmp, __gmpz_cmp, LIBS="-lgmp $LIBS", AC_MSG_ERROR([GMP library not found]))
dnl Look for libgmp.a at /usr/local/lib and /usr/lib
dnl TODO: make the following test more robust...
- if test -e /usr/local/lib/libgmp.a; then
- GMP_STATIC_LIB="/usr/local/lib/libgmp.a"
- else if test -e /usr/lib/libgmp.a; then
- GMP_STATIC_LIB="/usr/lib/libgmp.a"
- else if test -e /usr/lib/libgmp.dll.a; then
- GMP_STATIC_LIB="/usr/lib/libgmp.dll.a"
- else
- AC_MSG_ERROR([Failed to find libgmp.a])
- fi fi fi
+ if test "$static" = "yes"; then
+ if test -e /usr/local/lib/libgmp.a; then
+ GMP_STATIC_LIB="/usr/local/lib/libgmp.a"
+ else if test -e /usr/lib/libgmp.a; then
+ GMP_STATIC_LIB="/usr/lib/libgmp.a"
+ else if test -e /usr/lib/libgmp.dll.a; then
+ GMP_STATIC_LIB="/usr/lib/libgmp.dll.a"
+ else
+ AC_MSG_ERROR([Failed to find libgmp.a])
+ fi fi fi
+ fi
fi
AC_PROG_CXXCPP
--- z3-orig/Makefile.in 2012-10-04 16:41:02.000000000 +1000
+++ z3/Makefile.in 2012-10-18 15:25:00.716162723 +1100
@@ -175,7 +175,7 @@
$(BIN_DIR)/lib$(Z3).@SO_EXT@: $(OBJ_DIR) $(BIN_DIR) $(LIB_OBJS)
@mkdir -p $(BIN_DIR)
- $(CXX) -o $(BIN_DIR)/lib$(Z3).@SO_EXT@ $(LIB_OBJS) $(LIBFLAGS) $(LIBS) @COMP_VERSIONS@
+ $(CXX) -Wl,-soname=lib$(Z3).@SO_EXT@ -o $(BIN_DIR)/lib$(Z3).@SO_EXT@ $(LIB_OBJS) $(LIBFLAGS) $(LIBS) @COMP_VERSIONS@
$(BIN_DIR)/lib$(Z3).a: $(OBJ_DIR) $(BIN_DIR) $(LIB_OBJS)
@mkdir -p $(BIN_DIR)