15 lines
585 B
Bash
15 lines
585 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_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_MAKE_PROCESSES=1
|
||
|
|
|
||
|
|
termux_step_make_install() {
|
||
|
|
install -Dm700 -t $TERMUX_PREFIX/bin bin/*
|
||
|
|
}
|