Open ai-naymul opened 10 months ago
@ai-naymul thanks for this PR.
I think it is better if we add that file inside doc
maybe in a directory called docker
or something that will contain that file and a README with instructions on how to use it. As for example, https://volesti.readthedocs.io/en/latest/getting_started/install.html#development-environment-from-docker-container
@hariszaf what do you think?
@ai-naymul ideally a github action could be added to test that the dockerfile works as expected.
@ai-naymul thanks for this PR.
I think it is better if we add that file inside
doc
maybe in a directory calleddocker
or something that will contain that file and a README with instructions on how to use it. As for example, https://volesti.readthedocs.io/en/latest/getting_started/install.html#development-environment-from-docker-container@hariszaf what do you think?
@ai-naymul ideally a github action could be added to test that the dockerfile works as expected.
Yeah we should add that instructions stuff after the installation section in the README file...
@vissarion should I work on the readme file instruction part of these PR right now and make a commit in the same pr or make another PR regarding that?
I think it is better to do it in this PR. Do you confirm that the docker file you wrote works? What are the commands such that we can reproduce that? Are you able to build dingo in that container and run the tests?
Hi @vissarion and @ai-naymul
here you may find a working Dockerfile.
as I do not know if that's in a best-practices way, please have a look and share thoughts. :taco:
I think it is better to do it in this PR. Do you confirm that the docker file you wrote works? What are the commands such that we can reproduce that? Are you able to build dingo in that container and run the tests?
Okay I will make the changes
I tried this Dockerfile and its current version fails. Maybe if you follow the steps described inline, it might work.
Oh..I didn't notice that the gurobi is not in pypi library , I am sorry I will fix this asap
@hariszaf @vissarion could you please check the recent commit...!!
The dockerfile is added which use the Gurobi docker image
Fixes #78