Install dependencies

flintlib · Oct 9, 2023 · 3036961 · 3036961
1 parent b04b5c0
commit 3036961
Showing 1 changed file with 13 additions and 1 deletion.
diff --git 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