-
Notifications
You must be signed in to change notification settings - Fork 9
/
Makefile
93 lines (74 loc) · 1.99 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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
ligo_compiler=docker run --rm -v "$$PWD":"$$PWD" -w "$$PWD" ligolang/ligo:stable
help:
@echo 'Usage:'
@echo ' all - Execute all tests'
@echo ' k01 - Native types and expressions'
@echo ' k02 - numerical types'
@echo ' k03 - string type'
@echo ' k04 - bytes type'
@echo ' k05 - conditional type'
@echo ' k06 - function type'
@echo ' k07 - tuple types'
@echo ' k08 - record types'
@echo ' k09 - variant types'
@echo ' k10 - option type'
@echo ' k11 - list type'
@echo ' k12 - map type'
@echo ' k13 - set type'
@echo ' k14 - exception types'
@echo ' k15 - Imperative style'
@echo ' k16 - Functional style'
@echo ''
all: k01 k02 k03 k04 k05 k06 k07 k08 \
k09 k10 k11 k12 k13 k14 k15 k16
k01: test/k01.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k02: test/k02.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k03: test/k03.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k04: test/k04.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k05: test/k05.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k06: test/k06.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k07: test/k07.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k08: test/k08.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k09: test/k09.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k10: test/k10.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k11: test/k11.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k12: test/k12.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k13: test/k13.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k14: test/k14.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k15: test/k15.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k16: test/k16.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^
k17: test/k17.jsligo
@echo "[Testing] $^"
@$(ligo_compiler) run test $^