mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 03:05:31 -05:00
add reinstall target to makefile
This commit is contained in:
parent
5610cb4984
commit
3b37848470
1 changed files with 5 additions and 1 deletions
6
Makefile
6
Makefile
|
|
@ -29,4 +29,8 @@ install: all
|
|||
uninstall:
|
||||
ocamlfind remove msat
|
||||
|
||||
.PHONY: clean doc all install uninstall
|
||||
reinstall: all
|
||||
ocamlfind remove msat || true
|
||||
ocamlfind install msat $(TO_INSTALL)
|
||||
|
||||
.PHONY: clean doc all install uninstall reinstall
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue