1omp-device-properties-nvptx: $(srcdir)/config/nvptx/nvptx.c
2	echo kind: gpu > $@
3	echo arch: nvptx >> $@
4	echo isa: sm_30 sm_35 >> $@
5