--- /dev/null
+#!/bin/sh
+
+# Copyright (C) 2022 Free Software Foundation, Inc.
+#
+# This file is part of GCC.
+#
+# GCC is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# GCC is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3. If not see
+# <http://www.gnu.org/licenses/>.
+
+nvptx_sm_def="$1/nvptx-sm.def"
+
+sms=$(grep ^NVPTX_SM $nvptx_sm_def | sed 's/.*(//;s/,.*//')
+
+echo kind: gpu
+echo arch: nvptx
+
+isa=""
+for sm in $sms; do
+ isa="$isa sm_$sm"
+done
+
+echo isa: $isa
-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 >> $@
+omp-device-properties-nvptx: $(srcdir)/config/nvptx/nvptx-sm.def
+ $(SHELL) $(srcdir)/config/nvptx/gen-omp-device-properties.sh \
+ "$(srcdir)/config/nvptx" > $@