forked from miking-lang/miking
-
Notifications
You must be signed in to change notification settings - Fork 0
/
test-files.mk
112 lines (96 loc) · 4.54 KB
/
test-files.mk
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
# All relevant source files to include in the tests (plus Java tests)
src_files_all_tmp =\
$(wildcard stdlib/*.mc)\
$(wildcard stdlib/**/*.mc)\
$(wildcard test/mexpr/*.mc)\
$(wildcard test/mlang/*.mc)\
$(wildcard test/py/*.mc)
# These are special, special cases since the python externals are implemented
# differently from other externals and can therefore not be compiled.
python_files += stdlib/python/python.mc
python_files += $(wildcard test/py/*.mc)
# Exclude the tests in the JVM directory, as they depend on Java being
# installed.
# NOTE(larshum, 2023-11-14): Also temporarily exclude the Python boot tests
# since the workflow on MacOS fails because of them.
jvm_files = $(wildcard stdlib/jvm/*.mc)
src_files_all =\
$(filter-out $(jvm_files) $(python_files), $(src_files_all_tmp))
# These programs has special external dependencies which might be tedious to
# install or are mutually exclusive with other dependencies.
sundials_files = $(wildcard stdlib/sundials/*.mc)
ipopt_files = $(wildcard stdlib/ipopt/*.mc)
accelerate_files = $(wildcard test/accelerate/*.mc)
special_dependencies_files +=\
$(sundials_files)\
$(ipopt_files)\
$(accelerate_files)
# Test programs for the JavaScript backend. These should be compiled with mi
# and runned with node.js, the result being compared to the original program
# being runned with the Miking compiler. All Miking test programs should have
# the same output as the compiled JavaScript programs for all files.
js_files += $(wildcard test/js/*.mc)
# js_web_files += $(wildcard test/js/web/*.mc) # Disabled until web FFI is implemented
# Programs that we currently cannot typecheck. These are programs written
# before the typechecker was implemented. It is forbidden to add to this list of
# programs but removing from it is very welcome.
typecheck_files_exclude += stdlib/parser/breakable-helper.mc
typecheck_files_exclude += test/mexpr/nestedpatterns.mc
typecheck_files_exclude += test/mlang/nestedpatterns.mc
typecheck_files_exclude += test/mlang/mlang.mc
typecheck_files_exclude += test/mlang/catchall.mc
# Programs that we currently cannot typecheck with constructor type
# checking enabled. These are programs written before the typechecker
# was extended with exhaustiveness checks. It is forbidden to add to
# this list of programs but removing from it is very welcome.
constrtype_files_exclude =\
test/mlang/subsumption.mc\
stdlib/effect.mc\
$(wildcard stdlib/c/*.mc)\
$(wildcard stdlib/cp/*.mc)\
$(wildcard stdlib/cuda/*.mc)\
$(wildcard stdlib/ext/*.mc)\
$(wildcard stdlib/futhark/*.mc)\
$(wildcard stdlib/ipopt/*.mc)\
$(wildcard stdlib/javascript/*.mc)\
$(wildcard stdlib/jvm/*.mc)\
$(wildcard stdlib/mexpr/*.mc)\
$(wildcard stdlib/mlang/*.mc)\
$(wildcard stdlib/multicore/*.mc)\
$(wildcard stdlib/ocaml/*.mc)\
$(wildcard stdlib/parser/*.mc)\
$(wildcard stdlib/peval/*.mc)\
$(wildcard stdlib/pmexpr/*.mc)\
$(wildcard stdlib/sundials/*.mc)\
$(wildcard stdlib/tuning/*.mc)
# Programs that we currently cannot compile/test. These are programs written
# before the compiler was implemented. It is forbidden to add to this list of
# programs but removing from it is very welcome.
compile_files_exclude += stdlib/parser-combinators.mc
compile_files_exclude += stdlib/regex.mc
compile_files_exclude += test/mexpr/nestedpatterns.mc
compile_files_exclude += test/mlang/also_includes_lib.mc
compile_files_exclude += test/mlang/mlang.mc
compile_files_exclude += test/mlang/nestedpatterns.mc
compile_files_exclude += test/mlang/catchall.mc
# Programs that we currently cannot interpret/test. These are programs written
# before the compiler was implemented. It is forbidden to add to this list of
# programs but removing from it is very welcome.
run_files_exclude += stdlib/regex.mc
run_files_exclude += stdlib/parser-combinators.mc
run_files_exclude += test/mlang/catchall.mc
run_files_exclude += test/mlang/mlang.mc
# Programs that we should be able to compile/test if we prune utests.
compile_files_prune =\
$(filter-out $(python_files) $(typecheck_files_exclude) $(compile_files_exclude), $(src_files_all))
# Programs that we should be able to compile/test, even without utest pruning,
# if all, except the special, external dependencies are met.
compile_files =\
$(filter-out $(special_dependencies_files),\
$(compile_files_prune))
# Programs that we should be able to interpret/test with the interpreter.
run_files =\
$(filter-out $(python_files) $(run_files_exclude) $(typecheck_files_exclude),\
$(src_files_all))
# Programs that we should be able to interpret/test with boot.
boot_files = $(filter-out $(python_files), $(src_files_all))