Remove ghcide-daml script
That doesn’t make sense in the context of this repository (I’ll make
sure we keep it around in the daml repo).
commit428216c42f077deb929b8faa28a70e1f6a7d7aa5
authorMoritz Kiefer <moritz.kiefer@purelyfunctional.org>
dateTue 10 Sep 2019, 16:49 (7 years ago)
parentb8cdaaf
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−