Thanks @rgomes, that is very nice! :)
I would like to suggest the follow idea to the Dockerfile:
Add options to download a set of specific backends or all backends. For instance, Cantor has 10 backends currently, the user/contributor could select the download of only one backend, just a few, or all of them. Currently Cantor has the follow backends:
- Python 2;
- Python 3;
So for each backend the Docker script can to download only those specific dependencies for that backend.
That do you think?
Hi @rgomes your Dockerfile is ok for a first version. Can you push it to Cantor repository? You must to create a diff file in Differential so I can to review and accept the contribution.
I have an idea to improve it in a next version, what do you think? I would like to inform the user about the options of backend installations, maybe printing the options after run docker. Like:
Select the backends to installation:
- all (All backends)
- kalgebra (KAlgebra)
- luajit2 (Lua)
- maxima (Maxima)
So if the user select 'all' the process will install all backends; if the user select 'kalgebra luajit2', the process will install KAlgebra and Lua.
Anyway, you need to list which is the package name for each backend.
I liked your idea! We can create a bash script or another stuff to ask it to user and use docker with specific "string" in build-args :)
I will read more how to do that "diff file" here :)