nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: Add ocaml-timed. 

* gnu/packages/ocaml.scm (ocaml-timed): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
Gabriel Hondet 2019-02-01 20:50:25 +01:00 committed by Julien Lepiller
parent 7195c4f2ae
commit 8213db7c95
No known key found for this signature in database
GPG Key ID: 43111F4520086A0C
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
gnu/packages/ocaml.scm
View File

@ -4746,6 +4746,47 @@ extension which allows the definition of parsers inside the language. There
is also support for writing OCaml syntax extensions in a camlp4 style.")
(license license:cecill-b)))
(define-public ocaml-timed
(package
(name "ocaml-timed")
(version "1.0")
(home-page "https://github.com/rlepigre/ocaml-timed")
(source (origin
(method git-fetch)
(uri (git-reference
(url (string-append home-page ".git"))
(commit (string-append name "_" version))))
(sha256
(base32
"0hfxz710faxy5yk97bkfnw87r732jcxxhmjppwrbfdb6pd0wks96"))
(file-name (git-file-name name version))))
(build-system ocaml-build-system)
(arguments
'(#:phases
(modify-phases %standard-phases
(delete 'configure)
(replace 'build
(lambda _
(invoke "make")))
(replace 'install
(lambda _
(invoke "make" "install")))
(replace 'check
(lambda _
(invoke "make" "tests"))))))
(synopsis "Timed references for imperative state")
(description "Timed references for imperative state. This module provides
an alternative type for references (or mutable cells) supporting undo/redo
operations. In particular, an abstract notion of time is used to capture the
state of the references at any given point, so that it can be restored. Note
that usual reference operations only have a constant time / memory overhead
(compared to those of the standard library).
Moreover, we provide an alternative implementation based on the references
of the standard library (Pervasives module). However, it is less efficient
than the first one.")
(license license:expat)))
(define-public ocaml-biniou
(package
(name "ocaml-biniou")