diff options
author | Marius Bakke <marius@gnu.org> | 2020-06-27 10:23:11 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2020-06-27 10:23:11 +0200 |
commit | 425fd7eb6a5f07eb9b854a5a29488e6f0b0acf3c (patch) | |
tree | 44479010890dd9aaf8bc52cab73f7c241a2fd9ea /gnu/packages/ocaml.scm | |
parent | fe9f2d150019b9fc17f08f5a002d7ca932fc3eb0 (diff) | |
parent | 88dbef3b9868a565da1eba37c9d409cce972becc (diff) |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r-- | gnu/packages/ocaml.scm | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d9ba2aee2d..5792c1f465 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2940,13 +2940,14 @@ and 4 (random based) according to RFC 4122.") (name "ocaml4.07-piqi") (version "0.7.7") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/alavrik/piqi-ocaml/" - "archive/v" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/alavrik/piqi-ocaml") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "1l0b4saxmwqgw9mb10mwrz31lvpj3l0abh3cwarqp0x4vdrzshbh")))) + "1913jpsb8mvqi8609j4g4sm5jhg50dq0xqxgy8nmvknfryyc89nm")))) (build-system ocaml-build-system) (arguments `(#:make-flags @@ -2955,6 +2956,10 @@ and 4 (random based) according to RFC 4122.") "/bin/sh")) #:phases (modify-phases %standard-phases + (add-after 'unpack 'make-files-writable + (lambda _ + (for-each make-file-writable (find-files ".")) + #t)) (delete 'configure)) #:ocaml ,ocaml-4.07 #:findlib ,ocaml4.07-findlib)) |