diff options
Diffstat (limited to 'utils/Makefile')
| -rw-r--r-- | utils/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/Makefile b/utils/Makefile index 677fdd3..b22c9e1 100644 --- a/utils/Makefile +++ b/utils/Makefile @@ -27,6 +27,7 @@ install: $(INSTALL) dc $(INSTALL_BIN) $(INSTALL) dc-closure-test $(INSTALL_BIN) $(INSTALL) plot-michels $(INSTALL_BIN) + $(INSTALL) mcpl $(INSTALL_BIN) ./setup.py install --prefix=$(PREFIX) .PHONY: install |