Skip to content
Snippets Groups Projects
Commit 2cdb5cf8 authored by Max Tomago's avatar Max Tomago
Browse files

ci: Update to horizon-spec 0.2.1

parent 07ce18f7
No related merge requests found
...@@ -3,29 +3,12 @@ let Prelude = ...@@ -3,29 +3,12 @@ let Prelude =
? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v20.1.0/Prelude/package.dhall ? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v20.1.0/Prelude/package.dhall
sha256:26b0ef498663d269e4dc6a82b0ee289ec565d683ef4c00d0ebdd25333a5a3c98 sha256:26b0ef498663d269e4dc6a82b0ee289ec565d683ef4c00d0ebdd25333a5a3c98
let HsSrc = let H = ./horizon-spec.dhall
< FromHackage : { name : Text, version : Text }
| FromGit :
{ url : Text, revision : Optional Text, subdir : Optional Text }
>
let Modifiers =
{ Type = { doJailbreak : Bool, doCheck : Bool }
, default = { doJailbreak = True, doCheck = False }
}
let Attr = λ(a : Type) → { mapKey : Text, mapValue : a }
let HsPkg = {source : HsSrc, modifiers : Modifiers.Type }
let Attr
: ∀(x : Type) → Type
= λ(x : Type) → { mapKey : Text, mapValue : x }
let Step = { script : List Text } let Step = { script : List Text }
let toStep let toStep
: ∀(id : Text) → ∀(prefix : Text) → ∀(x : Text) → Attr Step : ∀(id : Text) → ∀(prefix : Text) → ∀(x : Text) → H.Attr Step
= λ(id : Text) → = λ(id : Text) →
λ(prefix : Text) → λ(prefix : Text) →
λ(x : Text) → λ(x : Text) →
...@@ -33,12 +16,12 @@ let toStep ...@@ -33,12 +16,12 @@ let toStep
, mapValue.script = [ "nix build -L .#${prefix}.${x}" ] , mapValue.script = [ "nix build -L .#${prefix}.${x}" ]
} }
let input = Prelude.Map.keys Text HsPkg ./manifest.dhall let input = Prelude.Map.keys Text H.HaskellPackage ./manifest.dhall
let packages = let packages =
Prelude.List.map Prelude.List.map
(Text) (Text)
(Attr Step) (H.Attr Step)
( λ(x : Text) → ( λ(x : Text) →
toStep "Package ${x}" "packages.x86_64-linux" x toStep "Package ${x}" "packages.x86_64-linux" x
) )
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment