From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nikita Karetnikov Subject: Re: [PATCH] gnu: Add GNU Prolog. Date: Fri, 01 Feb 2013 11:31:19 -0500 Message-ID: <87fw1g0zex.fsf@karetnikov.org> References: <87d2wm9y0u.fsf@karetnikov.org> <201301302216.27704.andreas@enge.fr> <87r4l20yad.fsf_-_@karetnikov.org> <87a9rpr9zg.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([208.118.235.92]:34947) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U1JWJ-0003iy-5w for bug-guix@gnu.org; Fri, 01 Feb 2013 11:31:22 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U1JWC-0004ZW-Mo for bug-guix@gnu.org; Fri, 01 Feb 2013 11:31:19 -0500 In-Reply-To: <87a9rpr9zg.fsf@gnu.org> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?= =?utf-8?Q?s?= message of "(unknown date)") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: bug-guix@gnu.org --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= What about this one? --=-=-= Content-Type: text/x-diff; charset=utf-8 Content-Disposition: attachment; filename=0001-gnu-Add-GNU-Prolog.patch Content-Transfer-Encoding: quoted-printable From=2031d58fb07a91fe7a37b55517647b222ec146fcf5 Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov Date: Fri, 1 Feb 2013 16:11:29 +0000 Subject: [PATCH] gnu: Add GNU Prolog. * gnu/packages/gprolog.scm: New file. * Makefile.am (MODULES): Add it. =2D-- Makefile.am | 1 + gnu/packages/gprolog.scm | 72 ++++++++++++++++++++++++++++++++++++++++++= ++++ 2 files changed, 73 insertions(+), 0 deletions(-) create mode 100644 gnu/packages/gprolog.scm diff --git a/Makefile.am b/Makefile.am index 439b5ff..0d8105a 100644 =2D-- a/Makefile.am +++ b/Makefile.am @@ -78,6 +78,7 @@ MODULES =3D \ gnu/packages/gnupg.scm \ gnu/packages/gnutls.scm \ gnu/packages/gperf.scm \ + gnu/packages/gprolog.scm \ gnu/packages/groff.scm \ gnu/packages/gsasl.scm \ gnu/packages/guile.scm \ diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm new file mode 100644 index 0000000..ba84d9a =2D-- /dev/null +++ b/gnu/packages/gprolog.scm @@ -0,0 +1,72 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2013 Nikita Karetnikov +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages gprolog) + #:use-module (guix licenses) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (guix build-system gnu)) + +(define-public gprolog + (package + (name "gprolog") + (version "1.4.2") + (source + (origin + (method url-fetch) + (uri (string-append "http://www.gprolog.org/gprolog-" + version ".tar.gz")) + (sha256 + (base32 + "0y25c2gwz41i6g28qyfjklrmanzgk0c8cr4jn2s7s8qgd9dnm1fm")))) + (build-system gnu-build-system) + (arguments + `(#:phases (alist-cons-before + 'configure 'change-dir-n-fix-shells + (lambda _ + (chdir "src") + (substitute* "configure" + (("-/bin/sh") (string-append "-" (which "sh"))) + (("=3D /bin/sh") (string-append "=3D " (which "sh")))= )) + %standard-phases))) + (home-page "https://www.gnu.org/software/gprolog/") + (synopsis + "GNU Prolog, a free Prolog compiler with constraint solving over +finite domains") + (description + "GNU Prolog is a free Prolog compiler with constraint solving over +finite domains developed by Daniel Diaz. + +GNU Prolog accepts Prolog+constraint programs and produces native +binaries (like gcc does from a C source). The obtained executable is +then stand-alone. The size of this executable can be quite small since +GNU Prolog can avoid to link the code of most unused built-in +predicates. The performances of GNU Prolog are very +encouraging (comparable to commercial systems). + +Beside the native-code compilation, GNU Prolog offers a classical +interactive interpreter (top-level) with a debugger. + +The Prolog part conforms to the ISO standard for Prolog with many +extensions very useful in practice (e.g., global variables, OS +interface, sockets). + +GNU Prolog also includes an efficient constraint solver over finite domain= s. +This opens contraint logic programming to the user combining the power of +constraint programming to the declarativity of logic programming.") + (license (list gpl2+ lgpl3+)))) \ No newline at end of file =2D-=20 1.7.5.4 --=-=-=-- --==-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBAgAGBQJRC+3wAAoJEM+IQzI9IQ38aaoP/3U6D07uWZhdAs7MqVS39Nh4 5WbSndtehDeHEQS9xEEepS9AE+fEfcHcxClWtGM8T3O4cLO6dkyELVCRM7keLFIb mn/+aqG6bI79HGuwLIix2d/SlzBs9N8XpS7nEh5VYeClnRTbRQpZMmBbau1mDmts f6syzRZMw4koPPdepWFxMKINoykTVXiWHOZyFpx/LjmwuoCxF+vUVE+SEkQaWwdO ymCgp2L+ohqgvdW08sLAJ+CDJa7rC+lrXTXN9sa9oVU4jhVUMkvMsnbd+GFj61Zb gfSa+oASXQM65aNox7r91WhK+q6WtgtjyHmsYbf7NS2K25SLje4s3M0QvKb6x35e j81B87bmOTsuIjIqCDPHuZa6/7VfDuVMZv9elFyubt3CqwDbJKn4TVuJBfbsKbox murANf+mDmr3kXHh35JmEfmn+3tk7GJ79ZUhSpcNN8gc4G6ANXf2rSfoLce01Ue4 FoMxhso9gjFy3lJzG5RwZDGBJTC/3qO/TQBZ+s835WsjJ1ZYapuV0H7SRSfqidiq flc5V4E2hRdouBfzO7znynhy9SLs68a4dTNqTOzeWJcRH/bwCnD3J3c9dUOwcLz8 pI6E1MyStvMpruUFb4tV8n0QwuR6/qo/9iKeAbaTlX5AaGC+cImMPgtt431RamkS OhUnnL+rcca8Fx7IvT6t =nQUG -----END PGP SIGNATURE----- --==-=-=--