[PATCH] gnu: Add sparse.

[PATCH] gnu: Add sparse.

[Cyril Roelandt]

* gnu/packages/sparse.scm: New file.
* Makefile.am (MODULES): Add it.
* gnu/packages/licenses.scm: Add the Open Software License.
---
Hey!

This patch adds sparse. I had to add the Open Software License to
guix/licenses.scm. Debian does not think of it as a Free Software license, but I
think it's OK with GNU.

May I push ?

Cyril.

 Makefile.am             |    1 +
 gnu/packages/sparse.scm |   67 +++++++++++++++++++++++++++++++++++++++++++++++
 guix/licenses.scm       |    6 +++++
 3 files changed, 74 insertions(+)
 create mode 100644 gnu/packages/sparse.scm

diff --git a/Makefile.am b/Makefile.am
index bed4d06..a22d54c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -145,6 +145,7 @@ MODULES =					\
   gnu/packages/screen.scm 			\
   gnu/packages/shishi.scm			\
   gnu/packages/smalltalk.scm			\
+  gnu/packages/sparse.scm			\
   gnu/packages/sqlite.scm 			\
   gnu/packages/ssh.scm				\
   gnu/packages/subversion.scm 			\
diff --git a/gnu/packages/sparse.scm b/gnu/packages/sparse.scm
new file mode 100644
index 0000000..f38c639
--- /dev/null
+++ b/gnu/packages/sparse.scm
@@ -0,0 +1,67 @@
+;;; GNU Guix --- Functional package management for GNU
+;;; Copyright © 2013 Cyril Roelandt <tipecaml@gmaiL.com>
+;;;
+;;; 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 sparse)
+  #:use-module (guix licenses)
+  #:use-module (guix packages)
+  #:use-module (guix download)
+  #:use-module (guix build-system gnu)
+  #:use-module (gnu packages perl))
+
+(define-public sparse
+  (package
+    (name "sparse")
+    (version "0.4.4")
+    (source (origin
+             (method url-fetch)
+             (uri (string-append
+                   "http://www.kernel.org/pub/software/devel/sparse/dist/"
+                   "sparse-" version ".tar.bz2"))
+             (sha256
+              (base32
+               "1bv50z84blz3qdh22jk6ay1aga30zwm18x2w1gf6fzjn6dz3pkjp"))))
+    (build-system gnu-build-system)
+    (arguments
+     '(#:modules ((guix build gnu-build-system)
+                  (guix build utils)
+                  (srfi srfi-1))
+       #:phases (alist-replace
+                 'install
+                 (lambda* (#:key outputs #:allow-other-keys)
+                   (let ((out (assoc-ref outputs "out")))
+                    (zero? (system* "make" "install"
+                                    (string-append "PREFIX=" out)))))
+                 (alist-delete 'configure %standard-phases))))
+    (inputs
+     `(("perl" ,perl)))
+    (home-page "https://sparse.wiki.kernel.org/")
+    (synopsis "A semantic parser")
+    (description
+     "Sparse, the semantic parser, provides a compiler frontend capable of
+parsing most of ANSI C as well as many GCC extensions, and a collection of
+sample compiler backends, including a static analyzer also called \"sparse\".
+Sparse provides a set of annotations designed to convey semantic information
+about types, such as what address space pointers point to, or what locks a
+function acquires or releases.
+
+Linus Torvalds started writing Sparse in 2003, initially targeting issues such
+as mixing pointers to user address space and pointers to kernel address space.
+
+Josh Triplett maintained Sparse 2006~2009. As of 2009, Christopher Li is the
+current maintainer of Sparse.")
+    (license osl)))
diff --git a/guix/licenses.scm b/guix/licenses.scm
index 4e4aee2..4424e67 100644
--- a/guix/licenses.scm
+++ b/guix/licenses.scm
@@ -36,6 +36,7 @@
             lgpl2.0 lgpl2.0+ lgpl2.1 lgpl2.1+ lgpl3 lgpl3+
             mpl2.0
             openldap2.8 openssl
+            osl
             psfl public-domain
             qpl
             vim
@@ -211,6 +212,11 @@ which may be a file:// URI pointing the package's tree."
            "https://www.gnu.org/licenses/license-list#newOpenLDAP"))
               ;; lists OpenLDAPv2.7, which is virtually identical
 
+(define osl
+  (license "Open Software License"
+           "http://directory.fsf.org/wiki/License:OSLv3.0"
+           "https://www.gnu.org/licenses/license-list.html#OSL"))
+
 (define psfl
   (license "Python Software Foundation License"
            "http://docs.python.org/license.html"
-- 
1.7.10.4

Re: [PATCH] gnu: Add sparse.

[Ludovic Courtès]

Cyril Roelandt <tipecaml@gmail.com> skribis:

> This patch adds sparse.

Thanks!  Would it make sense to put it in linux.scm?

> I had to add the Open Software License to guix/licenses.scm. Debian
> does not think of it as a Free Software license, but I think it's OK
> with GNU.

The page at <https://www.gnu.org/licenses/license-list.html#OSL>
contains says it’s free but mentions worrisome details:

   Recent versions of the Open Software License have a term which
   requires distributors to try to obtain explicit assent to the
   license. This means that distributing OSL software on ordinary FTP
   sites, sending patches to ordinary mailing lists, or storing the
   software in an ordinary version control system, is arguably a
   violation of the license and would subject you to possible
   termination of the license.  [...]

We’re not distributing it, just distributing the build recipes.
However, would it be a violation to distribute pre-built binaries on
Hydra?  Could you check that?

> May I push ?

Yes.  We’ll figure out what to do with distribution via Hydra, though.

Thanks,
Ludo’.

Re: [PATCH] gnu: Add sparse.

[Cyril Roelandt]

On 02/26/2013 09:13 AM, Ludovic Courtès wrote:
> Cyril Roelandt<tipecaml@gmail.com>  skribis:
>
>> This patch adds sparse.
>
> Thanks!  Would it make sense to put it in linux.scm?
>

It's not really Linux-specific, even though it is mainly used by Linux 
hackers. I think it's used by smatch, a static analysis tool developed 
by Dan Carpenter, that can be used on any piece of C code, for instance. 
It's also used in the test-suite of git.

>> I had to add the Open Software License to guix/licenses.scm. Debian
>> does not think of it as a Free Software license, but I think it's OK
>> with GNU.
>
> The page at<https://www.gnu.org/licenses/license-list.html#OSL>
> contains says it’s free but mentions worrisome details:
>
>     Recent versions of the Open Software License have a term which
>     requires distributors to try to obtain explicit assent to the
>     license. This means that distributing OSL software on ordinary FTP
>     sites, sending patches to ordinary mailing lists, or storing the
>     software in an ordinary version control system, is arguably a
>     violation of the license and would subject you to possible
>     termination of the license.  [...]
>
> We’re not distributing it, just distributing the build recipes.
> However, would it be a violation to distribute pre-built binaries on
> Hydra?  Could you check that?

Indeed, this is the ninth clause. Maybe I should email the current 
sparse maintainer and ask him ?

Cyril.

Re: [PATCH] gnu: Add sparse.

[Ludovic Courtès]

Cyril Roelandt <tipecaml@gmail.com> skribis:

> On 02/26/2013 09:13 AM, Ludovic Courtès wrote:
>> Cyril Roelandt<tipecaml@gmail.com>  skribis:
>>
>>> This patch adds sparse.
>>
>> Thanks!  Would it make sense to put it in linux.scm?
>>
>
> It's not really Linux-specific, even though it is mainly used by Linux
> hackers. I think it's used by smatch, a static analysis tool developed
> by Dan Carpenter, that can be used on any piece of C code, for
> instance. It's also used in the test-suite of git.

Yeah, that still sounds Linuxish despite the intent, but I’m fine with
sparse.scm.

>>> I had to add the Open Software License to guix/licenses.scm. Debian
>>> does not think of it as a Free Software license, but I think it's OK
>>> with GNU.
>>
>> The page at<https://www.gnu.org/licenses/license-list.html#OSL>
>> contains says it’s free but mentions worrisome details:
>>
>>     Recent versions of the Open Software License have a term which
>>     requires distributors to try to obtain explicit assent to the
>>     license. This means that distributing OSL software on ordinary FTP
>>     sites, sending patches to ordinary mailing lists, or storing the
>>     software in an ordinary version control system, is arguably a
>>     violation of the license and would subject you to possible
>>     termination of the license.  [...]
>>
>> We’re not distributing it, just distributing the build recipes.
>> However, would it be a violation to distribute pre-built binaries on
>> Hydra?  Could you check that?
>
> Indeed, this is the ninth clause. Maybe I should email the current
> sparse maintainer and ask him ?

Maybe rather licensing@gnu.org, since they wrote the above page.

Interestingly, the ninth clause [0] refers to the “Original Work”, which
is only vaguely defined and could be interpreted as referring to the
source code, which we won’t distribute anyway.  IANAL, though...

BTW, license.scm would have to distinguish between versions of the OSL.

Thanks,
Ludo’.

[0] http://opensource.org/licenses/OSL-3.0