![]() Build option DSO=1 generates libverifiable.so which can be used to reduce the combined binary size. Build option NAME_SUFFIX can be used to a add suffix to all generated binaries. e.g. NAME_SUFFIX=_mpi Added new make target: clean_intermediates |
||
---|---|---|
.. | ||
Makefile | ||
inexact_regress.cu | ||
main.cu | ||
verifiable.cu | ||
verifiable.h | ||
verifiable.mk |