File 0003-make-bash_completion-conforming-to-SUSE.patch of Package cbmc

From fc97bd5e050a931f2a97894ddde07c785d113f1b Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Wed, 19 Oct 2022 09:45:03 +0200
Subject: [PATCH 3/4] make bash_completion conforming to SUSE

We have /usr/share/bash-completion/completions/ for that purpose.
---
 src/cbmc/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cbmc/CMakeLists.txt b/src/cbmc/CMakeLists.txt
index 4266fedae42c..737c44815378 100644
--- a/src/cbmc/CMakeLists.txt
+++ b/src/cbmc/CMakeLists.txt
@@ -67,7 +67,7 @@ if(NOT WIN32)
   )
   install(
     FILES ${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh
-    DESTINATION etc/bash_completion.d
+    DESTINATION share/bash-completion/completions
     RENAME cbmc
   )
 endif()
-- 
2.49.0