I was unable to build gprolog, because it was no longer available at the
specified URL <http://www.gprolog.org/gprolog-1.4.2.tar.gz>. Apparently
only the newest version is available there. Older versions are moved to
a different URL <http://gprolog.univ-paris1.fr/old_versions/>, which
does *not* have the latest version.
Since gprolog.org does not seem to provide stable URLs for their newest
tarballs, I suggest that we use the GNU mirrors instead. The attached
patch does this, and also upgrades gprolog to 1.4.3.
What do you think?
Mark
>From 60b284848f722f3faa3e1a5e876b712e8b09960c Mon Sep 17 00:00:00 2001
From: Mark H Weaver <m...@netris.org>
Date: Sun, 21 Apr 2013 02:54:56 -0400
Subject: [PATCH] gnu: gprolog: Update to 1.4.3 and download from GNU mirrors
* gnu/packages/gprolog.scm (gprolog): Update to 1.4.3.
Download from GNU mirrors.
---
gnu/packages/gprolog.scm | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm
index c362a7b..7f7cbe0 100644
--- a/gnu/packages/gprolog.scm
+++ b/gnu/packages/gprolog.scm
@@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013 Nikita Karetnikov <nik...@karetnikov.org>
+;;; Copyright © 2013 Mark H Weaver <m...@netris.org>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -25,15 +26,15 @@
(define-public gprolog
(package
(name "gprolog")
- (version "1.4.2")
+ (version "1.4.3")
(source
(origin
(method url-fetch)
- (uri (string-append "http://www.gprolog.org/gprolog-";
- version ".tar.gz"))
+ (uri (string-append "mirror://gnu/gprolog/gprolog-" version
+ ".tar.gz"))
(sha256
(base32
- "0y25c2gwz41i6g28qyfjklrmanzgk0c8cr4jn2s7s8qgd9dnm1fm"))))
+ "16yl6q9ydx9d8lphg9xkk53l1m0fq0kpvrhry8njsxhhncazm4j2"))))
(build-system gnu-build-system)
(arguments
`(#:phases (alist-cons-before
--
1.7.10.4
