-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
68 lines (55 loc) · 1.36 KB
/
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
SHELL:=bash
# BASH_ENV:=bash_env.sh
# export # exports all vars
default: all
all::
$(MAKE) earley_main.exe
earley_main.exe: FORCE
dune build bin/earley_main.exe
cp _build/default/bin/earley_main.exe .
-include Makefile.ocaml
clean::
run_all:
$(MAKE) run_tests
$(MAKE) run_longer_tests
$(MAKE) run_examples
$(MAKE) run_actions
$(MAKE) run_regression
run_examples:
$(MAKE) run_tests
run_2021:
$(MAKE)
time ./earley_main.exe earley_2021q1 :1x100
time ./earley_main.exe earley_2021q1 :1x200
time ./earley_main.exe earley_2021q1 :1x300
time ./earley_main.exe earley_2021q1 :1x400
# see https://gist.github.com/tomjridge/36ec17d16035768ee0212377b66e42e5 for timings
test_helper: earley_main.exe
$(MAKE)
time ./earley_main.exe test_helper :1x100
time ./earley_main.exe test_helper :1x200
time ./earley_main.exe test_helper :1x400
run_tests:
$(MAKE)
time ./earley_main.exe earley_2021q1 :1x100
@echo
time ./earley_main.exe spec EEE :1x100
@echo
time ./earley_main.exe unstaged EEE :1x100
@echo
time ./earley_main.exe unstaged EEE :1x200
@echo
time ./earley_main.exe simple EEE :1x100
@echo
time ./earley_main.exe simple EEE :1x200
run_longer_tests:
$(MAKE)
time ./earley_main.exe unstaged EEE :1x400
@echo
time ./earley_main.exe simple EEE :1x400
@echo
run_actions:
time ./earley_main.exe actions :1x200
run_regression:
$(MAKE)
./run_regression.sh