From d2c97eb009e3c2e70c0ea1f68c58df94058ad78d Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sun, 15 Feb 2026 15:17:26 -0800 Subject: [PATCH] packages/libmpfi: New --- packages/libmpfi/meta.yaml | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 packages/libmpfi/meta.yaml diff --git a/packages/libmpfi/meta.yaml b/packages/libmpfi/meta.yaml new file mode 100644 index 00000000..ae57d214 --- /dev/null +++ b/packages/libmpfi/meta.yaml @@ -0,0 +1,31 @@ +package: + name: libmpfi + version: 1.5.2 + tag: + - library +source: + url: https://github.com/passagemath/passagemath/releases/download/10.8.1/mpfi-1.5.2.tar.bz2 + sha256: c04f52cb306824b91b6d6eacf4f675b91fdee47c30f14d5b346dbfcd2492d274 +requirements: + host: + - libgmp + - libmpfr +about: + home: http://mpfi.gforge.inria.fr/ + summary: A multiple precision interval arithmetic library based on MPFR + license: LGPL 3 +build: + type: static_library + script: | + emconfigure ./configure \ + CFLAGS="-fPIC" \ + --disable-dependency-tracking \ + --disable-shared \ + --with-gmp="${WASM_LIBRARY_DIR}" \ + --with-mpfr="${WASM_LIBRARY_DIR}" \ + --prefix=${WASM_LIBRARY_DIR} + emmake make -j ${PYODIDE_JOBS:-3} + emmake make install +extra: + recipe-maintainers: + - mkoeppe