Add initial support for cvc5 and bitwuzla

[dev-env-setup.git] / ppc64-gdb-gcc

diff --git a/ppc64-gdb-gcc b/ppc64-gdb-gcc
index e8a3af1bb7f078065787a2cd35ea33293b83aefb..c21752d6299c9376f0d90b01acfb61a93e7c3eac 100755 (executable)
--- a/ppc64-gdb-gcc
+++ b/ppc64-gdb-gcc
@@ -5,7 +5,12 @@ if [ "$EUID" -ne 0 ]
 fi
 
 # first install powerpc64 gcc-8 cross-compiler
-apt-get install gcc-8-powerpc64-linux-gnu
+apt-get install gcc-8-powerpc64-linux-gnu \
+                gcc-powerpc64-linux-gnu \
+                wget texinfo
+
+# it your responsibility to check that the archive downloaded below is
+# uncompromised!
 
 runuser $SUDO_USER --preserve-environment -c '
 cd /home/$SUDO_USER
@@ -20,7 +25,7 @@ cd build
 make
 '
 cd /home/$SUDO_USER/src/gdb-8.3/build
-make -n install
+make install
 echo -e "
 \e[1;91mCross-compiled GDB 8.3 and compiler now installed.\e[0m
 "