From 3ef8a845c97d5a5b4e8489cce3f4316a0567ec53 Mon Sep 17 00:00:00 2001
From: Biswapriyo Nath <nathbappai@gmail.com>
Date: Wed, 5 May 2021 00:09:03 +0530
Subject: [PATCH] yices: Update to 2.6.2

Remove --no-undefined option for clang.
---
 mingw-w64-yices/PKGBUILD | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/mingw-w64-yices/PKGBUILD b/mingw-w64-yices/PKGBUILD
index a78c728499..1ac02556ba 100644
--- a/mingw-w64-yices/PKGBUILD
+++ b/mingw-w64-yices/PKGBUILD
@@ -3,7 +3,7 @@
 _realname=yices
 pkgbase=mingw-w64-${_realname}
 pkgname=("${MINGW_PACKAGE_PREFIX}-${_realname}")
-pkgver=2.6.1
+pkgver=2.6.2
 pkgrel=1
 pkgdesc="Yices is a fast SMT solver with C and Python bindings."
 arch=('any')
@@ -15,18 +15,14 @@ makedepends=("dos2unix"
              "gperf")
 options=() # 'debug')
 source=("${_realname}-${pkgver}.tar.gz"::"https://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
-sha256sums=('c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e')
-
-apply_patch_with_msg() {
-  for _fname in "$@"
-  do
-    msg2 "Applying ${_fname}"
-    patch -Nbp1 -i "${srcdir}"/${_fname}
-  done
-}
+sha256sums=('1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a')
 
 prepare() {
-  msg "Nothing to prepare"
+  cd "${srcdir}"/yices-${pkgver}
+
+  if [[ ${MINGW_PACKAGE_PREFIX} == *-clang-* ]]; then
+    sed -i "s/-Wl,--no-undefined //g" src/Makefile
+  fi
 }
 
 build() {