diff options
author | Profpatsch <mail@profpatsch.de> | 2018-10-25 21:10:03 +0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2018-11-04 16:43:41 +0100 |
commit | 34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7 (patch) | |
tree | f823af2afc1ae4e89887b891f60af53cbd806baa /pkgs | |
parent | e594af80c99f6c293c5a7d982250fd74e1e5521f (diff) | |
download | nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.tar nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.tar.gz nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.tar.bz2 nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.tar.lz nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.tar.xz nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.tar.zst nixlib-34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7.zip |
Add dhallPackages and add current Prelude
Dhall is a non-turing complete programming language.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/dhall-modules/default.nix | 9 | ||||
-rw-r--r-- | pkgs/development/dhall-modules/prelude/v3.nix | 25 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 36 insertions, 0 deletions
diff --git a/pkgs/development/dhall-modules/default.nix b/pkgs/development/dhall-modules/default.nix new file mode 100644 index 000000000000..b6632a86f31f --- /dev/null +++ b/pkgs/development/dhall-modules/default.nix @@ -0,0 +1,9 @@ +{ pkgs }: + +# TODO: add into the toplevel fixpoint instead of using rec +rec { + + prelude = prelude_3_0_0; + prelude_3_0_0 = pkgs.callPackage ./prelude/v3.nix {}; + +} diff --git a/pkgs/development/dhall-modules/prelude/v3.nix b/pkgs/development/dhall-modules/prelude/v3.nix new file mode 100644 index 000000000000..ef673310ceb0 --- /dev/null +++ b/pkgs/development/dhall-modules/prelude/v3.nix @@ -0,0 +1,25 @@ +{ stdenv, lib, fetchFromGitHub }: + +stdenv.mkDerivation { + name = "dhall-prelude"; + + src = fetchFromGitHub { + owner = "dhall-lang"; + repo = "dhall-lang"; + # Commit where the v3.0.0 prelude folder was merged into dhall-lang + # and a LICENSE file has been added. + rev = "f6aa9399f1ac831d66c34104abe6856023c5b2df"; + sha256 = "0kqjgh3y1l3cb3rj381j7c09547g1vh2dsfzpm08y1qajhhf9vgf"; + }; + + phases = [ "unpackPhase" "installPhase" ]; + + installPhase = '' + cp -r Prelude $out + ''; + + meta = { + license = lib.licenses.bsd3; + maintainers = with lib.maintainers; [ Profpatsch ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 9709ad871041..75bd3c191c4e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7549,6 +7549,8 @@ with pkgs; dhall-text = haskell.lib.justStaticExecutables haskellPackages.dhall-text; + dhallPackages = import ../development/dhall-modules { inherit pkgs; }; + duktape = callPackage ../development/interpreters/duktape { }; beam = callPackage ./beam-packages.nix { }; |