Skip to content
New issue

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

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

Already on GitHub? # to your account

Add make and libcgroup to DOMserver's software requirements #2182

Merged
merged 2 commits into from
Oct 21, 2023

Conversation

YoungMind1
Copy link
Contributor

No description provided.

@vmcj
Copy link
Member

vmcj commented Oct 21, 2023

Hi @YoungMind1,

We already mention this here: https://github.com/DOMjudge/domjudge/pull/2182/files#diff-626c66d580fc2cc70b82c5f745a6206ae4414b2a2837be5dafd3a2f55eed0aa6R49 but I think it's fine to add this and remove it again when we fix that bug.

@eldering
Copy link
Member

I added a commit on top to make it clear that these packages are here only because of judgehost requirements.

Also keep the order of packages consistent.
@vmcj vmcj merged commit 0e3f272 into DOMjudge:main Oct 21, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants