Add Pixi Environment Setup for brian2wasm#16
Conversation
|
Right now, the activation script does three things: When setting up the environment for the first time, Would it be better to separate these into two tasks — one for I’ll add GitHub Actions for testing this PR in a couple of days. |
|
Good start – apologies it took me so long to take a look. I think it would indeed be the best to move the install and activate into a pixi task. Regarding the activation script: given that we are doing this in the brian2wasm repository for now, we can directly refer to the script as |
| auth-host: prefix.dev | ||
| auth-token: ${{ secrets.PREFIX_DEV_TOKEN }} |
There was a problem hiding this comment.
Just a quick comment: I don't think we need any authentication here – we don't want to push anything, and we download only from public channels.
|
I followed the Pixi GithHub Actions guide with the approach of installing Pixi, setting up the environment, and then checking whether Since the guide requires an auth-token, I’ve included it in the workflow. However, I’m facing an issue: when trying to check whether these tools exist, it returns false for |
|
Hi @mstimberg, |
Hi @PalashChitnavis. I've seen that you already implemented a workaround, and I think this is the best solution for now. There are two issues: The current For now, your workaround is fine, but I think the best solution would be to:
But let's deal with this later, don't worry about it for this PR. |
|
Hi @mstimberg, GitHub Actions log: https://github.com/brian-team/brian2wasm/actions/runs/15845645524/job/44667072411?pr=16 I’m not sure why this is happening, as it works correctly on macOS. Do you have any idea what might be causing this? |
Added a regex substitution to strip out -R<path> flags from linker_flags, as these are not supported by wasm-ld. This improves compatibility when building with the WASMStandaloneDevice.
|
|
Indeed… Your workaround is good enough for now, as you probably saw we do a similar thing for |
Setup Pixi Environment for brian2wasm
Closes #12
This PR adds support for using Pixi to simplify setting up the build environment for
brian2wasm.Pixi automates:
brian2wasmdevelopmentSteps to Use:
Install Pixi — Installation Guide
In the root directory (where
pyproject.tomlis located), run:From the next time onward, simply running pixi shell will drop you into the fully set-up environment.