CXXFLAGS=--std=c++17 -fcontract-continuation-mode=on
LDFLAGS=-ldl

default: assert_fail libhandle_contract_violation.so libnocontinue.so

run: default
	./assert_fail

runno: default
	LD_PRELOAD="./libnocontinue.so ./libhandle_contract_violation.so" ./assert_fail

runnostd: default
	LD_PRELOAD=./libnocontinue.so ./assert_fail

./libhandle_contract_violation.so: ./handle_contract_violation.cpp
	${CXX} ${CXXFLAGS} -shared -fPIC -o $@ $<

./libnocontinue.so: ./nocontinue.cpp
	${CXX} ${CXXFLAGS} -shared -fPIC -o $@ $<

clean:
	rm -fr ./libhandle_contract_violation.so ./libnocontinue.so ./assert_fail