From 505213de60a2a27fec3dd7a91e9f6c98f4218675 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89lo=C3=AFs?= <elois@ifee.fr>
Date: Sun, 15 Jul 2018 18:58:31 +0000
Subject: [PATCH] Delete cmake.sh
---
cmake.sh | 40 ----------------------------------------
1 file changed, 40 deletions(-)
delete mode 100644 cmake.sh
diff --git a/cmake.sh b/cmake.sh
deleted file mode 100644
index 02668f4..0000000
--- a/cmake.sh
+++ /dev/null
@@ -1,40 +0,0 @@
-set -ex
-
-main() {
- local version=$1
-
- local dependencies=(
- curl
- g++
- make
- )
-
- apt-get update
- local purge_list=()
- for dep in ${dependencies[@]}; do
- if ! dpkg -L $dep; then
- apt-get install --no-install-recommends -y $dep
- purge_list+=( $dep )
- fi
- done
-
- local td=$(mktemp -d)
-
- pushd $td
-
- curl https://cmake.org/files/v${version%.*}/cmake-$version.tar.gz | \
- tar --strip-components 1 -xz
- ./bootstrap
- nice make -j$(nproc)
- make install
-
- # clean up
- popd
-
- apt-get purge --auto-remove -y ${purge_list[@]}
-
- rm -rf $td
- rm $0
-}
-
-main "${@}"
--
GitLab