From 27d5b169ea82588554fa8dd0c0aaf722d736c6dd Mon Sep 17 00:00:00 2001
From: Biswapriyo Nath <nathbappai@gmail.com>
Date: Mon, 29 Jul 2024 14:17:26 +0000
Subject: [PATCH] fix(main/prover9): Fix implicit int compiler error

This fixes compiler errors as following.

msearch.c:850:22: error: parameter 'n' was not declared, defaults to 'int';
ISO C99 and later do not support implicit int [-Wimplicit-int]
int next_domain_size(n)
                     ^
---
 packages/prover9/build.sh                  |  1 +
 packages/prover9/mace4.src-msearch.c.patch | 11 +++++++++++
 packages/prover9/mace4.src-select.c.patch  | 11 +++++++++++
 3 files changed, 23 insertions(+)
 create mode 100644 packages/prover9/mace4.src-msearch.c.patch
 create mode 100644 packages/prover9/mace4.src-select.c.patch

diff --git a/packages/prover9/build.sh b/packages/prover9/build.sh
index 121d3bc17ea1fa..ad5d505a0732b7 100644
--- a/packages/prover9/build.sh
+++ b/packages/prover9/build.sh
@@ -3,6 +3,7 @@ TERMUX_PKG_DESCRIPTION="An automated theorem prover for first-order and equation
 TERMUX_PKG_LICENSE="GPL-2.0"
 TERMUX_PKG_MAINTAINER="@termux"
 TERMUX_PKG_VERSION=2009-11A
+TERMUX_PKG_REVISION=1
 TERMUX_PKG_SRCURL=https://www.cs.unm.edu/~mccune/mace4/download/LADR-${TERMUX_PKG_VERSION}.tar.gz
 TERMUX_PKG_SHA256=c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0
 TERMUX_PKG_BUILD_IN_SRC=true
diff --git a/packages/prover9/mace4.src-msearch.c.patch b/packages/prover9/mace4.src-msearch.c.patch
new file mode 100644
index 00000000000000..f260314b968eae
--- /dev/null
+++ b/packages/prover9/mace4.src-msearch.c.patch
@@ -0,0 +1,11 @@
+--- a/mace4.src/msearch.c
++++ b/mace4.src/msearch.c
+@@ -847,7 +847,7 @@
+  *************/
+ 
+ static
+-int next_domain_size(n)
++int next_domain_size(int n)
+ {
+   int top = (parm(Opt->end_size) == -1 ? INT_MAX : parm(Opt->end_size));
+       
diff --git a/packages/prover9/mace4.src-select.c.patch b/packages/prover9/mace4.src-select.c.patch
new file mode 100644
index 00000000000000..e8e937ad6ae59b
--- /dev/null
+++ b/packages/prover9/mace4.src-select.c.patch
@@ -0,0 +1,11 @@
+--- a/mace4.src/select.c
++++ b/mace4.src/select.c
+@@ -233,7 +233,7 @@
+  *
+  *************/
+ 
+-int select_concentric_band(min_id, max_id, max_constrained)
++int select_concentric_band(int min_id, int max_id, int max_constrained)
+ {
+   int max = -1;
+   int id_of_max = -1;