mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

remove old ghci hack

Browse source 
cabal repl
This commit is contained in:
Joey Hess 2020-06-17 11:38:27 -04:00
parent 7de3f8de11
commit 34875a5ca1
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ghci
View file

@ -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