search

ioi / isolate

Sandbox for securely executing untrusted programs
Other
1.04k stars 154 forks source link

Improve debian packaging #164

Open pehrsoderman opened 3 days ago

pehrsoderman commented 3 days ago

Adds a build target to build the debian package with resonable flags, and also adds a test building to the travis ci.

soufrabi commented 3 days ago

This would be really helpful. I believe instructions to build the debian package should also be used in the documentation.

gollux commented 3 days ago

I plan to document Debian packaging before the next release. The current implementation is an experiment I haven't made up my mind yet. Adding a Makefile target to build the package makes sense.

I completely forgot that we have a configuration for Travis CI :) I do not use it and I rather think I should remove it and maybe replace by GitHub Actions.

pehrsoderman commented 3 days ago

The current implementation is an experiment I haven't made up my mind yet.

I just retired our custom packaging of isolate we used internally in Kattis, so I would selfishly appreciate if the debian packaging of isolate remains. Otherwise I have to revert stuff in our infrastructure and resurrect our custom kattis-isolate package :(

I do not use it and I rather think I should remove it and maybe replace by GitHub Actions.

GitHub Actions are very nice. Highly recommended, after struggling with Travis and Drone.

gollux commented 3 days ago

No worries, packaging is here to stay. What I was unsure about were mostly details.