From 542ced5b5ea0ec322f8f7a5076b141baac6a4db4 Mon Sep 17 00:00:00 2001
From: Anders Blomdell <anders.blomdell@control.lth.se>
Date: Mon, 31 Oct 2022 17:53:38 +0100
Subject: [PATCH] Make build work on dist servers

---
 build_all                    |  6 ++++--
 mbed-cli/Makefile            | 12 ++++++++----
 pip-install-to-json/Makefile |  6 +++---
 3 files changed, 15 insertions(+), 9 deletions(-)

diff --git a/build_all b/build_all
index cd98f7e..de649bc 100755
--- a/build_all
+++ b/build_all
@@ -1,5 +1,7 @@
 #!/bin/sh
 
 chmod o-rwx $(dirname $0)
-make -C src/pip-install-to-json REPO=$(pwd)/repo STATE=$(pwd)/state install
-make -C src/mbed-cli REPO=$(pwd)/repo STATE=$(pwd)/state build
+make -C $(dirname $0)/pip-install-to-json \
+     REPO=$(pwd)/repo STATE=$(pwd)/state install
+make -C $(dirname $0)/mbed-cli \
+     REPO=$(pwd)/repo STATE=$(pwd)/state build
diff --git a/mbed-cli/Makefile b/mbed-cli/Makefile
index 399ce53..48e5811 100644
--- a/mbed-cli/Makefile
+++ b/mbed-cli/Makefile
@@ -32,10 +32,14 @@ uninstall:
 	flatpak uninstall -y $(TARGET)
 
 .PHONY: setup
-setup:
-	flatpak remote-add --if-not-exists flathub $(FLATHUB_REPO)
-	flatpak install org.freedesktop.Platform//22.08
-	flatpak install org.freedesktop.Sdk//22.08
+.PHONY: setup
+setup: .setup-done
+
+.setup-done:
+	flatpak --user remote-add --if-not-exists flathub $(FLATHUB_REPO)
+	flatpak --user install -y org.freedesktop.Platform//22.08
+	flatpak --user install -y org.freedesktop.Sdk//22.08
+	touch $@
 
 manual-%.json: manual-%.install
 
diff --git a/pip-install-to-json/Makefile b/pip-install-to-json/Makefile
index e498824..3d2f3fa 100644
--- a/pip-install-to-json/Makefile
+++ b/pip-install-to-json/Makefile
@@ -26,9 +26,9 @@ uninstall:
 setup: .setup-done
 
 .setup-done:
-	flatpak remote-add --if-not-exists flathub $(FLATHUB_REPO)
-	flatpak install org.freedesktop.Platform//22.08
-	flatpak install org.freedesktop.Sdk//22.08
+	flatpak --user remote-add --if-not-exists flathub $(FLATHUB_REPO)
+	flatpak --user install -y org.freedesktop.Platform//22.08
+	flatpak --user install -y org.freedesktop.Sdk//22.08
 	touch $@
 
 pip+wheel.json: Makefile
-- 
GitLab