Makefile

DIR=$(dir $(realpath $(firstword $(MAKEFILE_LIST))))

default: parser runtime boogie exe

all: runtime boogie exe refman

exe:
	(cd ${DIR} ; dotnet build Source/Dafny.sln ) ## includes parser

boogie: ${DIR}/../boogie/Binaries/Boogie.exe

${DIR}/../boogie/Binaries/Boogie.exe:
	(cd ${DIR}/../boogie ; dotnet build Source/Boogie.sln )

parser:
	make -C ${DIR}/Source/Dafny -f Makefile.linux all

runtime:
	(cd ${DIR}/Source/DafnyRuntime/DafnyRuntimeJava; ./gradlew clean copyJarToBinaries)

refman:
	make -C ${DIR}/docs/DafnyReferenceManual

refman-release:
	make -C ${DIR}/docs/DafnyReferenceManual release

z3-mac:
	wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-osx-10.14.1.zip
	unzip z3-4.8.4.d6df51951f4c-x64-osx-10.14.1.zip
	mv z3-4.8.4.d6df51951f4c-x64-osx-10.14.1 ${DIR}/Binaries/z3

z3-ubuntu:
	wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-16.04.zip
	unzip z3-4.8.4.d6df51951f4c-x64-ubuntu-16.04.zip
	mv z3-4.8.4.d6df51951f4c-x64-ubuntu-16.04 ${DIR}/Binaries/z3

clean:
	(cd ${DIR} ; dotnet build Source/Dafny.sln -target:clean )
	make -C ${DIR}/Source/Dafny -f Makefile.Linux clean
	(cd ${DIR}/Source/DafnyRuntime/DafnyRuntimeJava; ./gradlew clean)
	make -C ${DIR}/docs/DafnyReferenceManual clean