From 1ab9aa4b6fddf4e6b7216b7fe993d8c672c22468 Mon Sep 17 00:00:00 2001
From: erkn <erik@vonbrun.org>
Date: Wed, 21 Dec 2022 00:14:43 +0100
Subject: [PATCH] script for installing mcpl as a ci-thing

---
 tools/ci/gha-install-mcpl.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 tools/ci/gha-install-mcpl.sh

diff --git a/tools/ci/gha-install-mcpl.sh b/tools/ci/gha-install-mcpl.sh
new file mode 100755
index 0000000000..9b8609398a
--- /dev/null
+++ b/tools/ci/gha-install-mcpl.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+set -ex
+cd $HOME
+git clone https://github.com/mctools/mcpl
+cd mcpl
+mkdir build && cd build
+cmake .. && make 2>/dev/null && sudo make install