ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 05:48:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: ocaml: Use a helper function to download from ocaml-forge.

Browse source 
* gnu/packages/ocaml.scm (ocaml-forge-origin): New procedure.
  (lablgtk)[origin]: Use it.

Signed-off-by: David Craven <david@craven.ch>
This commit is contained in:
Julien Lepiller 2016-12-22 20:05:46 +01:00 committed by David Craven
parent e6876cb9dc
commit 56f73eadc0
No known key found for this signature in database
GPG key ID: C5E051C79C0BECDB
1 changed files with 13 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
gnu/packages/ocaml.scm
View file

@ -50,6 +50,13 @@ (define-module (gnu packages ocaml)
#:use-module (guix svn-download)
#:use-module (guix utils))
;; A shortcut for files from ocaml forge. Downloaded files are computed from
;; their number, not their name.
(define (ocaml-forge-uri name version file-number)
(string-append "https://forge.ocamlcore.org/frs/download.php/"
(number->string file-number) "/" name "-" version
".tar.gz"))
(define-public ocaml
(package
(name "ocaml")
@ -509,14 +516,12 @@ (define-public lablgtk
(package
(name "lablgtk")
(version "2.18.5")
(source
(origin
(method url-fetch)
(uri (string-append "https://forge.ocamlcore.org/frs/download.php/"
"1627/lablgtk-2.18.5.tar.gz"))
(sha256
(base32
"0cyj6sfdvzx8hw7553lhgwc0krlgvlza0ph3dk9gsxy047dm3wib"))))
(source (origin
(method url-fetch)
(uri (ocaml-forge-uri name version 1627))
(sha256
(base32
"0cyj6sfdvzx8hw7553lhgwc0krlgvlza0ph3dk9gsxy047dm3wib"))))
(build-system gnu-build-system)
(native-inputs
`(("camlp4" ,camlp4)