Skip to content

Commit

Permalink
Disable minimizer-upstream (#2981)
Browse files Browse the repository at this point in the history
(cherry picked from commit bf14724)
  • Loading branch information
mshinwell authored Aug 28, 2024
1 parent ba9b887 commit 0d45f7b
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -24,15 +24,16 @@ ci: ci-no-coverage
endif

.PHONY: ci-no-coverage
ci-no-coverage: runtest runtest-upstream minimizer-upstream minimizer
ci-no-coverage: runtest runtest-upstream minimizer

.PHONY: ci-coverage
ci-coverage: boot-runtest coverage

.PHONY: minimizer-upstream
minimizer-upstream:
cp chamelon/dune.upstream chamelon/dune
RUNTIME_DIR=$(RUNTIME_DIR) $(dune) build $(ws_boot) @chamelon/all
# CR mshinwell: build is broken
# .PHONY: minimizer-upstream
# minimizer-upstream:
# cp chamelon/dune.upstream chamelon/dune
# RUNTIME_DIR=$(RUNTIME_DIR) $(dune) build $(ws_main) @chamelon/all

.PHONY: minimizer
minimizer: _build/_bootinstall
Expand Down

0 comments on commit 0d45f7b

Please sign in to comment.