forked from dafny-lang/dafny
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
42 lines (31 loc) · 1.56 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
# Invoking the CLI this way just to stay platform-independent
DAFNY = dotnet run --project ../Dafny --no-build --
DOO_FILE_SOURCE=build/DafnyStandardLibraries.doo
DOO_FILE_TARGET=binaries/DafnyStandardLibraries.doo
all: check-binary test check-format check-examples
build-binary:
$(DAFNY) build -t:lib src/dfyconfig.toml --output:${DOO_FILE_SOURCE}
check-binary: build-binary
unzip -o ${DOO_FILE_SOURCE} -d build/current
unzip -o ${DOO_FILE_TARGET} -d build/rebuilt
diff build/current build/rebuilt
update-binary: build-binary
cp ${DOO_FILE_SOURCE} ${DOO_FILE_TARGET}
# For now we only have examples and no dedicated tests.
# We will likely want a test directory as well,
# with deeper coverage of module functionality.
test:
$(DAFNY) build -t:lib examples/dfyconfig.toml --output:build/stdlibexamples.doo
$(DAFNY) test -t:cs build/stdlibexamples.doo examples/BoundedInts/NonDefault.cs --output:build/stdlibexamples --coverage-report:build/testcoverage
$(DAFNY) test -t:java build/stdlibexamples.doo examples/BoundedInts/Externs/NonDefault.java --output:build/stdlibexamples
$(DAFNY) test -t:go build/stdlibexamples.doo examples/BoundedInts/NonDefault.go --output:build/stdlibexamples
$(DAFNY) test -t:py build/stdlibexamples.doo examples/BoundedInts/NonDefault.py --output:build/stdlibexamples
$(DAFNY) test -t:js build/stdlibexamples.doo examples/BoundedInts/NonDefault.js --output:build/stdlibexamples
format:
$(DAFNY) format .
check-format:
$(DAFNY) format . --check
check-examples:
cd build && ../scripts/check-examples `find .. -name '*.md'`
clean:
rm -rf build