view interps/rhotor/build.sh @ 5177:94af82d3a839

<oerjan> addquote <coppro> at one point I\'m pretty sure I fixed a sound problem with "apt-get remove pulseaudio" and it wasn\'t even installed
author HackBot
date Sat, 06 Dec 2014 13:48:15 +0000
parents 859f9b4339e6
children
line wrap: on
line source

#!/bin/sh
cd `dirname $0` &> /dev/null
echo ghc -O --make Main -o rhotor-hi
ghc -O --make Main -o rhotor-hi