Add some missing ints to please ports-gcc. Bump revision since it changes

the code.

math/prover9/ladr/Makefile

@@ -2,7 +2,7 @@ COMMENT=		Library for Automated Deduction Research
 
 DISTNAME=		LADR-Dec-2007
 PKGNAME=		${DISTNAME:L:S/-Dec//}
-REVISION =		4
+REVISION =		5
 
 SITES=			${HOMEPAGE}/download/
 

math/prover9/ladr/patches/patch-mace4_src_msearch_c

@@ -0,0 +1,12 @@
+Index: mace4.src/msearch.c
+--- mace4.src/msearch.c.orig
++++ mace4.src/msearch.c
+@@ -812,7 +812,7 @@ BOOL iterate_ok(int n, char *class)
+  *************/
+ 
+ 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));
+       

math/prover9/ladr/patches/patch-mace4_src_select_c

@@ -0,0 +1,12 @@
+Index: mace4.src/select.c
+--- mace4.src/select.c.orig
++++ mace4.src/select.c
+@@ -232,7 +232,7 @@ int select_concentric(void)
+  *
+  *************/
+ 
+-int select_concentric_band(max_constrained)
++int select_concentric_band(int max_constrained)
+ {
+   int max = -1;
+   int id_of_max = -1;