You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

77 lines
3.3 KiB

;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013 Cyril Roelandt <>
;;; 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
;;; 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 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
(name "ocaml")
(version "4.00.1")
(source (origin
(method url-fetch)
(uri (string-append
version ".tar.gz"))
(build-system gnu-build-system)
`(#:modules ((guix build gnu-build-system)
(guix build utils)
(srfi srfi-1))
#:phases (alist-replace
(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))))
(lambda* (#:key outputs #:allow-other-keys)
;; "make" does not do anything, we must use
;; "make world.opt".
(zero? (system* "make" "world.opt")))
(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.
'install 'check-after-install
(alist-delete 'check %standard-phases))))))))
(inputs `(("perl" ,perl)))
(home-page "")
(synopsis "The OCaml programming language")
"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))))