imandrakit/Makefile at main · imandra-ai/imandrakit · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

DUNE_OPTS?=
build:
	@dune build @install $(DUNE_OPTS)

clean:
	@dune clean

test:
	@dune runtest $(DUNE_OPTS)
test-autopromote:
	@dune runtest $(DUNE_OPTS) --auto-promote

doc:
	@dune build $(DUNE_OPTS) @doc

format:
	@dune build $(DUNE_OPTS) @fmt --auto-promote

format-check:
	@dune build $(DUNE_OPTS) @fmt --display=quiet

opam-install-deps:
	opam install . --deps-only

WATCH?= @check @runtest
watch:
	dune build $(DUNE_OPTS) -w $(WATCH)
watch-autopromote:
	dune build $(DUNE_OPTS) -w $(WATCH) --auto-promote

.PHONY: test clean build doc build-dev

VERSION=$(shell awk '/^version:/ {print $$2}' imandrakit.opam)
update_next_tag:
	@echo "update version to $(VERSION)..."
	sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
	sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/*.ml) $(wildcard src/**/*.ml) $(wildcard src/*.mli) $(wildcard src/**/*.mli)