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