rescript-vscode/analysis/reanalyze/Makefile at 54c672be6bc945c7fb017a084a7b8af211a83cbc · rescript-lang/rescript-vscode · 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
SHELL = /bin/bash

install-deadcode:
	make -C examples/deadcode install

install-termination:
	make -C examples/termination install

install: install-deadcode install-termination

build-deadcode: install-deadcode
	make -C examples/deadcode build

build-termination: install-termination
	make -C examples/termination build

build: build-deadcode build-termination

test-deadcode: build-deadcode
	make -C examples/deadcode test

test-termination: build-termination
	make -C examples/termination test

test: test-deadcode test-termination

clean-deadcode:
	make -C examples/deadcode clean

clean-termination:
	make -C examples/termination clean

clean: clean-deadcode clean-termination

.DEFAULT_GOAL := build

.PHONY: build clean clean test