From 3036961b02f8f3b09ba182c4cdfe8e3c7d073f0d Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Mon, 9 Oct 2023 16:06:43 +0200
Subject: [PATCH] Install dependencies

---
 .github/workflows/release.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 04e4020038..c71974b331 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -37,7 +37,19 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
-      - name: "Configure FLINT"
+      - name: "Setup"
+        run: |
+          sudo apt install -y libgmp-dev
+          sudo apt install -y libmpfr-dev
+          sudo apt install -y autoconf
+          sudo apt install -y libtool-bin
+          gcc --version
+          gcov --version
+          make --version
+          autoconf --version
+          libtool --version
+
+      - name: "Configure"
         run: |
           ./bootstrap.sh
           ./configure