From 6e712424f5cb1f01acf41c21f8721ee028c2a20c Mon Sep 17 00:00:00 2001 From: Paul Iannetta Date: Wed, 16 Aug 2023 14:22:28 +0100 Subject: kvx: New port. --- configure | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'configure') diff --git a/configure b/configure index 28f0913..b0434aa 100755 --- a/configure +++ b/configure @@ -3664,6 +3664,15 @@ case "${target}" in cris-*-* | crisv32-*-*) libgloss_dir=cris ;; + kvx-*-elf) + libgloss_dir=kvx-elf + ;; + kvx-*-mbr) + libgloss_dir=kvx-mbr + ;; + kvx-*-cos) + libgloss_dir=kvx-cos + ;; hppa*-*-*) libgloss_dir=pa ;; @@ -3958,6 +3967,9 @@ case "${target}" in i[3456789]86-*-rdos*) noconfigdirs="$noconfigdirs gdb" ;; + kvx-*-*) + noconfigdirs="$noconfigdirs gdb sim" + ;; mmix-*-*) noconfigdirs="$noconfigdirs gdb" ;; -- cgit v1.1