From 2ee24b487a5c8d51ab2e9f6084c672ee7f8e9874 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?= Date: Wed, 17 Jul 2024 06:45:05 +0700 Subject: [PATCH] minisat: add reason for arch restriction --- srcpkgs/minisat/template | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/srcpkgs/minisat/template b/srcpkgs/minisat/template index c71b704145b..985ba2e326f 100644 --- a/srcpkgs/minisat/template +++ b/srcpkgs/minisat/template @@ -2,11 +2,12 @@ pkgname=minisat version=2.2.0 revision=2 +# _FPU_EXTENDED is x87-glibc only +archs="i686 x86_64" build_wrksrc=simp build_style=gnu-makefile makedepends="zlib-devel" -archs="i686 x86_64" -short_desc="A minimalistic and high-performance SAT solver" +short_desc="Minimalistic and high-performance SAT solver" maintainer="Tai Chi Minh Ralph Eastwood " license="MIT" homepage="http://minisat.se/MiniSat.html"