2023-11-08 17:44:21 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
# Script by @fisx
|
|
|
|
|
|
|
|
set -eo pipefail
|
|
|
|
cd "$( dirname "${BASH_SOURCE[0]}" )"
|
|
|
|
|
2023-11-19 13:09:19 +03:00
|
|
|
which dhall || cabal install dhall
|
2023-11-08 17:44:21 +03:00
|
|
|
which dhall-to-yaml || cabal install dhall-yaml
|
2023-11-19 13:09:19 +03:00
|
|
|
|
2023-12-02 12:25:46 +03:00
|
|
|
echo "dhall format-ing ci.dhall"
|
|
|
|
dhall format ci.dhall
|
2023-11-19 13:09:19 +03:00
|
|
|
echo "cp haskellCi.dhall -> ci.dhall.frozen"
|
|
|
|
cp ci.dhall ci.dhall.frozen
|
|
|
|
echo "dhall freez-ing ci.dhall.frozen"
|
|
|
|
dhall freeze ci.dhall.frozen
|
2023-11-08 17:44:21 +03:00
|
|
|
echo "regenerating ci.yaml"
|
|
|
|
dhall-to-yaml-ng --generated-comment --file ci.dhall > ci.yaml
|