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.

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

chore: install dependencies with Flox #22

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

zmitchell
Copy link

This changes makes it such that if you have Flox installed you can simply flox activate inside this repository to have all of the tools necessary to record a trace using rr on Linux and have all the other dependencies included for running the pernosco-submit script.

This changes makes it such that if you have Flox installed you can
simply `flox activate` inside this repository to have all of the tools
necessary to record a trace using `rr` on Linux and have all the other
dependencies included for running the `pernosco-submit` script.
@zmitchell
Copy link
Author

zmitchell commented Aug 26, 2024

Full disclosure: I'm a Flox engineer, but I was taking Pernosco for a test drive and noticed that you need some dependencies to run this script. I had created a Flox environment locally to run the script and figured I would submit a PR with the environment in case you thought it would be helpful.

(The trace I uploaded turned out not to be useful because I had AVX-512 enabled, but that's a problem for another day)

@khuey
Copy link
Member

khuey commented Aug 27, 2024

Adding this is fine in principle, but Pernosco only supports x86_64-linux (not darwin and not AArch64), so it seems like these changes probably need some minor adjustments.

@zmitchell
Copy link
Author

Gotcha on aarch64-linux. Does the submission script support other systems, or is that also x86_64-linux-only as well? The intention was to support as many systems as possible for the submission part and only include rr on the systems that are supported by Pernosco.

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.

2 participants