sci-mathematics/z3: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/5370

diff --git a/sci-mathematics/z3/files/z3-4.1.2-configure.patch b/sci-mathematics/z3/files/z3-4.1.2-configure.patch
deleted file mode 100644 (file)
index 08ace2b..0000000
--- a/sci-mathematics/z3/files/z3-4.1.2-configure.patch
+++ /dev/null
@@ -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 @@
- \r
- host_os=`uname -s`\r
- \r
-+AC_ARG_ENABLE([static],\r
-+[ --disable-static disable static],\r
-+[static=${enableval}], [static=yes])\r
-+\r
-+if test "$static" = "yes"; then\r
-+  STATIC_FLAGS=-static\r
-+else\r
-+  STATIC_FLAGS=\r
-+fi\r
-+\r
- AS_IF([test "$host_os" = "Darwin"], [\r
-   PLATFORM=osx\r
-   SO_EXT=dylib\r
--  SLIBFLAGS="-dynamiclib -fopenmp"\r
-+  LDFLAGS="${LDFLAGS}"\r
-+  SLIBFLAGS="${LDFLAGS} -dynamiclib -fopenmp"\r
-   COMP_VERSIONS="-compatibility_version \$(Z3_VERSION) -current_version \$(Z3_VERSION)"\r
--  STATIC_FLAGS=\r
-   CPPFLAGS+=" -mmacosx-version-min=10.4"\r
- ], [test "$host_os" = "Linux"], [\r
-   PLATFORM=linux\r
--  SO_EXT=so\r
--  LDFLAGS=-lrt\r
--  SLIBFLAGS="-shared -fopenmp"\r
-+  SO_EXT=so.1.0\r
-+  LDFLAGS="${LDFLAGS} -lrt"\r
-+  SLIBFLAGS="${LDFLAGS} -shared -fopenmp"\r
-   COMP_VERSIONS=\r
--  STATIC_FLAGS=-static\r
- ], [\r
-   AC_MSG_ERROR([Unknown host platform: $host_os])\r
- ])\r
-@@ -88,15 +97,17 @@
-    AC_CHECK_LIB(gmp, __gmpz_cmp, LIBS="-lgmp $LIBS", AC_MSG_ERROR([GMP library not found]))\r
-    dnl Look for libgmp.a at /usr/local/lib and /usr/lib\r
-    dnl TODO: make the following test more robust...\r
--   if test -e /usr/local/lib/libgmp.a; then\r
--      GMP_STATIC_LIB="/usr/local/lib/libgmp.a"\r
--   else if test -e /usr/lib/libgmp.a; then\r
--      GMP_STATIC_LIB="/usr/lib/libgmp.a"\r
--   else if test -e /usr/lib/libgmp.dll.a; then\r
--      GMP_STATIC_LIB="/usr/lib/libgmp.dll.a"\r
--   else\r
--      AC_MSG_ERROR([Failed to find libgmp.a])   \r
--   fi fi fi\r
-+   if test "$static" = "yes"; then\r
-+      if test -e /usr/local/lib/libgmp.a; then\r
-+         GMP_STATIC_LIB="/usr/local/lib/libgmp.a"\r
-+       else if test -e /usr/lib/libgmp.a; then\r
-+         GMP_STATIC_LIB="/usr/lib/libgmp.a"\r
-+       else if test -e /usr/lib/libgmp.dll.a; then\r
-+         GMP_STATIC_LIB="/usr/lib/libgmp.dll.a"\r
-+       else\r
-+         AC_MSG_ERROR([Failed to find libgmp.a])   \r
-+       fi fi fi\r
-+   fi\r
- fi\r
- \r
- AC_PROG_CXXCPP\r
---- 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 @@
- \r
- $(BIN_DIR)/lib$(Z3).@SO_EXT@: $(OBJ_DIR) $(BIN_DIR) $(LIB_OBJS)\r
-       @mkdir -p $(BIN_DIR)\r
--      $(CXX) -o $(BIN_DIR)/lib$(Z3).@SO_EXT@  $(LIB_OBJS) $(LIBFLAGS) $(LIBS) @COMP_VERSIONS@\r
-+      $(CXX) -Wl,-soname=lib$(Z3).@SO_EXT@ -o $(BIN_DIR)/lib$(Z3).@SO_EXT@  $(LIB_OBJS) $(LIBFLAGS) $(LIBS) @COMP_VERSIONS@\r
- \r
- $(BIN_DIR)/lib$(Z3).a: $(OBJ_DIR) $(BIN_DIR) $(LIB_OBJS)\r
-       @mkdir -p $(BIN_DIR)\r