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

Auto-detect generator language when not explicitly specified #967

Open
Xyene opened this issue Dec 6, 2021 · 0 comments
Open

Auto-detect generator language when not explicitly specified #967

Xyene opened this issue Dec 6, 2021 · 0 comments

Comments

@Xyene
Copy link
Member

Xyene commented Dec 6, 2021

lang = None # Default to C/C++

This would allow site-managed generators to be written in more than C++. We already store known extensions in the Executor classes.

Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
Xyene added a commit that referenced this issue Dec 6, 2021
leduythuccs pushed a commit to VNOI-Admin/judge-server that referenced this issue Jan 10, 2022
* executors: add basic autodetection from filename

Ref DMOJ#967

* ci: use Python 3.10 when possible

* Use metaclass to auto-populate Executor.name

* Remove unnecessary executor name declarations

* cptbox: check faccessat2 instead of always denying

* cptbox: automatically generate FreeBSD syscalls

* cptbox: allow ExactDir('/') rule to work

* executors: allow racket to access /

* cptbox: allow statx by default

It used to only be allowed for compilers, but there is no reason why
it should be compiler-only given that other stat syscalls are allowed
for everything.

This will fix the failure with Turing on latest glibc.

* Work around pip bug

* Add executor for Lean 4

* Update README

* Delete errors

* mypy

* Make access rules more sane

* Update docker test

* Remove unnecessary executor name declarations

* cptbox: allow pselect6/pselect6_time64 by default

glibc 2.33+ use these instead of select
Ref: https://sourceware.org/pipermail/glibc-cvs/2020q3/070159.html

Co-authored-by: Tudor Brindus <[email protected]>
Co-authored-by: Quantum <[email protected]>
Co-authored-by: int-y1 <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant