Skip to content

add fricas0-ecl, fricas0-data#5774

Open
wangyenshu wants to merge 3 commits into
emscripten-forge:mainfrom
wangyenshu:fricas0-draft
Open

add fricas0-ecl, fricas0-data#5774
wangyenshu wants to merge 3 commits into
emscripten-forge:mainfrom
wangyenshu:fricas0-draft

Conversation

@wangyenshu

Copy link
Copy Markdown
Contributor

Template A: Checklist for adding a package

Pre-submission Checks

  • Package requires building for emscripten-wasm32 platform (not a noarch package), in other words, the package requires compilation.

Recipe Structure

Added recipes/recipes_emscripten/[package-name]/recipe.yaml with proper structure:

  • context section with version (and optionally name)
  • package section with name and version using Jinja2 templates
  • source section with:
    • Source URL is valid and points to archive file (.tar.gz, .tar.bz2, .tar.xz, .tgz, or .zip)
    • Source URL contains ${{ version }} template for version updates
    • SHA256 hash is correct (verified with curl -sL <url> | sha256sum)
    • Patches (if any) are included in [package-name]/patches/ directory
  • build section with appropriate script/method
    • Python packages: ${PYTHON} -m pip install . ${PIP_ARGS}
    • R packages: $R CMD INSTALL $R_ARGS .
    • C++ packages: Uses emcmake/emmake or emconfigure/emmake
    • Rust packages: Uses rust-nightly and maturin or appropriate Rust build tool
    • Build number is 0
    • If the script is longer than 3 lines, a build.sh is included
  • requirements section (build, host, run as needed)
  • tests section
    • Python packages: test_import_[package].py file created and referenced
    • C++ packages: Test executable or package_contents test
    • R packages: Package contents test
  • about section with license, homepage, summary

PR Formatting

  • PR title follows format: Add [package-name] or Update [package-name] to [version]
  • PR description includes:
    • Version being added/updated
    • Any special build considerations or patches applied

Package Details

  • Package Name: fricas0-ecl, fricas0-data
  • Version: various, see their recipe.yaml

Build Notes

fricas0-data provide the precompiled lips fas code for fricas0 -- the pure common lisp implementation of fricas. fricas0-ecl is a customized ecl build recipe tailored for fricas0.

To host the website, extract the tarball of fricas0-ecl, the website is in the bin dir of the pkg-fricas0-ecl* tar.

@wangyenshu

wangyenshu commented Jul 3, 2026

Copy link
Copy Markdown
Contributor Author

fricas0-ecl depends on libgc and libatomic_ops, which are provided in the pr #5741. I have tested the build on my local machine. I think this is the reason for the CI failure.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant