@@ -93,6 +93,11 @@ fi
9393
9494speak "Running stack"
9595cd "$WORK_DIR"
96+# Makefile support (if you need other build tools than Stack that you need to use in conjunction)
97+if [ -f "$BUILD_DIR/Makefile" ]; then
98+ speak "Makefile detected"
99+ make -C "$BUILD_DIR"
100+fi
96101stack setup
97102stack build --fast --copy-bins
98103
@@ -109,6 +114,6 @@ mv "$WORK_DIR/.local/bin" "$BUILD_DIR/.local"
109114
110115speak "Caching .stack-work"
111116rsync -avq "$WORK_DIR/.stack-work/" "$SANDBOX_DIR"
112−mv "$WORK_DIR/.stack-work" "$BUILD_DIR"
117+cp -Rp "$WORK_DIR/.stack-work" "$BUILD_DIR"
113118
114119speak "Finished!"