From 4066a2374d110a7c62c97669f8832d1332ef5f71 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Benno=20F=C3=BCnfst=C3=BCck?= Date: Sat, 18 Nov 2023 23:18:44 +0100 Subject: [PATCH] install_cbmc.sh: install as package if building from source (#2878) This makes uninstalling easier for users Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com> --- scripts/setup/ubuntu/install_cbmc.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/setup/ubuntu/install_cbmc.sh b/scripts/setup/ubuntu/install_cbmc.sh index a9a4965fdc0e..f37aafcd6327 100755 --- a/scripts/setup/ubuntu/install_cbmc.sh +++ b/scripts/setup/ubuntu/install_cbmc.sh @@ -44,7 +44,8 @@ git submodule update --init cmake -S . -Bbuild -DWITH_JBMC=OFF -Dsat_impl="minisat2;cadical" make -C build -j$(nproc) -sudo make -C build install +cpack -G DEB --config build/CPackConfig.cmake +sudo dpkg -i ./cbmc-*.deb popd rm -rf "${WORK_DIR}"