mirror of
https://github.com/termux/termux-packages.git
synced 2025-02-07 20:10:04 +00:00
27d5b169ea
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)
^
16 lines
611 B
Bash
16 lines
611 B
Bash
TERMUX_PKG_HOMEPAGE=https://www.cs.unm.edu/~mccune/prover9/
|
|
TERMUX_PKG_DESCRIPTION="An automated theorem prover for first-order and equational logic"
|
|
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
|
|
TERMUX_PKG_EXTRA_MAKE_ARGS="-e all"
|
|
TERMUX_PKG_MAKE_PROCESSES=1
|
|
|
|
termux_step_make_install() {
|
|
install -Dm700 -t $TERMUX_PREFIX/bin bin/*
|
|
}
|