CIVL=civl
VERIFY=$(CIVL) verify -enablePrintf=false -svcomp
all: dekker_true lamport_true peterson_true qrcu_false qrcu_true \
read_write_lock_false read_write_lock_true szymanski_true \
time_var_mutex_true 

dekker_true: dekker_true.c
	$(VERIFY) dekker_true.c

lamport_true: lamport_true.c
	$(VERIFY) lamport_true.c

peterson_true: peterson_true.c
	$(VERIFY) peterson_true.c

qrcu_false: qrcu_false.c
	$(VERIFY) qrcu_false.c

qrcu_true: qrcu_true.c
	$(VERIFY) qrcu_true.c

read_write_lock_false: read_write_lock_false.c
	$(VERIFY) read_write_lock_false.c

read_write_lock_true: read_write_lock_true.c
	$(VERIFY) read_write_lock_true.c

szymanski_true: szymanski_true.c
	$(VERIFY) szymanski_true.c

time_var_mutex_true: time_var_mutex_true.c
	$(VERIFY) time_var_mutex_true.c
