diff --git a/ci/install_pyHealpix.sh b/ci/install_pyHealpix.sh new file mode 100644 index 0000000000000000000000000000000000000000..2ed347b33477d1021dfac92d1599ad427f113f4d --- /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