From dbf2af4ad07ff1f4c9edae148b7b9238601dcc45 Mon Sep 17 00:00:00 2001 From: Christian Neukirchen Date: Mon, 22 Sep 2014 22:37:22 +0200 Subject: [PATCH] New package: swi-prolog-6.6.6 --- srcpkgs/swi-prolog/patches/libressl.patch | 34 +++++++++++++++++++++++ srcpkgs/swi-prolog/template | 20 +++++++++++++ 2 files changed, 54 insertions(+) create mode 100644 srcpkgs/swi-prolog/patches/libressl.patch create mode 100644 srcpkgs/swi-prolog/template diff --git a/srcpkgs/swi-prolog/patches/libressl.patch b/srcpkgs/swi-prolog/patches/libressl.patch new file mode 100644 index 00000000000..c7662fe6ef5 --- /dev/null +++ b/srcpkgs/swi-prolog/patches/libressl.patch @@ -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); diff --git a/srcpkgs/swi-prolog/template b/srcpkgs/swi-prolog/template new file mode 100644 index 00000000000..68b46c35b92 --- /dev/null +++ b/srcpkgs/swi-prolog/template @@ -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 " +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" +}