From 0b04e28861e7ca6b6b90c57c7fd3afb91dc72012 Mon Sep 17 00:00:00 2001 From: Leonid Pliushch Date: Mon, 23 Sep 2019 17:13:25 +0300 Subject: [PATCH] swi-prolog: install documentation --- packages/swi-prolog/build.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/packages/swi-prolog/build.sh b/packages/swi-prolog/build.sh index 353123b1d..b6393cf03 100644 --- a/packages/swi-prolog/build.sh +++ b/packages/swi-prolog/build.sh @@ -2,6 +2,7 @@ TERMUX_PKG_HOMEPAGE=https://swi-prolog.org/ TERMUX_PKG_DESCRIPTION="Most popular and complete prolog implementation" TERMUX_PKG_LICENSE="ISC" TERMUX_PKG_VERSION=8.1.14 +TERMUX_PKG_REVISION=1 TERMUX_PKG_SRCURL=http://www.swi-prolog.org/download/devel/src/swipl-${TERMUX_PKG_VERSION}.tar.gz TERMUX_PKG_SHA256=1947453d674711dbf2a0ab50d88880f6c11bc41fbcecd8b4f0f5e84526b5c833 TERMUX_PKG_DEPENDS="libarchive, libcrypt, libgmp, libjpeg-turbo, libyaml, ncurses, ncurses-ui-libs, pcre, readline, ossp-uuid, zlib" @@ -9,7 +10,7 @@ TERMUX_PKG_FORCE_CMAKE=true TERMUX_PKG_HOSTBUILD=true TERMUX_PKG_EXTRA_CONFIGURE_ARGS=" --DINSTALL_DOCUMENTATION=OFF +-DINSTALL_DOCUMENTATION=ON -DUSE_GMP=ON -DSWIPL_NATIVE_FRIEND=${TERMUX_PKG_HOSTBUILD_DIR} -DPOSIX_SHELL=${TERMUX_PREFIX}/bin/sh