From 09bba27a8771a830b51e74531c490fab7dbb37e7 Mon Sep 17 00:00:00 2001
From: Martin Reinecke <martin@mpa-garching.mpg.de>
Date: Thu, 20 Apr 2017 14:43:56 +0200
Subject: [PATCH] add forgotten file

---
 ci/install_pyHealpix.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 ci/install_pyHealpix.sh

diff --git a/ci/install_pyHealpix.sh b/ci/install_pyHealpix.sh
new file mode 100644
index 000000000..2ed347b33
--- /dev/null
+++ b/ci/install_pyHealpix.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+git clone https://gitlab.mpcdf.mpg.de/mtr/pyHealpix.git
+cd pyHealpix
+autoreconf -i && ./configure && make -j4 install
+cd ..
+rm -rf pyHealpix
-- 
GitLab