CIVL=civl
VERIFY=${CIVL} verify -enablePrintf=false
COMPARE=${CIVL} compare -enablePrintf=false
CLOC=cloc --csv --quiet
DENSE_FORWARD_DEFINE = -DADIC_DENSE
FORWARD=.


# compare forward
all: handAdic handAdicFix

# more CIVL commands
hand: driver.c hand_driver.c
	${VERIFY} driver.c hand_driver.c

adic: driver.c adic_driver.c
	${VERIFY} ${DENSE_FORWARD_DEFINE} -userIncludePath=${FORWARD}:${FORWARD}/runtime_dense/ driver.c adic_driver.c runtime_dense/ad_grad.c head.cn.xb.pp.c

handAdic: driver.c hand_driver.c adic_driver.c
	${COMPARE} -min -spec driver.c hand_driver.c -impl ${DENSE_FORWARD_DEFINE} -userIncludePath=${FORWARD}:${FORWARD}/runtime_dense/ driver.c adic_driver.c runtime_dense/ad_grad.c head.cn.xb.pp.c
	${REPLAY} -spec driver.c hand_driver.c -impl driver.c adic_driver.c runtime_dense/ad_grad.c head.cn.xb.pp.c

handAdicFix: driver.c hand_driver.c adic_driver.c
	${COMPARE} -min -spec -D_gAssumption driver.c hand_driver.c -impl ${DENSE_FORWARD_DEFINE} -userIncludePath=${FORWARD}:${FORWARD}/runtime_dense/ driver.c adic_driver.c runtime_dense/ad_grad.c head.cn.xb.pp.c

clean:
	rm -f -r ./CIVLREP
	rm -f *~
