From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nikita Karetnikov Subject: GNU Prolog: configure: error: cannot run /bin/sh ./config.sub Date: Wed, 30 Jan 2013 16:11:27 -0500 Message-ID: <87d2wm9y0u.fsf@karetnikov.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]:40187) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U0ewJ-0006fw-61 for bug-guix@gnu.org; Wed, 30 Jan 2013 16:11:30 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U0ewG-00066Z-FQ for bug-guix@gnu.org; Wed, 30 Jan 2013 16:11:27 -0500 Received: from [2a01:7e00::f03c:91ff:fedf:181] (port=36170 helo=cooksoni.karetnikov.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U0ewG-00066F-6o for bug-guix@gnu.org; Wed, 30 Jan 2013 16:11:24 -0500 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: bug-guix@gnu.org --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Hi, The attached recipe fails with the following error: patch-shebang: ./src/config.sub: changing `/bin/sh' to `/nix/store/4mg8b8vvmava68y64qmm70gqfnhhjzmx-bash-4.2/bin/sh' [...] configure: error: cannot run /bin/sh ./config.sub However, these commands don't raise any errors. # cd /tmp/nix-build-gprolog-1.4.2.drv-11 # source environment-variables # cd */src # ./configure && make && make check [...] All tests succeeded Nikita --=-=-= Content-Type: text/plain; charset=utf-8 Content-Disposition: attachment; filename=gprolog.scm Content-Transfer-Encoding: quoted-printable ;;; 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-replace 'configure (lambda _ (zero? (system "cd src && ./configure"))) %standard-phases))) (home-page "http://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 (global variables, OS interface, sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.") (license '(gpl2+ lgpl3+)))) --=-=-=-- --==-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBAgAGBQJRCYycAAoJEM+IQzI9IQ38OdYQAJLLzQqIt81zMVDcE/WE+fvE 64vigFqefRuWG7lNKP/bJTbyM+GKV48P7w6pgLbxD0zZOUs/+ZuiCSXysQlI6FtZ jvFcHOtXYN2Fi5ORert1/2Xr9qqfgfFTORbhM73VoNVuA6ERrb85e9Sh3RHYDx6i H3T7XvcNz9E348JSDCZsJFGF6rpdj45sj/7P8zrA4TV55XZ3HWndUzSGdilicXD+ +sJ5uXyW9q0fS7NPnVu+mJI6tRXbUO7uRAq5cipuXIihSqFusMlwcZyZy0PY2vtN zBtYV+4+4cJVQtkDuU2haQ1bUZzAwVmv5qiOStbTmUU0wA5JyzxBzUcGkOgUevUn 90q3/7NtW9s/+cU2OTMEKcmFkYG76Hpz26HayXIQIfeb1+XbrOpBv0P3luLJrxvF Kze2mB6VMpJH+x8hDnq7DronFVx0iQ6TqBM1yp3qxIA7KmRTEj4pCgJCI8Wy7KBC 5nL4mOA0o85x/P1z4LWNQTn881rUQhl0XNuU2RcfoOsn09sUhXKf8S3El3JcON+P PvyRwNgfDjxQCmQsoGKVAfB3G093mXtBbf2pbr4PPaJuG46rjEKLS0JtEX7dJVmg 2DDUTOLKasekj8bH7JFvj49R7WzEu/75qNwri6HLhu4AHrCM0iqR8v2L9mLUbyn7 5+gc2nU/ym0mLokVW9TW =b2qD -----END PGP SIGNATURE----- --==-=-=--