eahyper/Makefile at master · reactive-systems/eahyper · 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
.PHONY: all clean eahyper runsolver aalta pltl benchmarks clean_eahyper clean_runsolver clean_aalta clean_pltl clean_benchmarks demo

all: eahyper aalta pltl

clean: clean_eahyper clean_runsolver clean_aalta clean_pltl clean_benchmarks

eahyper:
	$(MAKE) -C eahyper_src all

clean_eahyper:
	$(MAKE) -C eahyper_src clean

demo:
	$(MAKE) -C eahyper_src demo

runsolver:
	$(MAKE) -C runsolver_src all

clean_runsolver:
	$(MAKE) -C runsolver_src clean

aalta:
	$(MAKE) -C LTL_SAT_solver aalta

clean_aalta:
	$(MAKE) -C LTL_SAT_solver clean_aalta

pltl:
	$(MAKE) -C LTL_SAT_solver pltl

clean_pltl:
	$(MAKE) -C LTL_SAT_solver clean_pltl

benchmarks: runsolver
	$(MAKE) -C benchmarks all

clean_benchmarks:
	$(MAKE) -C benchmarks clean