New package: swi-prolog-6.6.6
This commit is contained in:
parent
69e67c6198
commit
dbf2af4ad0
2 changed files with 54 additions and 0 deletions
34
srcpkgs/swi-prolog/patches/libressl.patch
Normal file
34
srcpkgs/swi-prolog/patches/libressl.patch
Normal file
|
@ -0,0 +1,34 @@
|
||||||
|
Remove SSL2 key material support.
|
||||||
|
|
||||||
|
--- packages/ssl/ssl4pl.c.orig 2014-09-22 22:06:43.891493659 +0200
|
||||||
|
+++ packages/ssl/ssl4pl.c 2014-09-22 22:07:17.743494074 +0200
|
||||||
|
@@ -67,7 +67,6 @@
|
||||||
|
static functor_t FUNCTOR_crl1;
|
||||||
|
static functor_t FUNCTOR_revocations1;
|
||||||
|
static functor_t FUNCTOR_revoked2;
|
||||||
|
-static functor_t FUNCTOR_session_key1;
|
||||||
|
static functor_t FUNCTOR_master_key1;
|
||||||
|
static functor_t FUNCTOR_session_id1;
|
||||||
|
static functor_t FUNCTOR_client_random1;
|
||||||
|
@@ -1537,13 +1536,6 @@
|
||||||
|
PL_INTEGER, (int)session->ssl_version))
|
||||||
|
return FALSE;
|
||||||
|
|
||||||
|
- if ( !PL_unify_list_ex(list_t, node_t, list_t) )
|
||||||
|
- return FALSE;
|
||||||
|
- if ( !PL_unify_term(node_t,
|
||||||
|
- PL_FUNCTOR, FUNCTOR_session_key1,
|
||||||
|
- PL_NCHARS, session->key_arg_length, session->key_arg))
|
||||||
|
- return FALSE;
|
||||||
|
-
|
||||||
|
if ( !PL_unify_list_ex(list_t, node_t, list_t))
|
||||||
|
return FALSE;
|
||||||
|
if ( !PL_unify_term(node_t,
|
||||||
|
@@ -1624,7 +1616,6 @@
|
||||||
|
FUNCTOR_crl1 = PL_new_functor(PL_new_atom("crl"), 1);
|
||||||
|
FUNCTOR_revoked2 = PL_new_functor(PL_new_atom("revoked"), 2);
|
||||||
|
FUNCTOR_revocations1 = PL_new_functor(PL_new_atom("revocations"), 1);
|
||||||
|
- FUNCTOR_session_key1 = PL_new_functor(PL_new_atom("session_key"), 1);
|
||||||
|
FUNCTOR_master_key1 = PL_new_functor(PL_new_atom("master_key"), 1);
|
||||||
|
FUNCTOR_session_id1 = PL_new_functor(PL_new_atom("session_id"), 1);
|
||||||
|
FUNCTOR_client_random1 = PL_new_functor(PL_new_atom("client_random"), 1);
|
20
srcpkgs/swi-prolog/template
Normal file
20
srcpkgs/swi-prolog/template
Normal file
|
@ -0,0 +1,20 @@
|
||||||
|
# Template file for 'swi-prolog'
|
||||||
|
pkgname=swi-prolog
|
||||||
|
version=6.6.6
|
||||||
|
revision=1
|
||||||
|
wrksrc="pl-${version}"
|
||||||
|
build_style=gnu-configure
|
||||||
|
configure_args="--with-world"
|
||||||
|
hostmakedepends="pkg-config"
|
||||||
|
makedepends="gmp-devel readline-devel libressl-devel zlib-devel libarchive-devel libXft-devel libjpeg-turbo-devel libXpm-devel libXinerama-devel unixodbc-devel libXt-devel"
|
||||||
|
short_desc="A comprehensive free Prolog environment"
|
||||||
|
maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
|
||||||
|
license="LGPL-2.1"
|
||||||
|
homepage="http://www.swi-prolog.org/"
|
||||||
|
distfiles="http://www.swi-prolog.org/download/stable/src/pl-${version}.tar.gz"
|
||||||
|
checksum=9f80bb274e2f31fd68b0acbe35982c012d5f8311dbe44ec1d8d04351a776996d
|
||||||
|
nocross=yes
|
||||||
|
|
||||||
|
post_install() {
|
||||||
|
chmod +x "${DESTDIR}/usr/lib/swipl-${version}/library/dialect/sicstus/swipl-lfr.pl"
|
||||||
|
}
|
Loading…
Reference in a new issue