From e4cd5c528a0d612e33912ed889f21f557bd78e0e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antonio=20Di=CC=81az?= <afdiaz@ugr.es>
Date: Tue, 22 Oct 2019 16:35:08 +0200
Subject: [PATCH] lm32-tools:1.0 added

New Dockerfile: lm32-tools:1.0.
This docker container includes the LM32 tools based in a precompiled lm32-toolchain with: Centos 7, newlib=3.1.0, gcc=9.2.0, binutils=2.32, mpc=1.1.0, mpfr=4.0.2, gmp=6.1.2
---
 base/lm32-tools:1.0 | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 base/lm32-tools:1.0

diff --git a/base/lm32-tools:1.0 b/base/lm32-tools:1.0
new file mode 100644
index 0000000..bd6fe2f
--- /dev/null
+++ b/base/lm32-tools:1.0
@@ -0,0 +1,13 @@
+FROM centos:latest as builder
+LABEL maintainer="afdiaz@ugr.es"
+RUN yum -y install wget gzip ; yum clean all;
+
+RUN wget https://drive.ugr.es/index.php/s/JuO1GmgQa5pAz0w/download -q -O lm32-toolchain.tar.gz && \
+    tar xvf lm32-toolchain.tar.gz
+
+FROM centos:latest
+RUN yum -y update && yum -y install epel-release
+RUN yum -y install wget gzip cmake3 make ; yum clean all;
+
+COPY --from=builder /lm32 /opt/lm32
+ENV PATH "/opt/lm32/bin:$PATH"
-- 
GitLab