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
|
# Tests that are currently passing
PASSING_TESTS = Bug109 compat issue265 issue594 issue607 multiple-errors package-anno shorthand
ifeq (,$(findstring 1.8,$(shell javac -version)))
# issue309 and issue502 fail with Java 11 because of differences between Java 8 and Java 11 bytecode.
# TODO: issue559 should work with an annotated jdk11.
PASSING_TESTS_JDK8 = issue309 issue502 issue559
else
PASSING_TESTS_JDK8 =
endif
# Tests that are currently not passing
FAILING_TESTS =
# Tests that are currently passing
all: ${PASSING_TESTS} ${PASSING_TESTS_JDK8}
# Tests that are currently not passing
skipped: ${FAILING_TESTS}
Bug109:
$(JAVAC) -processor org.checkerframework.checker.nullness.NullnessChecker Bug109_A.java Bug109_B.java
$(JAVAC) -processor org.checkerframework.checker.nullness.NullnessChecker Bug109_B.java Bug109_A.java
compat:
$(MAKE) -C compat
issue265:
$(MAKE) -C issue265
issue309:
$(MAKE) -C issue309
issue502:
$(MAKE) -C issue502
issue559:
$(MAKE) -C issue559
issue594:
$(MAKE) -C issue594
multiple-errors:
$(MAKE) -C multiple-errors
package-anno:
$(MAKE) -C package-anno
shorthand:
$(MAKE) -C shorthand
issue607:
$(MAKE) -C issue607
# All tests: passing and failing
.PHONY: all skipped ${PASSING_TESTS}
|
