mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-11-07 15:36:20 -05:00
gnu: Add ocaml-4.01.
* gnu/packages/ocaml.scm (ocaml-4.01): New variable.
This commit is contained in:
parent
0d43b12d1d
commit
ec43671780
1 changed files with 31 additions and 0 deletions
|
@ -7,6 +7,7 @@
|
|||
;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
|
||||
;;; Copyright © 2016 Efraim Flashner <efraim@flashner.co.il>
|
||||
;;; Copyright © 2016, 2017 Julien Lepiller <julien@lepiller.eu>
|
||||
;;; Copyright © 2017 Ben Woodcroft <donttrustben@gmail.com>
|
||||
;;;
|
||||
;;; This file is part of GNU Guix.
|
||||
;;;
|
||||
|
@ -212,6 +213,36 @@ (define-public ocaml
|
|||
;; distributed under lgpl2.0.
|
||||
(license (list license:qpl license:lgpl2.0))))
|
||||
|
||||
(define-public ocaml-4.01
|
||||
(package
|
||||
(inherit ocaml)
|
||||
(version "4.01.0")
|
||||
(source (origin
|
||||
(method url-fetch)
|
||||
(uri (string-append
|
||||
"http://caml.inria.fr/pub/distrib/ocaml-"
|
||||
(version-major+minor version)
|
||||
"/ocaml-" version ".tar.xz"))
|
||||
(sha256
|
||||
(base32
|
||||
"03d7ida94s1gpr3gadf4jyhmh5rrszd5s4m4z59daaib25rvfyv7"))))
|
||||
(arguments
|
||||
(substitute-keyword-arguments (package-arguments ocaml)
|
||||
((#:phases phases)
|
||||
`(modify-phases ,phases
|
||||
(replace 'build
|
||||
(lambda _
|
||||
;; Specifying '-j' at all causes the build to fail.
|
||||
(zero? (system* "make" "world.opt"))))
|
||||
(replace 'check
|
||||
(lambda _
|
||||
(with-directory-excursion "testsuite"
|
||||
(zero? (system*
|
||||
"make"
|
||||
"all"
|
||||
(string-append
|
||||
"TOPDIR=" (getcwd) "/.."))))))))))))
|
||||
|
||||
(define-public opam
|
||||
(package
|
||||
(name "opam")
|
||||
|
|
Loading…
Reference in a new issue