Merge pyodide build scripts

Author: oscarbenjamin

.github/workflows/ci-emscripten.yml

@@ -50,26 +50,11 @@ jobs:
           path: ${{ github.workspace }}/wasm-library-dir
           key: wasm-library-dir-${{ hashFiles('bin/pyodide_build_libgmp.sh', 'bin/pyodide_build_libmpfr.sh', 'bin/pyodide_build_flint.sh') }}-0
 
-      - name: Build libgmp
+      - name: Build GMP, MPFR and FLINT
         if: steps.cache-wasm-library-dir.outputs.cache-hit != 'true'
         env:
           CFLAGS: "-fPIC"
-          WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir
-        run: bin/pyodide_build_libgmp.sh
-
-      - name: Build libmpfr
-        if: steps.cache-wasm-library-dir.outputs.cache-hit != 'true'
-        env:
-          CFLAGS: "-fPIC"
-          WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir
-        run: bin/pyodide_build_libmpfr.sh
-
-      - name: Build flint
-        if: steps.cache-wasm-library-dir.outputs.cache-hit != 'true'
-        env:
-          CFLAGS: "-fPIC"
-          WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir
-        run: bin/pyodide_build_flint.sh
+        run: bin/pyodide_build_dependencies.sh --wasm-library-dir ${{ github.workspace }}/wasm-library-dir
 
       - name: Persist WASM library directory to cache
         uses: actions/cache/save@d4323d4df104b026a6aa633fdb11d772146be0bf # v4.2.2

bin/pyodide_build_dependencies.sh

@@ -0,0 +1,118 @@
+#!/bin/bash
+
+set -e
+
+while [[ $# -gt 0 ]]
+do
+  key="$1"
+  case $key in
+    -h|--help)
+      echo "bin/pyodide_build_dependencies.sh [options]"
+      echo
+      echo "Build local emscripten installs of python-flint's dependencies."
+      echo
+      echo "Supported options:"
+      echo "  --help            - show this help message"
+      echo "  --wasm-library-dir <WASM_LIBRARY_DIR> - directory to install libraries"
+      echo "  --flint-commit <FLINT_COMMIT> - flint commit to build"
+      echo
+      exit
+    ;;
+    --wasm-library-dir)
+      # e.g. --wasm-library-dir /path/to/wasm-library-dir
+      WASM_LIBRARY_DIR="$2"
+      shift
+      shift
+    ;;
+    --flint-commit)
+      # e.g. --flint-commit 3.3.1
+      FLINT_COMMIT="$2"
+      shift
+      shift
+    ;;
+  *)
+    2>&1 echo "unrecognised argument:" $key
+    exit 1
+    ;;
+  esac
+done
+
+
+if [ -z "$WASM_LIBRARY_DIR" ]; then
+  echo "WASM_LIBRARY_DIR not set"
+  exit 1
+fi
+
+source bin/build_variables.sh
+
+
+# ---------------------------Build GMP ----------------------------------#
+
+
+curl -L https://ftp.gnu.org/gnu/gmp/gmp-$GMPVER.tar.xz -o gmp-$GMPVER.tar.xz
+tar -xf gmp-$GMPVER.tar.xz
+
+cd gmp-$GMPVER
+
+    emconfigure ./configure \
+        --disable-dependency-tracking \
+        --host none \
+        --disable-shared \
+        --enable-static \
+        --enable-cxx \
+        --prefix=$WASM_LIBRARY_DIR
+
+    emmake make -j $(nproc)
+    emmake make install
+
+cd ..
+
+
+# ---------------------------Build MPFR ----------------------------------#
+
+
+curl -L https://ftp.gnu.org/gnu/mpfr/mpfr-$MPFRVER.tar.xz -o mpfr-$MPFRVER.tar.xz
+tar -xf mpfr-$MPFRVER.tar.xz
+
+cd mpfr-$MPFRVER
+
+    emconfigure ./configure \
+        --disable-dependency-tracking \
+        --disable-shared \
+        --with-gmp=$WASM_LIBRARY_DIR \
+        --prefix=$WASM_LIBRARY_DIR
+
+    emmake make -j $(nproc)
+    emmake make install
+
+cd ..
+
+
+# ---------------------------Build FLINT----------------------------------#
+
+
+if [ -z "$FLINT_COMMIT" ]; then
+    git clone https://github.com/flintlib/flint --branch $FLINT_COMMIT
+    cd flint
+else
+    curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-$FLINTVER.tar.gz
+    tar xf flint-$FLINTVER.tar.gz
+    cd flint-$FLINTVER
+fi
+
+    ./bootstrap.sh
+
+    emconfigure ./configure \
+        --disable-dependency-tracking \
+        --disable-shared \
+        --prefix=$WASM_LIBRARY_DIR \
+        --with-gmp=$WASM_LIBRARY_DIR \
+        --with-mpfr=$WASM_LIBRARY_DIR \
+        --host=wasm32-unknown-emscripten \
+        --disable-assembly \
+        --disable-pthread
+
+    emmake make -j $(nproc)
+    emmake make install
+
+cd ..