[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#57540] [PATCH 1/6] gnu: Add ocaml-atd.
From: |
Garek Dyszel |
Subject: |
[bug#57540] [PATCH 1/6] gnu: Add ocaml-atd. |
Date: |
Fri, 02 Sep 2022 11:20:15 -0400 |
* gnu/packages/ocaml.scm (ocaml-atd)
---
gnu/packages/ocaml.scm | 35 +++++++++++++++++++++++++++++++++++
1 file changed, 35 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 59f324e..c8ffef5 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8843,3 +8843,38 @@ (define-public ocaml-elpi
ELPI is free software released under the terms of LGPL 2.1 or above.")
(license license:lgpl2.1)))
+(define-public ocaml-atd
+ (package
+ (name "ocaml-atd")
+ (version "2.10.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://github.com/ahrefs/atd/releases/download/"
version
+ "/atdts-" version ".tbz"))
+ (sha256
+ (base32
+
"1609hlj2snpvxnmmg892ic01hv3chdhfmsd2khdw9np9lh4p9lkp"))))
+ (build-system dune-build-system)
+ (arguments
+ `(;; Error: Don't know about directory test specified on the
command line!
+ #:tests? #f))
+ (propagated-inputs (list ocaml-menhir
+ ocaml-easy-format
+ ocaml-odoc
+ ocaml-re
+ ocaml-camlp-streams
+ ocaml-biniou
+ ocaml-yojson
+ ocaml-cmdliner
+ ocaml-menhir))
+ (native-inputs (list ocaml-alcotest python))
+ (home-page "https://github.com/ahrefs/atd")
+ (synopsis "Parser for the ATD data format description language")
+ (description
+ "ATD is the OCaml library providing a parser for the ATD language
+and various utilities. ATD stands for Adjustable Type Definitions in
+reference to its main property of supporting annotations that allow a
+good fit with a variety of data formats.")
+ ;; Modified BSD license
+ (license (license:non-copyleft "LICENSE.md"))))
--
2.37.2
- [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 1/6] gnu: Add ocaml-atd.,
Garek Dyszel <=
- [bug#57540] [PATCH 2/6] gnu: Add ocaml-ansiterminal., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 4/6] gnu: Add coq-mathcomp-hierarchy-builder., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 3/6] gnu: Add coq-elpi., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 5/6] gnu: Add coq-mathcomp-finmap., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 6/6] gnu: Add coq-mathcomp-bigenough and coq-mathcomp-analysis., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Julien Lepiller, 2022/09/03
- [bug#57540] [RFC PATCH v2 01/19] gnu: Add ocaml-elpi., Garek Dyszel, 2022/09/07