Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Feature]: Compatibility with julia2nix #530

Open
lenianiva opened this issue Oct 29, 2023 · 4 comments
Open

[Feature]: Compatibility with julia2nix #530

lenianiva opened this issue Oct 29, 2023 · 4 comments
Assignees
@djacu
Labels
enhancement New feature or request

Comments

@lenianiva
Copy link

lenianiva commented Oct 29, 2023 •
edited
Loading

What's missing?

Would it be possible to use julia2nix to manage julia packages in an analogous way to poetry? Currently the julia depot in https://github.com/tweag/jupyenv/blob/main/modules/kernels/julia/default.nix defaults to ~/.julia which makes the flake impure.

Possible solution

Integrate with https://github.com/JuliaCN/Julia2Nix.jl

Alternatives

Specify the ijuliaRev and julia_depot_path manually

Additional context

No response
@lenianiva lenianiva added the enhancement New feature or request label Oct 29, 2023
@GTrunSec
Copy link
Collaborator

@vleni you can try the 35562e3#diff-d8a94a7c5d3d108d45049898a2521f434bb19ef569a2219197ab0a5ee02fbd06R39

@GTrunSec
Copy link
Collaborator

GTrunSec commented Oct 29, 2023 •
edited
Loading

the julia2nix needs to be refactored, which will be based on NixOS/nixpkgs#225513.
and the PR-225513 has been added in #524

@GTrunSec
Copy link
Collaborator

GTrunSec commented Oct 29, 2023 •
edited
Loading

@vleni I have added the example for explaining how to use the upstream's julia PR
see: 7ffbf50#diff-70c26399b8df57df22a5b9a3e2e35d30084e8c63dec9531622df54102f765340L2

@GTrunSec
Copy link
Collaborator

GTrunSec commented Nov 4, 2023

BTW, if you would like to join our discussion JuliaCN/Julia2Nix.jl#62

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

@djacu djacu

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@djacu @GTrunSec @lenianiva