boolector: bins of btor2tools are now in subdir 'build'

hdl · May 15, 2024 · 09422fe · 09422fe
1 parent cb4e6f2
commit 09422fe
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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/
 }