Pedro Gonçalves
|
20375315ba
|
docker/Dockerfile: remove cmake and add apt-utils.
|
2018-08-31 18:25:04 +01:00 |
|
Pedro Gonçalves
|
515404302a
|
docker/Makefile: add clean and delete_img options.
|
2018-08-31 18:08:00 +01:00 |
|
Pedro Gonçalves
|
49cb586697
|
docker/Dockerfile: added more packages to be installed.
|
2018-08-31 18:07:23 +01:00 |
|
Ricardo Martins
|
bbbd691fb3
|
docker: install kmod.
|
2017-09-28 17:58:14 +01:00 |
|
Ricardo Martins
|
62730377b2
|
docker: install file package.
|
2016-06-14 18:54:37 +01:00 |
|
Ricardo Martins
|
4ff07d69e0
|
docker: added script to create docker container suitable to build GLUED.
|
2016-06-03 14:23:22 +01:00 |
|