~singpolyma/dhall-ruby

139b88ed1c29ee0303bdd791716c1329ca5f143f — Stephen Paul Weber 8 months ago 1ad5cd7
Put Prelude version in the Pinata metadata
2 files changed, 16 insertions(+), 4 deletions(-)

M .builds.dhall/debian-stable.dhall
M .builds/debian-stable.yml
M .builds.dhall/debian-stable.dhall => .builds.dhall/debian-stable.dhall +8 -2
@@ 25,16 25,22 @@ in
		[{ mapKey = "test", mapValue = "make test" }],
		[{ mapKey = "compile_prelude", mapValue =
			''
			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 -FpinataMetadata="{\"name\": \"Prelude $(date -I)\"}" $(find Prelude -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
			curl -H @$HOME/.pinata https://api.pinata.cloud/pinning/pinFileToIPFS -FpinataMetadata="{\"name\": \"Prelude $VERSION $(date -I)\"}" $(find Prelude -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
			''
		}],
		[{ mapKey = "cache_prelude", mapValue =
			''
			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 -FpinataMetadata="{\"name\": \"Prelude Cache $(date -I)\"}" $(find PreludeCache -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
			curl -H @$HOME/.pinata https://api.pinata.cloud/pinning/pinFileToIPFS -FpinataMetadata="{\"name\": \"Prelude Cache $VERSION $(date -I)\"}" $(find PreludeCache -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
			''
		}]
	]

M .builds/debian-stable.yml => .builds/debian-stable.yml +8 -2
@@ 17,14 17,20 @@ tasks:
    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 -FpinataMetadata="{\"name\": \"Prelude $(date -I)\"}" $(find Prelude -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
    curl -H @$HOME/.pinata https://api.pinata.cloud/pinning/pinFileToIPFS -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 -FpinataMetadata="{\"name\": \"Prelude Cache $(date -I)\"}" $(find PreludeCache -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
    curl -H @$HOME/.pinata https://api.pinata.cloud/pinning/pinFileToIPFS -FpinataMetadata="{\"name\": \"Prelude Cache $VERSION $(date -I)\"}" $(find PreludeCache -type f -printf "-Ffile=@%h/%f;filename=%h/%f ")
packages:
- bundler
- curl