.download-hie.sh

   1 #!/bin/sh
   2 case `ghc --version` in
   3         *8.4.3*) wget https://877-129435383-gh.circle-artifacts.com/0/bin/hie;;
   4         *8.2.2*) wget https://878-129435383-gh.circle-artifacts.com/0/bin/hie;;
   5 esac
   6 chmod u+x hie