-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathMakefile
More file actions
68 lines (65 loc) · 5.13 KB
/
Copy pathMakefile
File metadata and controls
68 lines (65 loc) · 5.13 KB
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
all:
rm -f ./tower; dune build && ln -s ./_build/default/src/main.exe ./tower
test:
dune build src/test && ./_build/default/src/test/test.exe
clean:
dune clean && rm -f ./tower
check:
./tower -i tests/list.twr tests/length.twr tests/stack.twr tests/stack_len_tests.twr
./tower -i --inline tests/list.twr tests/length.twr tests/stack.twr tests/stack_len_tests.twr
./tower -c --interp_lir tests/list.twr tests/length.twr tests/stack.twr tests/stack_len_tests.twr
./tower -c --interp_circuit tests/list.twr tests/length.twr tests/stack.twr tests/stack_len_tests.twr
./tower -c --interp_prim tests/list.twr tests/length.twr tests/stack.twr tests/stack_len_tests.twr
./tower -i tests/list.twr tests/length_inefficient.twr tests/stack.twr tests/stack_len_tests.twr
./tower -i --inline tests/list.twr tests/length_inefficient.twr tests/stack.twr tests/stack_len_tests.twr
./tower -c --interp_lir tests/list.twr tests/length_inefficient.twr tests/stack.twr tests/stack_len_tests.twr
./tower -c --interp_circuit tests/list.twr tests/length_inefficient.twr tests/stack.twr tests/stack_len_tests.twr
./tower -c --interp_prim tests/list.twr tests/length_inefficient.twr tests/stack.twr tests/stack_len_tests.twr
./tower -i tests/list.twr tests/sum.twr tests/stack.twr tests/sum_tests.twr
./tower -i --inline tests/list.twr tests/sum.twr tests/stack.twr tests/sum_tests.twr
./tower -c --interp_lir tests/list.twr tests/sum.twr tests/stack.twr tests/sum_tests.twr
./tower -c --interp_circuit tests/list.twr tests/sum.twr tests/stack.twr tests/sum_tests.twr
./tower -c --interp_prim tests/list.twr tests/sum.twr tests/stack.twr tests/sum_tests.twr
./tower -i tests/list.twr tests/contains.twr tests/stack.twr tests/contains_tests.twr
./tower -i --inline tests/list.twr tests/contains.twr tests/stack.twr tests/contains_tests.twr
./tower -c --interp_lir tests/list.twr tests/contains.twr tests/stack.twr tests/contains_tests.twr
./tower -c --interp_circuit tests/list.twr tests/contains.twr tests/stack.twr tests/contains_tests.twr
./tower -c --interp_prim tests/list.twr tests/contains.twr tests/stack.twr tests/contains_tests.twr
./tower -i tests/list.twr tests/stack.twr tests/remove.twr tests/remove_tests.twr
./tower -i --inline tests/list.twr tests/stack.twr tests/remove.twr tests/remove_tests.twr
./tower -c --interp_lir tests/list.twr tests/stack.twr tests/remove.twr tests/remove_tests.twr
./tower -c --interp_circuit tests/list.twr tests/stack.twr tests/remove.twr tests/remove_tests.twr
./tower -c --interp_prim tests/list.twr tests/stack.twr tests/remove.twr tests/remove_tests.twr
./tower -i tests/list.twr tests/stack.twr tests/find_pos.twr tests/find_pos_tests.twr
./tower -i --inline tests/list.twr tests/stack.twr tests/find_pos.twr tests/find_pos_tests.twr
./tower -c --interp_lir tests/list.twr tests/stack.twr tests/find_pos.twr tests/find_pos_tests.twr
./tower -c --interp_circuit tests/list.twr tests/stack.twr tests/find_pos.twr tests/find_pos_tests.twr
./tower -c --interp_prim tests/list.twr tests/stack.twr tests/find_pos.twr tests/find_pos_tests.twr
./tower -i tests/list.twr tests/queue.twr tests/queue_tests.twr
./tower -i --inline tests/list.twr tests/queue.twr tests/queue_tests.twr
./tower -c --interp_lir tests/list.twr tests/queue.twr tests/queue_tests.twr
./tower -c --interp_circuit tests/list.twr tests/queue.twr tests/queue_tests.twr
./tower -c --interp_prim tests/list.twr tests/queue.twr tests/queue_tests.twr
./tower -i tests/string.twr tests/string_tests.twr
# ./tower -i --inline tests/string.twr tests/string_tests.twr
# ./tower -c tests/string.twr tests/string_tests.twr
./tower -i tests/hash_table.twr tests/hash_table_tests.twr
# ./tower -i --inline tests/hash_table.twr tests/hash_table_tests.twr
# ./tower -c tests/hash_table.twr tests/hash_table_tests.twr
./tower -i tests/word.twr tests/word_tests.twr
./tower -i --inline tests/word.twr tests/word_tests.twr
./tower -c --interp_lir tests/word.twr tests/word_tests.twr
./tower -c --interp_circuit tests/word.twr tests/word_tests.twr
./tower -c --interp_prim tests/word.twr tests/word_tests.twr
./tower -i tests/word.twr tests/string_word.twr tests/string_word_tests.twr
./tower -i --inline tests/word.twr tests/string_word.twr tests/string_word_tests.twr
./tower -c --interp_lir tests/word.twr tests/string_word.twr tests/string_word_tests.twr
./tower -c --interp_circuit tests/word.twr tests/string_word.twr tests/string_word_tests.twr
./tower -c --interp_prim tests/word.twr tests/string_word.twr tests/string_word_tests.twr
./tower -i tests/word.twr tests/string_word.twr tests/radix_tree.twr tests/radix_tree_tests.twr
./tower -i --inline tests/word.twr tests/string_word.twr tests/radix_tree.twr tests/radix_tree_tests.twr
# the following take >1 minute each to execute
# ./tower -c tests/word.twr tests/string_word.twr tests/radix_tree.twr tests/radix_tree_tests.twr
# ./tower -c --interp_lir tests/word.twr tests/string_word.twr tests/radix_tree.twr tests/radix_tree_tests.twr
# ./tower -c --interp_circuit tests/word.twr tests/string_word.twr tests/radix_tree.twr tests/radix_tree_tests.twr
# ./tower -c --interp_prim tests/word.twr tests/string_word.twr tests/radix_tree.twr tests/radix_tree_tests.twr