aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/dhall.scm
diff options
context:
space:
mode:
authorJohn Soo <jsoo1@asu.edu>2020-04-10 21:01:46 -0700
committerLeo Famulari <leo@famulari.name>2020-05-29 10:44:34 -0400
commit9ff667ea05d0807b4e6512c92914ae517b9ec755 (patch)
tree3357fc3939c4e717425ad6214d4d9b5450245c45 /gnu/packages/dhall.scm
parentb7250901f6e0143a6838d924742397986c1764b0 (diff)
downloadguix-9ff667ea05d0807b4e6512c92914ae517b9ec755.tar
guix-9ff667ea05d0807b4e6512c92914ae517b9ec755.tar.gz
gnu: Add dhall.
* gnu/packages/dhall.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. (dist_patch_DATA): Add new patch. * gnu/packages/patches/dhall-remove-network-tests.patch: Add patch to remove dhall network tests. Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu/packages/dhall.scm')
-rw-r--r--gnu/packages/dhall.scm133
1 files changed, 133 insertions, 0 deletions
diff --git a/gnu/packages/dhall.scm b/gnu/packages/dhall.scm
new file mode 100644
index 0000000000..bbe2d271d7
--- /dev/null
+++ b/gnu/packages/dhall.scm
@@ -0,0 +1,133 @@
+;;; Copyright © 2020 John Soo <jsoo1@asu.edu>
+;;;
+;;; This file is part of GNU Guix.
+;;;
+;;; GNU Guix is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU General Public License as published by
+;;; the Free Software Foundation; either version 3 of the License, or (at
+;;; your option) any later version.
+;;;
+;;; GNU Guix is distributed in the hope that it will be useful, but
+;;; WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+;;; GNU General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU General Public License
+;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
+
+(define-module (gnu packages dhall)
+ #:use-module (gnu packages)
+ #:use-module (gnu packages haskell-xyz)
+ #:use-module (gnu packages haskell-check)
+ #:use-module (gnu packages haskell-crypto)
+ #:use-module (gnu packages haskell-web)
+ #:use-module (guix download)
+ #:use-module (guix build-system haskell)
+ #:use-module ((guix licenses) #:prefix license:)
+ #:use-module (guix packages))
+
+(define-public dhall
+ (package
+ (name "dhall")
+ (version "1.31.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://hackage.haskell.org/package/dhall/dhall-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "18v7vvcbcm9s7slh6h43rj9yakkkxwnwgj6kv84i6qzd2j7d80mc"))
+ (patches (search-patches "dhall-remove-network-tests.patch"))))
+ (build-system haskell-build-system)
+ (inputs
+ `(("ghc-aeson" ,ghc-aeson)
+ ("ghc-aeson-pretty" ,ghc-aeson-pretty)
+ ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+ ("ghc-atomic-write" ,ghc-atomic-write-0.2.0.7)
+ ("ghc-case-insensitive" ,ghc-case-insensitive)
+ ("ghc-cborg" ,ghc-cborg)
+ ("ghc-cborg-json" ,ghc-cborg-json)
+ ("ghc-contravariant" ,ghc-contravariant)
+ ("ghc-data-fix" ,ghc-data-fix)
+ ("ghc-diff" ,ghc-diff)
+ ("ghc-dotgen" ,ghc-dotgen)
+ ("ghc-either" ,ghc-either)
+ ("ghc-exceptions" ,ghc-exceptions)
+ ("ghc-hashable" ,ghc-hashable)
+ ("ghc-lens-family-core" ,ghc-lens-family-core)
+ ("ghc-megaparsec" ,ghc-megaparsec)
+ ("ghc-memory" ,ghc-memory)
+ ("ghc-network-uri" ,ghc-network-uri)
+ ("ghc-optparse-applicative" ,ghc-optparse-applicative)
+ ("ghc-parsers" ,ghc-parsers)
+ ("ghc-parser-combinators" ,ghc-parser-combinators)
+ ("ghc-prettyprinter" ,ghc-prettyprinter-1.6)
+ ("ghc-prettyprinter-ansi-terminal" ,ghc-prettyprinter-ansi-terminal)
+ ("ghc-pretty-simple" ,ghc-pretty-simple)
+ ("ghc-profunctors" ,ghc-profunctors)
+ ("ghc-repline" ,ghc-repline-0.3)
+ ("ghc-serialise" ,ghc-serialise)
+ ("ghc-scientific" ,ghc-scientific)
+ ("ghc-text-manipulate" ,ghc-text-manipulate)
+ ("ghc-th-lift-instances" ,ghc-th-lift-instances)
+ ("ghc-transformers-compat" ,ghc-transformers-compat)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-uri-encode" ,ghc-uri-encode)
+ ("ghc-vector" ,ghc-vector)
+ ("ghc-cryptonite" ,ghc-cryptonite)
+ ("ghc-http-types" ,ghc-http-types)
+ ("ghc-http-client" ,ghc-http-client)
+ ("ghc-http-client-tls" ,ghc-http-client-tls)))
+ (native-inputs
+ `(("ghc-foldl" ,ghc-foldl)
+ ("ghc-generic-random" ,ghc-generic-random-1.3.0.1)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-quickcheck-instances" ,ghc-quickcheck-instances)
+ ("ghc-semigroups" ,ghc-semigroups)
+ ("ghc-special-values" ,ghc-special-values)
+ ("ghc-spoon" ,ghc-spoon)
+ ("ghc-tasty" ,ghc-tasty)
+ ("ghc-tasty-expected-failure" ,ghc-tasty-expected-failure)
+ ("ghc-tasty-hunit" ,ghc-tasty-hunit)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+ ("ghc-turtle" ,ghc-turtle)
+ ("ghc-mockery" ,ghc-mockery)
+ ("ghc-doctest" ,ghc-doctest)))
+ (arguments
+ `(#:phases
+ (modify-phases %standard-phases
+ ;; Remove tests that require network
+ (add-after 'unpack 'remove-more-tests
+ (lambda _
+ (substitute* "src/Dhall/Tutorial.hs"
+ (((string-append
+ "-- >>> input auto "
+ "\"https://raw.githubusercontent.com/dhall-lang"
+ "/dhall-haskell/18e4e9a18dc53271146df3ccf5b4177c3552236b/"
+ "examples/True\" :: IO Bool"))
+ "")
+ (((string-append
+ "-- >>> input auto "
+ "\"False == "
+ "https://raw.githubusercontent.com/dhall-lang"
+ "/dhall-haskell/18e4e9a18dc53271146df3ccf5b4177c3552236b/"
+ "examples/True\" :: IO Bool"))
+ ""))
+ #t)))))
+ (home-page
+ "https://dhall-lang.org/")
+ (synopsis
+ "Configuration language guaranteed to terminate")
+ (description
+ "Dhall is an explicitly typed configuration language that is not Turing
+complete. Despite being Turing incomplete, Dhall is a real programming
+language with a type-checker and evaluator.
+
+Use this library to parse, type-check, evaluate, and pretty-print the Dhall
+configuration language. This package also includes an executable which
+type-checks a Dhall file and reduces the file to a fully evaluated normal
+form.")
+ (license license:bsd-3)))