yices: Update to 2.6.2

Remove --no-undefined option for clang.

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() {