omp-device-properties-nvptx: $(srcdir)/config/nvptx/nvptx.cc
	echo kind: gpu > $@
	echo arch: nvptx >> $@
	echo isa: sm_30 sm_35 sm_53 sm_70 sm_75 sm_80 >> $@
