Merge pull request #4 from digital-asset/remove-ghcide-daml
Remove ghcide-daml script
commit63247ab0f4c601231938f898a73951e793837a4a
authorMoritz Kiefer <moritz.kiefer@purelyfunctional.org>
dateTue 10 Sep 2019, 17:03 (7 years ago)
parent81dd71f428216c
ghcide-daml.shdeleted−15
@@ -1,15 +0,0 @@
1−#!/usr/bin/env bash
2−# Copyright (c) 2019 The DAML Authors. All rights reserved.
3−# SPDX-License-Identifier: Apache-2.0
4−
5−set -euo pipefail
6−cd "$(dirname "$0")"/../..
7−export RULES_HASKELL_EXEC_ROOT=$PWD/
8−ENV_FILE=$(mktemp)
9−ARGS_FILE=$(mktemp)
10−bazel build //compiler/ghcide:ghcide-exe >/dev/null 2>&1
11−bazel run --define hie_bios_ghci=True //compiler/damlc:damlc@ghci -- "$ENV_FILE" "$ARGS_FILE" >/dev/null 2>&1
12−source "$ENV_FILE"
13−export HIE_BIOS_ARGS="$ARGS_FILE"
14−./bazel-bin/compiler/ghcide/ghcide-exe $@
15−