omp-device-properties-nvptx: $(srcdir)/config/nvptx/nvptx-sm.def
	$(SHELL) $(srcdir)/config/nvptx/gen-omp-device-properties.sh \
	  > $@
