17 lines
544 B
Bash
17 lines
544 B
Bash
|
#!/usr/bin/env nix-shell
|
||
|
|
#!nix-shell -i bash -p coreutils cabal2nix curl jq
|
||
|
|
|
||
|
|
set -euo pipefail
|
||
|
|
|
||
|
|
cd "$(dirname "${BASH_SOURCE[0]}")"
|
||
|
|
|
||
|
|
{ read -r rev; read -r committer_date; } \
|
||
|
|
< <(curl ${GITHUB_TOKEN:+-u ":$GITHUB_TOKEN"} -sfL https://api.github.com/repos/marvinborner/bruijn/branches/main \
|
||
|
|
| jq -r '.commit | .sha, .commit.committer.date')
|
||
|
|
|
||
|
|
cabal2nix --maintainer defelo "https://github.com/marvinborner/bruijn/archive/${rev}.tar.gz" \
|
||
|
|
| nixfmt \
|
||
|
|
> generated.nix
|
||
|
|
|
||
|
|
echo "0-unstable-$(date -I --date="$committer_date")" > version.txt
|