Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions interpreter/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -88,6 +88,13 @@ install:
dune build -p $(NAME) @install
dune install

.PHONY: opam-release

opam-release/%:
git tag opam-$*
git push --tags
opam publish

# Miscellaneous targets

.PHONY: clean
Expand Down