16 lines
347 B
Diff
16 lines
347 B
Diff
diff --git a/Makefile b/Makefile
|
|
index 8a8ba9f..85c4303 100644
|
|
--- a/Makefile
|
|
+++ b/Makefile
|
|
@@ -16,8 +16,8 @@ demo.dbg: $(SOURCES)
|
|
|
|
.PHONY: install
|
|
install: smlfmt
|
|
- install -d $(PREFIX)/bin/
|
|
- install -m 755 smlfmt ${PREFIX}/bin/
|
|
+ install -d $(DESTDIR)$(PREFIX)/bin/
|
|
+ install -m 755 smlfmt $(DESTDIR)$(PREFIX)/bin/
|
|
|
|
.PHONY: clean
|
|
clean:
|