Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[feature] make: installing more dev tools in the install-all target

  • Loading branch information...
commit c2f0a5d6249aee55963249ce136466218436afea 1 parent 9d4db68
Louis Gesbert authored
Showing with 4 additions and 1 deletion.
  1. +4 −1 Makefile
View
5 Makefile
@@ -163,8 +163,11 @@ install-qmlflat: # depends on opabsl_for_compiler, but we don't want to run ocam
>> $(PREFIX)/bin/qmlflat
# installs some dev tools on top of the normal install; these should not change often
-install-all: install install-bld install-qmlflat
+install-all: install install-bld install-qmlflat utils/maxmem
@$(INSTALL) platform_helper.sh $(PREFIX)/bin/
+ @$(INSTALL) utils/maxmem $(PREFIX)/bin/
+ @rm utils/maxmem
+ @$(INSTALL) utils/plotmem $(PREFIX)/bin/
##
## DOCUMENTATION
Please sign in to comment.
Something went wrong with that request. Please try again.