Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add docker development environment #205
For the people like me who don't like tainting the host system with superfluous nonsense like dev libraries :)
It also makes it simpler to get up and running, virtually requiring only
The image is rather big (about 1 GB) but this is not a problem because it is a build environment and will not be used for distribution.
Instructions are in the README.