From cd4abd293dd82f3d4db00946bdb96246e3de4e51 Mon Sep 17 00:00:00 2001 From: Peter Kreye Date: Fri, 27 Oct 2017 18:31:57 -0500 Subject: [PATCH] gnu: Add ocaml-zed. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/ocaml.scm (ocaml-zed): New variable. Signed-off-by: Ludovic Courtès --- gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2df9cc1a28..5fdc8e09c1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3591,6 +3591,43 @@ care of most of the low-level details of OCaml compilation. All you have to do is provide a description of your project and Jbuilder will do the rest.") (license license:asl2.0))) +(define-public ocaml-zed + (package + (name "ocaml-zed") + (version "1.5") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/diml/zed/archive/" + version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "1q281slzwgdrrxalayll75bxgghadswlh2zcvzy08nrywqnlq5y8")))) + (build-system ocaml-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key #:allow-other-keys) + (zero? (system* "jbuilder" "build")))) + (delete 'check) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (zero? (system* "jbuilder" "install" "--prefix" out)))))))) + (native-inputs + `(("jbuilder" ,ocaml-jbuilder))) + (propagated-inputs + `(("camomile" ,ocaml-camomile) + ("react" ,ocaml-react))) + (home-page "https://github.com/diml/zed") + (synopsis "Abstract engine for text editing in OCaml") + (description "Zed is an abstract engine for text edition. It can be used +to write text editors, edition widgets, readlines, etc. You just have to +connect an engine to your inputs and rendering functions to get an editor.") + (license license:bsd-3))) + (define-public coq-flocq (package (name "coq-flocq")