1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
JAVAC ?= $(realpath ../../checker/bin/javac)
MAVEN_EXAMPLE=MavenExampleJDK11
ifeq ($(shell java -version 2>&1 | grep version | grep 1.8 > /dev/null; printf $$?), 0)
MAVEN_EXAMPLE=MavenExample
endif
.PHONY: all
all: compile
compile:
$(JAVAC) *.java
cd fenum-extension && $(MAKE)
cd subtyping-extension && $(MAKE)
cd units-extension && $(MAKE)
cd ${MAVEN_EXAMPLE} && $(MAKE)
cd lombok && $(MAKE)
# TODO: type check the different files with the right checker;
# some tests expect errors, compare against expected errors.
|
