Makefile

all: deps

clean-deps:
	rm -rf lib/c4/build
	rm -rf lib/z3/build

deps: get-submodules c4 z3

get-submodules:
	git submodule update --init --recursive

c4: lib/c4/build/src/libc4/libc4.dylib

z3: lib/z3/build/z3-dist

lib/c4/build/src/libc4/libc4.dylib:
	@which cmake > /dev/null
	cd lib/c4 && mkdir -p build
	cd lib/c4/build && cmake ..
	cd lib/c4/build && make

lib/z3/build/z3-dist: lib/z3/build/libz3.dylib
	# We need to make these parent directories so that Z3's Makefile
	# doesn't complain about them missing when it copies files during
	# the `install` step:
	mkdir -p lib/z3/build/z3-dist/lib/python2.7/dist-packages
	mkdir -p lib/z3/build/z3-dist/lib/python2.6/dist-packages
	cd lib/z3/build && make install

lib/z3/build/libz3.dylib:
	cd lib/z3 && python scripts/mk_make.py --prefix=z3-dist
	cd lib/z3/build && make -j4

# SBT command for running only the fast unit tests and excluding the slower
# end-to-end tests (which have been tagged using ScalaTest's `Slow` tag):
fast-test:
	sbt "testOnly *Suite -- -l org.scalatest.tags.Slow"