2016-01-12 21:20:06 +04:00
|
|
|
NAME := ppx_let
|
|
|
|
|
|
|
|
|
|
# Default rule
|
2016-12-15 15:20:46 +04:00
|
|
|
default:
|
|
|
|
|
jbuilder build-package $(NAME)
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
install:
|
2016-01-12 21:20:06 +04:00
|
|
|
opam-installer -i --prefix $(PREFIX) $(NAME).install
|
|
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
uninstall:
|
2016-01-12 21:20:06 +04:00
|
|
|
opam-installer -u --prefix $(PREFIX) $(NAME).install
|
|
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
reinstall: uninstall reinstall
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
clean:
|
|
|
|
|
rm -rf _build
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
.PHONY: default install uninstall reinstall clean
|
