Provide non-Debian setup instructions and tooling #524
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Started this because I was trying to look into the issue I reported (see arXiv/html_feedback#644) and then realised that I couldn't use the Makefile because it was written to be used on Debian (and Debian-derivative) systems (with its use of apt and its fetching of "linux" variants of packages). These changes parameterise the configuration a bit and also provide a more hands-off experience with the use of devenv.sh.
Hopefully this makes it easier for other folks (non-Debian Linux users and even macOS users) to quickly check out the codebase for issues, debug things and contribute patches. It's been parameterised in a way that we should still have the same UX for Debian users as they had prior to the changes. If I failed at this attempt, yell at me for a fix and I'll get on it.