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

Can't build on WSL and Request for Docker #224

Open
d4hines opened this issue Jul 1, 2020 · 3 comments
Open

Can't build on WSL and Request for Docker #224

d4hines opened this issue Jul 1, 2020 · 3 comments
Labels
A | misc miscellaneous issues S | question

Comments

@d4hines
Copy link

d4hines commented Jul 1, 2020

Hello,
I'm having trouble building Beluga on WSL2, Ubuntu. I'm sure I'm just doing something wrong with opam - I've never used it before. Rather than try to troubleshoot, would you guys be so kind as to publish a Docker image with Beluga pre-built? That would let me get started right away.
Thanks!
Daniel Hines

@tsani
Copy link
Contributor

tsani commented Jul 7, 2020

Hi @d4hines ! Publishing a new release to opam to facilitate installation is on the roadmap. A docker image would also be good to have, but I'm not sure we have the bandwidth at the moment to look into this.
I think @Ailrun used Beluga with WSL; maybe he has some advice on getting it to build?

@tsani tsani added A | misc miscellaneous issues S | question labels Jul 7, 2020
@Ailrun
Copy link
Member

Ailrun commented Jul 7, 2020

I think @Ailrun used Beluga with WSL; maybe he has some advice on getting it to build?

I used to do so, but now I moved to a Linux distro. Anyway, I haven't experienced any issues to do with the build process.

would you guys be so kind as to publish a Docker image with Beluga pre-built?

Even though I think providing a docker image for now is not particularly hard, I'm also not sure we have the bandwidth to maintain such an image.

@tsani, @pientka if we have an official(?) dockerhub account(or organization), I think the automation for image publishing will be doable. What do you think?

@SeverTopan
Copy link

I put together a Dockerfile which works on master as of the time of posting if anyone finds it helpful >> https://gist.github.com/SeverTopan/46e02264ac2c5ebf38b4a040c1d93d83

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A | misc miscellaneous issues S | question
Projects
None yet
Development

No branches or pull requests

4 participants