Make build.sh work with containerized hastec.
Chris Pressey
2 years ago
8 | 8 | echo "ghc not found, not building $PROG.exe" |
9 | 9 | fi |
10 | 10 | |
11 | # For this to work, you need hastec installed. | |
12 | ||
13 | 11 | if command -v hastec >/dev/null 2>&1; then |
14 | 12 | echo "building $PROG.js with hastec" |
15 | (cd src && hastec --make HasteMain.hs -o ../demo/$PROG.js) | |
13 | (cd src && hastec --make HasteMain.hs -o $PROG.js && mv $PROG.js ../demo/$PROG.js) | |
16 | 14 | else |
17 | 15 | echo "hastec not found, not building $PROG.js" |
18 | 16 | fi |