aboutsummaryrefslogtreecommitdiff
path: root/tools/dhall
diff options
context:
space:
mode:
authorTrygve Laugstøl <trygvis@inamo.no>2021-01-10 22:23:13 +0100
committerTrygve Laugstøl <trygvis@inamo.no>2021-01-10 22:23:13 +0100
commitdcf9d7e3efbbe791db1a21de1dd21abf2ff22f81 (patch)
tree4c16e01fed19fa5e5de8902785b450fdcd063ddb /tools/dhall
parent16795884f3e915ed6d8b086fd5b6b93fc4858a27 (diff)
downloadinfra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.tar.gz
infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.tar.bz2
infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.tar.xz
infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.zip
terraform in minio
Diffstat (limited to 'tools/dhall')
-rwxr-xr-xtools/dhall50
1 files changed, 0 insertions, 50 deletions
diff --git a/tools/dhall b/tools/dhall
deleted file mode 100755
index ad71285..0000000
--- a/tools/dhall
+++ /dev/null
@@ -1,50 +0,0 @@
-#!/bin/sh
-
-v_dhall=1.36.0
-v_dhall_yaml=1.2.3
-v_dhall_json=1.7.3
-
-set -eu
-
-basedir=$(dirname "$0")
-
-cmd="$(basename $0)"
-
-case $cmd in
- dhall)
- tar=dhall
- v=$v_dhall
- ;;
- dhall-to-json|json-to-dhall)
- tar=dhall-json
- v=$v_dhall_json
- ;;
- dhall-to-yaml-ng|yaml-to-dhall)
- tar=dhall-yaml
- v=$v_dhall_yaml
- ;;
- *)
- echo "Unknown command: $0"
- exit 1
-esac
-
-bin="$basedir/bin/$cmd-$v"
-tar_path="$basedir/bin/$tar-$v.tar.bz2"
-
-m="$(uname -m)"
-s="$(uname -s|tr [:upper:] [:lower:])"
-
-if [ ! -r "$tar_path" ]
-then
- mkdir -p "$(dirname $tar_path)"
- wget -O "$tar_path" \
- https://github.com/dhall-lang/dhall-haskell/releases/download/$v_dhall/$tar-$v-$m-$s.tar.bz2
-fi
-
-if [ ! -x "$bin" ]
-then
- tar Oxf "$tar_path" ./bin/$cmd > "$bin"
- chmod +x "$bin"
-fi
-
-exec "$bin" "${@}"