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

Using OPAMJOBS during make builds uses all RAM #29

Open

filipeom opened this issue Aug 20, 2024 · 0 comments

Labels

Member

filipeom commented Aug 20, 2024 •

edited

Loading

Somehow using OPAMJOBS on makefiles, such as make -j $(opam var jobs) seems to overuse memory and kill installation through opam. Example: https://github.com/formalsec/smtml/actions/runs/10469576949.

I also experienced this locally. Reducing jobs with OPAMJOBS seems to fix it, but this needs further investigation.

Currently using: OPAMJOBS=4 opam install cvc5

The text was updated successfully, but these errors were encountered:

filipeom added the type: bug label

filipeom changed the title ~~Using~~ Using OPAMJOBS during make builds uses all RAM

joaomhmpereira added a commit that referenced this issue


          Remove number of Opam jobs (to address #29)

7b7a314

joaomhmpereira added a commit that referenced this issue


          Remove number of Opam jobs (to address #29)

79acd4d

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