From d98e64b4e5b46a67b582df5032647bb169427d6d Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 3 Jan 2020 19:53:04 -0600 Subject: gnu: Rename module gprolog to prolog. * gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm => prolog.scm. * gnu/packages/{gprolog.scm -> prolog.scm}: Rename file so it is not implementation specific. --- gnu/packages/gprolog.scm | 68 ------------------------------------------------ 1 file changed, 68 deletions(-) delete mode 100644 gnu/packages/gprolog.scm (limited to 'gnu/packages/gprolog.scm') diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm deleted file mode 100644 index 166bf33294..0000000000 --- a/gnu/packages/gprolog.scm +++ /dev/null @@ -1,68 +0,0 @@ -;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013 Nikita Karetnikov -;;; Copyright © 2013 Mark H Weaver -;;; -;;; 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 download) - #:use-module (guix licenses) - #:use-module (guix packages) - #:use-module (guix build-system gnu) - #:use-module (srfi srfi-1)) - -(define-public gprolog - (package - (name "gprolog") - (version "1.4.5") - (source - (origin - (method url-fetch) - ;; Recent versions are not hosted on the GNU mirrors. - (uri (list (string-append "http://gprolog.org/gprolog-" version - ".tar.gz") - (string-append "mirror://gnu/gprolog/gprolog-" version - ".tar.gz"))) - (sha256 - (base32 - "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z")))) - (build-system gnu-build-system) - (arguments - `(#:configure-flags - (list (string-append - "--with-install-dir=" %output "/share/gprolog")) - #:phases - (modify-phases %standard-phases - (add-before 'configure 'change-dir-n-fix-shells - (lambda _ - (chdir "src") - (substitute* "configure" - (("-/bin/sh") (string-append "-" (which "sh"))) - (("= /bin/sh") (string-append "= " (which "sh")))) - #t))))) - (home-page "https://www.gnu.org/software/gprolog/") - (synopsis "Prolog compiler") - (description - "GNU Prolog is a standards-compliant Prolog compiler with constraint -solving over finite domains. It accepts Prolog+ constraint programs and -produces a compiled, native binary which can function in a stand-alone -manner. It also features an interactive interpreter.") - (license (list gpl2+ lgpl3+)) - - ;; See 'configure' for the list of supported architectures. - (supported-systems (fold delete - %supported-systems - '("armhf-linux" "mips64el-linux"))))) -- cgit v1.2.3