Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: bd76909734
Fetching contributors…

Cannot retrieve contributors at this time

executable file 23 lines (18 sloc) 0.567 kb
#!/bin/bash
function die {
echo $1 1>&2
exit 1
}
dir=$(pwd)
emmettdir=$(pwd)/emmett
emmettbin=$emmettdir/emmett
ghc --version || die "could not invoke ghc"
(cd $emmettdir; make ) || die "could not build emmett"
[ -x $emmettdir/emmett ] || die "could not find emmett binary in $emmettbin"
cp $emmettdir/emmett bin/ || die "could not copy $emmettbin to bin"
echo \
"Add $dir/bin to your PATH environment variable, e.g.,
export PATH=\$PATH:$dir/bin # (sh, bash, zsh)
or
setenv PATH \$PATH:$dir/bin # (csh, tcsh)
and invoke vprobe"
Jump to Line
Something went wrong with that request. Please try again.