Leonid Plyushch
5 years ago
No known key found for this signature in database
GPG Key ID: 45F2964132545795
1 changed files with
2 additions and
1 deletions
-
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 |
|
|
|
|
