Dockerfile.dev

# Descargar imagen
FROM debian:stable

# Instalar paquetes necesarios para compilacion
RUN apt-get update
RUN apt-get install -y --assume-yes \
  apt-utils \
  dialog
RUN apt-get install -y build-essential \
  cmake libreadline-dev sudo \
  valgrind vim bash

# Crear usuario docker
RUN adduser --disabled-password --gecos '' docker
RUN adduser docker sudo
RUN echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
USER docker

# Crear directorios para copiar archivos
RUN mkdir /home/docker/codigo
RUN mkdir /home/docker/codigo/src
RUN mkdir /home/docker/codigo/include
RUN mkdir /home/docker/codigo/ejemplos

# Establecer directorio de trabajo
WORKDIR /home/docker/codigo

# Copiar solo los archivos necesarios para compilar y ejemplos de latino
COPY --chown=docker:docker CMakeLists.txt .
COPY --chown=docker:docker run_coverage_gcc.sh .
COPY --chown=docker:docker run_coverage_clang.sh .
COPY --chown=docker:docker src/. src/
COPY --chown=docker:docker include/. include/
COPY --chown=docker:docker ejemplos/. ejemplos/

# Compilar latino en modo Debug
RUN cmake -DCMAKE_BUILD_TYPE=Debug -G "Unix Makefiles" .
RUN make
RUN sudo make install

# Ejecutar latino
WORKDIR /home/docker/codigo/src
CMD ["latino", "../ejemplos/02-hola.lat"]