From 0a7cde48197f2cfd6c1dcd14f70de0b11599585c Mon Sep 17 00:00:00 2001
From: Matthias Grob <maetugr@gmail.com>
Date: Sun, 29 Mar 2020 20:25:36 +0200
Subject: [PATCH] arch.sh: use binary repository for gazebo

This makes installation a lot faster and less error prone.
---
 Tools/setup/arch.sh | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/Tools/setup/arch.sh b/Tools/setup/arch.sh
index e4084dc05b..9ed9a6b293 100644
--- a/Tools/setup/arch.sh
+++ b/Tools/setup/arch.sh
@@ -136,14 +136,18 @@ if [[ $INSTALL_SIM == "true" ]]; then
 			opencv \
 			protobuf \
 			vtk \
-			yay \
 			;
 
-		# enable multicore gazebo compilation
-		sudo sed -i '/MAKEFLAGS=/c\MAKEFLAGS="-j'$(($(nproc)+2))'"' /etc/makepkg.conf
+		# add community binary repository for gazebo and ROS
+		# https://wiki.archlinux.org/index.php/Unofficial_user_repositories#oscloud
+		if ! grep -q oscloud /etc/pacman.conf; then
+			echo "# ROS gazebo repository for PX4
+[oscloud]
+SigLevel = Never
+Server = http://repo.oscloud.info/" | sudo tee -a /etc/pacman.conf > /dev/null
+		fi
 
-		# install gazebo from AUR
-		yay -S gazebo --noconfirm
+		sudo pacman -Sy --noconfirm --needed gazebo
 
 		if sudo dmidecode -t system | grep -q "Manufacturer: VMware, Inc." ; then
 			# fix VMWare 3D graphics acceleration for gazebo