From db1d39eaebe5e7548ad7efba969b594c1919a1ff Mon Sep 17 00:00:00 2001
From: Michel Zou <xantares09@hotmail.com>
Date: Tue, 27 Jan 2026 20:11:36 +0100
Subject: [PATCH] 0.94n

---
 .SRCINFO | 16 ++++++++++++++++
 PKGBUILD | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 51 insertions(+)
 create mode 100644 .SRCINFO
 create mode 100644 PKGBUILD

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..bd0b2c27421f
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,16 @@
+pkgbase = mingw-w64-cddlib
+	pkgdesc = C library implementing Double Description Method for convex polyhedra (mingw-w64)
+	pkgver = 0.94n
+	pkgrel = 1
+	url = https://www.inf.ethz.ch/personal/fukudak/cdd_home/
+	arch = any
+	license = GPL-2.0-only
+	makedepends = mingw-w64-configure
+	depends = mingw-w64-gmp
+	options = staticlibs
+	options = !buildflags
+	options = !strip
+	source = https://github.com/cddlib/cddlib/releases/download/0.94n/cddlib-0.94n.tar.gz
+	sha256sums = b87ee07ba2c1d0ab92a3e4eccacdf568f981a095a392e3b9efd7e7e4a9e125b1
+
+pkgname = mingw-w64-cddlib
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..3242299f1295
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,35 @@
+pkgname=mingw-w64-cddlib
+pkgver=0.94n
+pkgrel=1
+pkgdesc="C library implementing Double Description Method for convex polyhedra (mingw-w64)"
+arch=('any')
+url="https://www.inf.ethz.ch/personal/fukudak/cdd_home/"
+license=(GPL-2.0-only)
+depends=('mingw-w64-gmp')
+makedepends=('mingw-w64-configure')
+options=('staticlibs' '!buildflags' '!strip')
+source=(https://github.com/cddlib/cddlib/releases/download/$pkgver/cddlib-$pkgver.tar.gz)
+sha256sums=('b87ee07ba2c1d0ab92a3e4eccacdf568f981a095a392e3b9efd7e7e4a9e125b1')
+
+_architectures="i686-w64-mingw32 x86_64-w64-mingw32"
+
+build() {
+  cd cddlib-$pkgver
+  for _arch in ${_architectures}; do
+    mkdir -p build-${_arch} && pushd build-${_arch}
+    ${_arch}-configure ..
+    make
+    popd
+  done
+}
+
+package() {
+  for _arch in ${_architectures}; do
+    cd "$srcdir"/cddlib-$pkgver/build-${_arch}
+    make DESTDIR="$pkgdir"/ install
+    rm "$pkgdir"/usr/${_arch}/bin/*.exe
+    rm -r "$pkgdir"/usr/${_arch}/share
+    ${_arch}-strip --strip-unneeded "$pkgdir"/usr/${_arch}/bin/*.dll
+    ${_arch}-strip -g "$pkgdir"/usr/${_arch}/lib/*.a
+  done
+}