Skip to content

Commit

Permalink
add install rule
Browse files Browse the repository at this point in the history
  • Loading branch information
gpetiot committed Jul 2, 2020
1 parent f41f244 commit 9f7ccd1
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,12 @@ default: exe
exe:
dune build bin/ocamlformat.exe

.PHONY: install
install:
dune build @install
dune install --prefix _install
dune install

.PHONY: clean
clean:
dune clean
Expand Down

0 comments on commit 9f7ccd1

Please sign in to comment.