Pedro Gonçalves
|
ed1e4c0240
|
docker/Makefile: add option to clean folder temp/image of docker.
|
2017-06-28 13:37:15 +01:00 |
|
Pedro Gonçalves
|
e0a8b77db3
|
docker: update file to use gcc 5.4.
|
2017-06-28 13:25:37 +01:00 |
|
Tiago Marques
|
4161caff37
|
Dockerfile: Bumped Debian version to 9.
|
2017-05-16 17:38:48 +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 |
|