Call the makefile from the current work directory.
commitfbba3ca6b4550933354adbb9402edc645681e363
authorMark Fine <mark.fine@gmail.com>
dateMon 15 May 2017, 16:35 (9 years ago)
parent3a799a6
bin/compile+3−3
@@ -94,10 +94,10 @@ fi
9494speak "Running stack"
9595cd "$WORK_DIR"
9696# Makefile support (if you need other build tools than Stack that you need to use in conjunction)
97−if [ -f "$BUILD_DIR/Makefile" ]; then
97+if [ -f "Makefile" ]; then
9898 speak "Makefile detected"
99− make -C "$BUILD_DIR"
100− make -C "$BUILD_DIR" install
99+ make
100+ make install
101101else
102102 stack setup
103103 stack build --fast --copy-bins