diff --git a/packages/prover9/build.sh b/packages/prover9/build.sh
new file mode 100644
index 000000000..6f4d522ea
--- /dev/null
+++ b/packages/prover9/build.sh
@@ -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/*
+}