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

Add simple docker build script #16

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

DJFliX
Copy link

@DJFliX DJFliX commented Jul 3, 2022

I'm working from different machines across Linux, Windows and macOS. For me it's quite convenient to have the build dependencies in a Dockerfile so that I don't have to deal with platform specific quirks during dependency setup on every individual system.

If you think this might be useful to others, please let me know whether you'd like any changes to be incorporated (file naming for example).

@DJFliX
Copy link
Author

DJFliX commented Jul 10, 2022

I've forked the docker image that I initially used and updated its base to ubuntu 22.04. I am now able to reproduce the failing build that I saw in #17 so I think it would be good to use my fork instead. This allows us to get the same results locally as we get in workflows.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant