Browse Source

gnu: Add OCaml. licenses: Add QPL.

* gnu/packages/ocaml.scm: New file.
* Makefile.am (MODULES): Add it.
* guix/licenses.scm: New variable.
gn-latest-20200428
Cyril Roelandt 8 years ago
committed by Ludovic Courtès
parent
commit
d192efae07
3 changed files with 84 additions and 0 deletions
  1. +1
    -0
      Makefile.am
  2. +77
    -0
      gnu/packages/ocaml.scm
  3. +6
    -0
      guix/licenses.scm

+ 1
- 0
Makefile.am View File

@@ -108,6 +108,7 @@ MODULES = \
gnu/packages/ncurses.scm \
gnu/packages/netpbm.scm \
gnu/packages/nettle.scm \
gnu/packages/ocaml.scm \
gnu/packages/openssl.scm \
gnu/packages/oggvorbis.scm \
gnu/packages/perl.scm \


+ 77
- 0
gnu/packages/ocaml.scm View File

@@ -0,0 +1,77 @@
;;; 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 ocaml)
#:use-module (guix licenses)
#:use-module (guix packages)
#:use-module (guix download)
#:use-module (guix build-system gnu)
#:use-module (gnu packages)
#:use-module (gnu packages perl))

(define-public ocaml
(package
(name "ocaml")
(version "4.00.1")
(source (origin
(method url-fetch)
(uri (string-append
"http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-"
version ".tar.gz"))
(sha256
(base32
"0yp86napnvbi2jgxr6bk1235bmjdclgzrzgq4mhwv87l7dymr3dl"))))
(build-system gnu-build-system)
(arguments
`(#:modules ((guix build gnu-build-system)
(guix build utils)
(srfi srfi-1))
#:phases (alist-replace
'configure
(lambda* (#:key outputs #:allow-other-keys)
;; OCaml uses "-prefix <prefix>" rather than the usual
;; "--prefix=<prefix>".
(let ((out (assoc-ref outputs "out")))
(zero? (system* "./configure" "-prefix" out))))
(alist-replace
'build
(lambda* (#:key outputs #:allow-other-keys)
;; "make" does not do anything, we must use
;; "make world.opt".
(zero? (system* "make" "world.opt")))
(alist-replace
'check-after-install
(lambda* (#:key outputs #:allow-other-keys)
;; There does not seem to be a "check" or "test" target.
(zero? (system "cd testsuite && make all")))
(let ((check (assq-ref %standard-phases 'check)))
;; OCaml assumes that "make install" is run before
;; launching the tests.
(alist-cons-after
'install 'check-after-install
check
(alist-delete 'check %standard-phases))))))))
(inputs `(("perl" ,perl)))
(home-page "http://caml.inria.fr/")
(synopsis "The OCaml programming language")
(description
"OCaml is a general purpose industrial-strength programming language with
an emphasis on expressiveness and safety. Developed for more than 20 years at
Inria it benefits from one of the most advanced type systems and supports
functional, imperative and object-oriented styles of programming.")
(license (list qpl gpl2))))

+ 6
- 0
guix/licenses.scm View File

@@ -36,6 +36,7 @@
mpl2.0
openldap2.8 openssl
psfl public-domain
qpl
vim
x11
zlib))
@@ -213,6 +214,11 @@ which may be a file:// URI pointing the package's tree."
"http://directory.fsf.org/wiki/License:PublicDomain"
"https://www.gnu.org/licenses/license-list#PublicDomain"))

(define qpl
(license "QPL"
"http://directory.fsf.org/wiki/License:QPLv1.0"
"http://www.gnu.org/licenses/license-list.html#QPL"))

(define vim
(license "Vim"
"http://directory.fsf.org/wiki/License:Vim7.2"


Loading…
Cancel
Save