[PATCH 1/2] gnu: Add gcl.

[PATCH 1/2] gnu: Add gcl.

[John Darrington]

* gnu-system.am (GNU_SYSTEM_MODULES): Add new package.
* gnu/packages/lisp.scm: New file.
---
 gnu-system.am         |    1 +
 gnu/packages/lisp.scm |   82 +++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 83 insertions(+)
 create mode 100644 gnu/packages/lisp.scm

diff --git a/gnu-system.am b/gnu-system.am
index 90f9033..a538c45 100644
--- a/gnu-system.am
+++ b/gnu-system.am
@@ -144,6 +144,7 @@ GNU_SYSTEM_MODULES =				\
   gnu/packages/libunwind.scm			\
   gnu/packages/lightning.scm			\
   gnu/packages/linux.scm			\
+  gnu/packages/lisp.scm			\
   gnu/packages/lout.scm				\
   gnu/packages/lsh.scm				\
   gnu/packages/lsof.scm				\
diff --git a/gnu/packages/lisp.scm b/gnu/packages/lisp.scm
new file mode 100644
index 0000000..78d7dd9
--- /dev/null
+++ b/gnu/packages/lisp.scm
@@ -0,0 +1,82 @@
+;;; GNU Guix --- Functional package management for GNU
+;;; Copyright © 2014 John Darrington <jmd@gnu.org>
+;;;
+;;; 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 <http://www.gnu.org/licenses/>.
+
+(define-module (gnu packages lisp)
+  #:use-module (gnu packages)
+  #:use-module ((guix licenses)
+                #:renamer (symbol-prefix-proc 'license:))
+  #:use-module (guix packages)
+  #:use-module (gnu packages readline)
+  #:use-module (gnu packages texinfo)
+  #:use-module (gnu packages texlive)
+  #:use-module (gnu packages m4)
+  #:use-module (guix download)
+  #:use-module (guix utils)
+  #:use-module (guix build-system gnu))
+
+(define-public gcl
+  (package
+    (name "gcl")
+    (version "2.6.10")
+    (source
+     (origin
+      (method url-fetch)
+      (uri (string-append "http://ftp.halifax.rwth-aachen.de/gnu/" name "/"
+                          name "-" version ".tar.gz"))
+      (sha256
+       (base32 "1vsicv81ml7d92c87bckgkpvcshi6hzdnj44k0j6zs5mj8pzp8br"))))
+    (build-system gnu-build-system)
+    (arguments
+     `(#:parallel-build? #f  ; The build system seems not to be thread safe.
+       #:tests? #f  ; There does not seem to be make check or anything similar.
+       #:configure-flags '("--enable-ansi") ; required for use by the maxima package
+       #:phases (alist-cons-before
+                'configure 'pre-conf
+                (lambda _ 
+                  ;; Patch bug when building readline support.  This bug was
+                  ;; also observed by Debian
+                  ;; https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741819
+                  (substitute* "o/gcl_readline.d"
+                    (("rl_attempted_completion_function = \\(CPPFunction \\*\\)rl_completion;")
+                      "rl_attempted_completion_function = rl_completion;"))
+                  (substitute* 
+                      (append 
+                       '("pcl/impl/kcl/makefile.akcl"
+                         "add-defs"
+                         "unixport/makefile.dos"
+                         "add-defs.bat"
+                         "gcl-tk/makefile.prev"
+                         "add-defs1")
+                       (find-files "h" "\\.defs"))
+                    (("SHELL=/bin/(ba)?sh")
+                     (string-append "SHELL=" (which "bash")))))
+                %standard-phases)))
+    (native-inputs
+     `(("m4" ,m4)
+       ("readline" ,readline)
+       ("texinfo" ,texinfo)
+       ("texlive" ,texlive)))
+    (home-page "http://www.gnu.org/software/gcl")
+    (synopsis "A Common Lisp implementation")
+    (description "GCL is an implementation of the Common Lisp language.  It
+features the ability to compile to native object code and to load native
+object code modules directly into its lisp core.  It also features a
+stratified garbage collection strategy, a source-level debugger and a built-in
+interface to the Tk widget system.")
+    (license license:lgpl2.0+)))
+
-- 
1.7.10.4

[PATCH 2/2] gnu: Add maxima.

[John Darrington]

* gnu/packages/math.scm (maxima): New variable.
---
 gnu/packages/maths.scm |   39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index d1860df..3fa7409 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -43,9 +43,11 @@
   #:use-module (gnu packages ghostscript)
   #:use-module (gnu packages gtk)
   #:use-module (gnu packages less)
+  #:use-module (gnu packages lisp)
   #:use-module (gnu packages gnome)
   #:use-module (gnu packages xorg)
   #:use-module (gnu packages gl)
+  #:use-module (gnu packages m4)
   #:use-module (gnu packages mpi)
   #:use-module (gnu packages multiprecision)
   #:use-module (gnu packages pcre)
@@ -827,3 +829,40 @@ canvas.  The program supports rectangular two-dimensional plots, histograms,
 polar-axis plots and three-dimensional plots.  Plots can be printed or saved
 to BMP, JPEG or PNG image formats.")
     (license license:gpl3+)))
+
+(define-public maxima
+  (package
+    (name "maxima")
+    (version "5.33.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "mirror://sourceforge/maxima/Maxima-source/"
+                           version "-source/" name "-" version ".tar.gz"))
+       (sha256
+        (base32
+         "13axm11xw0f3frx5b0qdidi7igkn1524fzz77s9rbpl2yy2nrbz2"))))
+    (build-system gnu-build-system)
+    (arguments
+     `(#:phases (alist-cons-before
+                 'check 'pre-check
+                 (lambda _ 
+                   (chmod "src/maxima" #o555))
+                 %standard-phases)))
+    (inputs 
+     `(("gcl" ,gcl)))
+    (native-inputs 
+     `(("texinfo" ,texinfo)
+       ("perl" ,perl)))
+    (home-page "http://maxima.sourceforge.net")
+    (synopsis "Numeric and symbolic expression manipulation")
+    (description "Maxima is a system for the manipulation of symbolic and
+numerical expressions.  It yields high precision numeric results by using
+exact fractions, arbitrary precision integers, and variable precision floating
+point numbers")
+    ;; Some files are lgpl2.1+. Some are gpl2+.  Some explicitly state gpl1+.
+    ;; Others simply say "GNU General Public License" without stating a
+    ;; version (which implicitly means gpl1+).
+    ;; At least one file (src/maxima.asd) says "version 2."
+    ;; GPLv2 only is therefore the smallest subset.
+    (license license:gpl2))) 
-- 
1.7.10.4

Re: [PATCH 1/2] gnu: Add gcl.

[Ludovic Courtès]

John Darrington <jmd@gnu.org> skribis:

> * gnu-system.am (GNU_SYSTEM_MODULES): Add new package.
> * gnu/packages/lisp.scm: New file.

Looks good to me.

[...]

> +    (name "gcl")
> +    (version "2.6.10")
> +    (source
> +     (origin
> +      (method url-fetch)
> +      (uri (string-append "http://ftp.halifax.rwth-aachen.de/gnu/" name "/"
> +                          name "-" version ".tar.gz"))
> +      (sha256
> +       (base32 "1vsicv81ml7d92c87bckgkpvcshi6hzdnj44k0j6zs5mj8pzp8br"))))

Could you change the URL to mirror://gnu/gcl/gcl- ... ?

OK to push with this change.

Thanks!

Ludo’.

Re: [PATCH 2/2] gnu: Add maxima.

[Ludovic Courtès]

John Darrington <jmd@gnu.org> skribis:

> * gnu/packages/math.scm (maxima): New variable.

Should be “maths.scm”, with an ‘s.’

OK to push with that fix, thanks!

Ludo’.

Re: [PATCH 2/2] gnu: Add maxima.

[John Darrington]

On Sat, Jul 05, 2014 at 03:16:25PM +0200, Ludovic Court??s wrote:
> John Darrington <jmd@gnu.org> skribis:
> 
> > * gnu/packages/math.scm (maxima): New variable.
> 
> Should be ???maths.scm???, with an ???s.???

OK.  (why do we use the British convention here, but Americanisms for almost everything else?)

J'

Re: [PATCH 2/2] gnu: Add maxima.

[Ludovic Courtès]

John Darrington <jmd@gnu.org> skribis:

> On Sat, Jul 05, 2014 at 03:16:25PM +0200, Ludovic Court??s wrote:
>> John Darrington <jmd@gnu.org> skribis:
>> 
>> > * gnu/packages/math.scm (maxima): New variable.
>> 
>> Should be ???maths.scm???, with an ???s.???
>
> OK.  (why do we use the British convention here, but Americanisms for almost everything else?)

Dunno, is “mathematics” (plural) particularly British?  Aspell’s
‘american’ dictionary recognizes it.

Ludo’.

Re: [PATCH 2/2] gnu: Add maxima.

[John Darrington]

On Sat, Jul 05, 2014 at 06:59:36PM +0200, Ludovic Court??s wrote:
> John Darrington <jmd@gnu.org> skribis:
> 
> > On Sat, Jul 05, 2014 at 03:16:25PM +0200, Ludovic Court??s wrote:
> >> John Darrington <jmd@gnu.org> skribis:
> >> 
> >> > * gnu/packages/math.scm (maxima): New variable.
> >> 
> >> Should be ???maths.scm???, with an ???s.???
> >
> > OK.  (why do we use the British convention here, but Americanisms for almost everything else?)
> 
> Dunno, is ???mathematics??? (plural) particularly British?  Aspell???s
> ???american??? dictionary recognizes it.

But in the abbreviated form most british people would say "maths" whereas most americans say "math".

Re: [PATCH 2/2] gnu: Add maxima.

[Ludovic Courtès]

John Darrington <jmd@gnu.org> skribis:

> On Sat, Jul 05, 2014 at 06:59:36PM +0200, Ludovic Court??s wrote:
>> John Darrington <jmd@gnu.org> skribis:
>> 
>> > On Sat, Jul 05, 2014 at 03:16:25PM +0200, Ludovic Court??s wrote:
>> >> John Darrington <jmd@gnu.org> skribis:
>> >> 
>> >> > * gnu/packages/math.scm (maxima): New variable.
>> >> 
>> >> Should be ???maths.scm???, with an ???s.???
>> >
>> > OK.  (why do we use the British convention here, but Americanisms for almost everything else?)
>> 
>> Dunno, is ???mathematics??? (plural) particularly British?  Aspell???s
>> ???american??? dictionary recognizes it.
>
> But in the abbreviated form most british people would say "maths" whereas most americans say "math".

Oh, interesting, thanks for educating me.  :-)

Ludo’.

PS: Your MUA seems to have troubles quoting non-ASCII text.

Unprintable characters

[John Darrington]

On Sat, Jul 05, 2014 at 09:33:05PM +0200, Ludovic Court??s wrote:

> PS: Your MUA seems to have troubles quoting non-ASCII text.

I'm glad you raised that issue.

I would prefer it if we could avoid the gratiutous use of non-ascii characters.
Although they can be handles in GNU/Linux, it is troublesome.

For  example doing a simple

 less gnu/packages/maths.scm

provokes the response:

 "gnu/packages/maths.scm" may be a binary file.  See it anyway?

And then the header is displayed as:

;;; Copyright <C2><A9> 2013, 2014 Andreas Enge <andreas@enge.fr>
;;; Copyright <C2><A9> 2013 Nikita Karetnikov <nikita@karetnikov.org>
;;; Copyright <C2><A9> 2014 John Darrington <jmd@gnu.org>
;;; Copyright <C2><A9> 2014 Eric Bavier <bavier@member.fsf.org>

Is it really necessary to use a UTF-8 char here?   ok it looks nice when everything works,
but terrible in the other 90% of situations.

The same goes for quotes  " is a perfectly acceptable character instead of things
that rarely display properly.

The GNU Coding standards say:

  "Sticking to the ASCII character set (plain text, 7-bit characters) is 
   preferred in GNU source code comments, text documents, and other contexts, 
   unless there is good reason to do something else because of the application 
   domain."

I don't see that such reason exists in here.


J'

Re: Unprintable characters

[Ludovic Courtès]

John Darrington <jmd@gnu.org> skribis:

> On Sat, Jul 05, 2014 at 09:33:05PM +0200, Ludovic Court??s wrote:
>
>> PS: Your MUA seems to have troubles quoting non-ASCII text.
>
> I'm glad you raised that issue.
>
> I would prefer it if we could avoid the gratiutous use of non-ascii characters.

Not in 2014, no.

> For  example doing a simple
>
>  less gnu/packages/maths.scm
>
> provokes the response:
>
>  "gnu/packages/maths.scm" may be a binary file.  See it anyway?

That’s most likely because ‘less’ isn’t invoked with a UTF-8 locale.
Try doing, say: LC_ALL=en_US.utf8 less maths.scm.

It may be the same problem that affects the MUA.

> The GNU Coding standards say:
>
>   "Sticking to the ASCII character set (plain text, 7-bit characters) is 
>    preferred in GNU source code comments, text documents, and other contexts, 
>    unless there is good reason to do something else because of the application 
>    domain."

When I have spare time and energy for that, I’ll happily submit a
patch.  :-)

GNU standardized native language support, presumably because it makes
the freedom to use the program practical for a wider range of people.
For the same reason, time has come to say goodbye to ASCII.

Thanks,
Ludo’.

Re: Unprintable characters

[Ludovic Courtès]

ludo@gnu.org (Ludovic Courtès) skribis:

> John Darrington <jmd@gnu.org> skribis:

[...]

>> The GNU Coding standards say:
>>
>>   "Sticking to the ASCII character set (plain text, 7-bit characters) is 
>>    preferred in GNU source code comments, text documents, and other contexts, 
>>    unless there is good reason to do something else because of the application 
>>    domain."
>
> When I have spare time and energy for that, I’ll happily submit a
> patch.  :-)

Just started the discussion:
<http://lists.gnu.org/archive/html/bug-standards/2014-07/msg00000.html>.

Ludo’.