-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
41 lines (29 loc) · 780 Bytes
/
Makefile
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
39
40
41
#########################################
# Custom MakeFile #
# By AJHL #
#########################################
#============================================
# config
#============================================
OUTPUT_DIR = bin
ALGO_DIR = src
#============================================
# algorithm
#============================================
algorithm:
$(MAKE) -C $(ALGO_DIR)
now: algorithm
#============================================
# extra's
#============================================
setup:
-mkdir witnesses
-mkdir coverage
report:
ocveralls --prefix src/_build coverage/run*.out --send
test:
@./test
clean:
$(MAKE) clean -C $(ALGO_DIR)
rm -fr witnesses/*
.PHONY: test setup compiler clean now