From 58959f40caf33e2e219e0201d994e99ddaadd703 Mon Sep 17 00:00:00 2001
From: Manuel Wiesinger <m@mmap.at>
Date: Wed, 19 Jun 2024 18:31:08 +0100
Subject: [PATCH] remove tissat

- tissat is only needed for testing, segfaults when installed -> futile
- Fixes build() with --nocheck
---
 .SRCINFO | 2 +-
 PKGBUILD | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.SRCINFO b/.SRCINFO
index 4105aa878ea3..bd11c8d34c2a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = kissat
 	pkgdesc = A keep it simple and clean bare metal SAT solver written in C
 	pkgver = 3.1.1
-	pkgrel = 3
+	pkgrel = 4
 	url = https://fmv.jku.at/kissat
 	arch = x86_64
 	license = MIT
diff --git a/PKGBUILD b/PKGBUILD
index 5783e9f13f49..8ce6f43d8d19 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=kissat
 pkgver=3.1.1
-pkgrel=3
+pkgrel=4
 pkgdesc="A keep it simple and clean bare metal SAT solver written in C"
 arch=('x86_64')
 url="https://fmv.jku.at/kissat"
@@ -33,7 +33,6 @@ package() {
     # Binaries
     install -D -m755 "build/kissat" "$pkgdir/usr/bin/kissat"
     install -D -m755 "build/kitten" "$pkgdir/usr/bin/kitten"
-    install -D -m755 "build/tissat" "$pkgdir/usr/bin/tissat"
 
     # Shared libraries
     install -D -m755 "build/libkissat.so" "$pkgdir/usr/lib/libkissat.so"