From 34875a5ca19559e2f9876e1445a6920f96a468b6 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 17 Jun 2020 11:38:27 -0400 Subject: [PATCH] remove old ghci hack cabal repl --- ghci | 4 ---- 1 file changed, 4 deletions(-) delete mode 100755 ghci diff --git a/ghci b/ghci deleted file mode 100755 index fccfc661ab..0000000000 --- a/ghci +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -# ghci using objects built by cabal -make dist/caballog -$(grep 'ghc --make' dist/caballog | head -n 1 | perl -pe 's/--make/--interactive/; s/.\/[^\.\s]+.hs//; s/-package-id [^\s]+//g; s/-hide-all-packages//; s/-threaded//') $@ -fno-warn-tabs