z3-z3-4.13.0.contrib.qprofdiff.Makefile Maven / Gradle / Ivy

Go to download

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

There is a newer version: 4.13.4

qprofdiff: main.cpp
	$(CXX) $(CXXFLAGS) main.cpp -o qprofdiff

all: qprofdiff

clean:
	rm -f qprofdiff