From 09422fed5b49532d965bec8059151a098dc31483 Mon Sep 17 00:00:00 2001 From: umarcor Date: Tue, 14 May 2024 13:38:36 +0200 Subject: [PATCH] boolector: bins of btor2tools are now in subdir 'build' --- debian-bookworm/boolector/HDLC | 2 +- debian-bullseye/boolector/HDLC | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/debian-bookworm/boolector/HDLC b/debian-bookworm/boolector/HDLC index 845a73a4..824874ec 100644 --- a/debian-bookworm/boolector/HDLC +++ b/debian-bookworm/boolector/HDLC @@ -41,6 +41,6 @@ build() { make -C build -j$(nproc) PREFIX="$PREFIX" DESTDIR=/opt/boolector mkdir -p "${DESTDIR}${PREFIX}"/bin "${DESTDIR}${PREFIX}"/lib - cp build/bin/boolector build/bin/btor* deps/btor2tools/bin/btorsim "${DESTDIR}${PREFIX}"/bin/ + cp build/bin/boolector build/bin/btor* deps/btor2tools/build/bin/* "${DESTDIR}${PREFIX}"/bin/ cp build/lib/libboolector.a "${DESTDIR}${PREFIX}"/lib/ } diff --git a/debian-bullseye/boolector/HDLC b/debian-bullseye/boolector/HDLC index 845a73a4..824874ec 100644 --- a/debian-bullseye/boolector/HDLC +++ b/debian-bullseye/boolector/HDLC @@ -41,6 +41,6 @@ build() { make -C build -j$(nproc) PREFIX="$PREFIX" DESTDIR=/opt/boolector mkdir -p "${DESTDIR}${PREFIX}"/bin "${DESTDIR}${PREFIX}"/lib - cp build/bin/boolector build/bin/btor* deps/btor2tools/bin/btorsim "${DESTDIR}${PREFIX}"/bin/ + cp build/bin/boolector build/bin/btor* deps/btor2tools/build/bin/* "${DESTDIR}${PREFIX}"/bin/ cp build/lib/libboolector.a "${DESTDIR}${PREFIX}"/lib/ }