From 6adf0f2778c036af2a28ce0e5851f6ed73e4dbd8 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Tue, 27 Apr 2021 14:41:04 +0200
Subject: [PATCH] Docker: add flexi_splitter 1.0.2
---
src/.docker_modules/flexi_splitter/1.0.2/Dockerfile | 13 +++++++++++++
.../flexi_splitter/1.0.2/docker_init.sh | 4 ++++
2 files changed, 17 insertions(+)
create mode 100644 src/.docker_modules/flexi_splitter/1.0.2/Dockerfile
create mode 100755 src/.docker_modules/flexi_splitter/1.0.2/docker_init.sh
diff --git a/src/.docker_modules/flexi_splitter/1.0.2/Dockerfile b/src/.docker_modules/flexi_splitter/1.0.2/Dockerfile
new file mode 100644
index 00000000..49f5f709
--- /dev/null
+++ b/src/.docker_modules/flexi_splitter/1.0.2/Dockerfile
@@ -0,0 +1,13 @@
+FROM python:3.9-slim
+MAINTAINER Lauret Modolo
+
+ENV FLEXI_SPLITTER_VERSION=1.0.2
+RUN apt-get update -qq \
+ && apt-get install --no-install-recommends --yes \
+ build-essential \
+ procps
+RUN pip3 install flexi-splitter==${FLEXI_SPLITTER_VERSION}
+RUN apt-get remove --yes \
+ build-essential
+
+CMD [ "bash" ]
\ No newline at end of file
diff --git a/src/.docker_modules/flexi_splitter/1.0.2/docker_init.sh b/src/.docker_modules/flexi_splitter/1.0.2/docker_init.sh
new file mode 100755
index 00000000..2159a29d
--- /dev/null
+++ b/src/.docker_modules/flexi_splitter/1.0.2/docker_init.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+docker pull lbmc/flexi_splitter:1.0.2
+docker build src/.docker_modules/flexi_splitter/1.0.2 -t 'lbmc/flexi_splitter:1.0.2'
+docker push lbmc/flexi_splitter:1.0.2
--
GitLab