Skip to content

Commit

Permalink
Revert "make: remove opam-%.install target"
Browse files Browse the repository at this point in the history
This reverts commit 22c3939.
  • Loading branch information
kit-ty-kate committed Jun 10, 2020
1 parent 5429c09 commit 8d4ae0d
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -103,6 +103,9 @@ opam-devel.install: $(DUNE_DEP)
$(DUNE) build $(DUNE_ARGS) -p opam opam.install
sed -e "s/bin:/libexec:/" opam.install > $@

opam-%.install: $(DUNE_DEP)
$(DUNE) build $(DUNE_ARGS) -p opam-$* $@

.PHONY: build-opam-installer
build-opam-installer: $(DUNE_DEP)
$(DUNE) build --profile=$(DUNE_PROFILE) $(DUNE_ARGS)$(DUNE_PROMOTE_ARG) opam-installer.install
Expand Down

0 comments on commit 8d4ae0d

Please sign in to comment.