From e604937e73398623f7462ed2b62e633a263f6668 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Thu, 6 Oct 2022 09:02:50 +0200
Subject: [PATCH] add tinycov

---
 src/.docker_modules/tinycov/0.3.1/Dockerfile     | 11 +++++++++++
 src/.docker_modules/tinycov/0.3.1/docker_init.sh |  5 +++++
 2 files changed, 16 insertions(+)
 create mode 100644 src/.docker_modules/tinycov/0.3.1/Dockerfile
 create mode 100755 src/.docker_modules/tinycov/0.3.1/docker_init.sh

diff --git a/src/.docker_modules/tinycov/0.3.1/Dockerfile b/src/.docker_modules/tinycov/0.3.1/Dockerfile
new file mode 100644
index 00000000..588d7b24
--- /dev/null
+++ b/src/.docker_modules/tinycov/0.3.1/Dockerfile
@@ -0,0 +1,11 @@
+FROM python:3.9-slim
+MAINTAINER Laurent Modolo
+
+ENV TINYCOV_VERSION=0.3.1
+
+RUN apt update \
+ && apt install -y  procps \
+ && pip install tinycov==$TINYCOV_VERSION 
+
+
+CMD ["bash"]
diff --git a/src/.docker_modules/tinycov/0.3.1/docker_init.sh b/src/.docker_modules/tinycov/0.3.1/docker_init.sh
new file mode 100755
index 00000000..87cf4fff
--- /dev/null
+++ b/src/.docker_modules/tinycov/0.3.1/docker_init.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+docker pull lbmc/tinycov:0.3.1
+docker build src/.docker_modules/tinycov/0.3.1 -t 'lbmc/tinycov:0.3.1'
+docker push lbmc/tinycov:0.3.1
+docker buildx build --platform linux/amd64,linux/arm64 -t "lbmc/tinycov:0.3.1" --push src/.docker_modules/tinycov/0.3.1
-- 
GitLab