From 9a9fb999405d80befeac8fccd17ce79a865d3d70 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 6 Jan 2021 10:35:59 +0100
Subject: [PATCH] Adding missing files

---
 install_VCDEVEL.sh | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100755 install_VCDEVEL.sh

diff --git a/install_VCDEVEL.sh b/install_VCDEVEL.sh
new file mode 100755
index 0000000..28ae094
--- /dev/null
+++ b/install_VCDEVEL.sh
@@ -0,0 +1,19 @@
+#! /bin/bash
+
+# check if the directory $1/VCDEVEL exist
+
+if [ -d "$1/VCDEVEL" -a -f "$1/VCDEVEL/include/Vc/Vc" ]; then
+  echo "VCDEVEL already installed"
+  exit 0
+fi
+
+wget http://ppmcore.mpi-cbg.de/upload/Vc-1.4.1.tar.gz
+#rm -rf Vc
+tar -xf Vc-1.4.1.tar.gz
+cd Vc-1.4.1
+mkdir build
+cd build
+cmake -DCMAKE_INSTALL_PREFIX:PATH=$1/VCDEVEL -DCMAKE_C_COMPILER=$3 -DCMAKE_CXX_COMPILER=$4 ..
+make
+make install
+
-- 
GitLab