image: debian/stable
secrets:
- c2675a05-0d2f-4f45-af27-0af04a1fb9fe
environment:
  CI: 1
sources:
- https://git.sr.ht/~singpolyma/dhall-ruby
tasks:
- lint: |-
    cd dhall-ruby
    make lint
- bundle: |-
    cd dhall-ruby
    bundle install --path="../.gems"
- test: |-
    cd dhall-ruby
    make test
- compile_prelude: |
    cd dhall-ruby
    cd dhall-lang
    VERSION="$(git describe --tags)"
    cd ..
    bundle exec ruby -E UTF-8 bin/dhall-compile -e -o /tmp/Prelude dhall-lang/Prelude
    cd /tmp
    curl -H @$HOME/.pinata https://api.pinata.cloud/pinning/pinFileToIPFS -FpinataOptions="{\"cidVersion\": 1}" -FpinataMetadata="{\"name\": \"Prelude $VERSION $(date -I)\"}" $(find Prelude -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
- cache_prelude: |
    cd dhall-ruby
    cd dhall-lang
    VERSION="$(git describe --tags)"
    cd ..
    bundle exec ruby -E UTF-8 bin/dhall-compile -co /tmp/PreludeCache dhall-lang/Prelude
    cd /tmp
    curl -H @$HOME/.pinata https://api.pinata.cloud/pinning/pinFileToIPFS -FpinataOptions="{\"cidVersion\": 1}" -FpinataMetadata="{\"name\": \"Prelude Cache $VERSION $(date -I)\"}" $(find PreludeCache -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
packages:
- bundler
- curl
- git-extras
- rubocop
- ruby
repositories:
  backports: http://ftp.ca.debian.org/debian/ stretch-backports main