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
|
include ../../share/Makefile.config
OUTPUT_JAVA_DIR=../generated
WHY3 = ../../bin/why3.$(OCAMLBEST)
JAVA_GENERATED_FILES=\
${OUTPUT_JAVA_DIR}/Employee.java \
${OUTPUT_JAVA_DIR}/Directory.java \
${OUTPUT_JAVA_DIR}/EmployeeAlreadyExistsException.java \
${OUTPUT_JAVA_DIR}/CheckedDirectory.java \
${dummy}
WHY3_EXTRACT_JAVA= ${WHY3} extract -D java -L . --modular --recursive
DO_EXTRACTION= \
mkdir -p $$(dirname $@); \
module=$$(basename $< .mlw).$$(basename $@ .java); \
echo "EXTRACT $${module} from $<"; \
${WHY3_EXTRACT_JAVA} -o ${OUTPUT_JAVA_DIR} $${module}
all: extract
#
# Extraction of Java classes
# ----------------------------
extract : ${JAVA_GENERATED_FILES}
${OUTPUT_JAVA_DIR}/Employee.java : directory.mlw
@ $(DO_EXTRACTION)
${OUTPUT_JAVA_DIR}/Directory.java : directory.mlw
@ $(DO_EXTRACTION)
${OUTPUT_JAVA_DIR}/EmployeeAlreadyExistsException.java : directory.mlw
@ $(DO_EXTRACTION)
${OUTPUT_JAVA_DIR}/CheckedDirectory.java : directory.mlw
@ $(DO_EXTRACTION)
#
# Removal of generated files
# --------------------------
clean:
@ rm -f ${JAVA_GENERATED_FILES} ${JAVA_GENERATED_FILES:%=%.bak}
|
