sergiotarxz/termux-packages
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

new package: prover9

Browse Source
This commit is contained in:
Tee KOBAYASHI 2022-01-09 06:01:32 +09:00 committed by Leonid Pliushch
parent a44f27e900
commit a5d1fcb3d5
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
packages/prover9/build.sh Normal file
View File

@ -0,0 +1,14 @@
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/*
}