From bb02604de9b0551848aa1ec13725133f8eddc243 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Mon, 1 Nov 2021 15:55:16 +0100
Subject: [PATCH] simpler dependencies specs for ci
---
tools/bootstrap.sh | 6 ++++--
tools/debian-deps | 14 --------------
2 files changed, 4 insertions(+), 16 deletions(-)
delete mode 100644 tools/debian-deps
diff --git a/tools/bootstrap.sh b/tools/bootstrap.sh
index ee4dce0..cd208d3 100755
--- a/tools/bootstrap.sh
+++ b/tools/bootstrap.sh
@@ -5,8 +5,10 @@ SCRIPT=$(realpath "$0")
DIR=$(dirname "$SCRIPT")
ROOT=$(realpath "${DIR}/..") # Root of personoj repo
-xargs sudo apt-get -yq install < debian-deps
-yes | sudo apt-get install -q emacs-nox # For PVS
+yes | sudo apt-get -q install \
+ zlib1g-dev libx11-dev libgmp-dev bubblewrap m4 gcc autoconf \
+ make unzip pkg-config git rsync bmake gcc perl \
+ emacs-nox
sudo sysctl kernel.unprivileged_userns_clone=1
yes '/usr/local/bin' | sudo bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --version 2.1.0"
diff --git a/tools/debian-deps b/tools/debian-deps
deleted file mode 100644
index aed6272..0000000
--- a/tools/debian-deps
+++ /dev/null
@@ -1,14 +0,0 @@
-zlib1g-dev
-libx11-dev
-libgmp-dev
-bubblewrap
-m4,gcc
-autoconf
-make
-unzip
-pkg-config
-git
-rsync
-bmake
-c-compiler
-perl
--
GitLab