From 6e098a90cfdaddfee2ea003b125fa26d99117843 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 16 Dec 2020 15:50:58 +0100 Subject: [PATCH] [hak] verbose output --- coq_platform_make.sh | 2 +- shell_scripts/install_pkg-config.sh | 2 +- shell_scripts/install_prerequisites_coqide.sh | 6 +++--- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/coq_platform_make.sh b/coq_platform_make.sh index 764347c480..4a544e437b 100755 --- a/coq_platform_make.sh +++ b/coq_platform_make.sh @@ -102,7 +102,7 @@ source shell_scripts/install_opam_depext.sh ###################### INSTALL PREREQUISITES ##################### echo "===== INSTALL PREREQUISITES =====" - +set -x source shell_scripts/install_pkg-config.sh source shell_scripts/install_prerequisites_coqide.sh source shell_scripts/install_prerequisites_gappa.sh diff --git a/shell_scripts/install_pkg-config.sh b/shell_scripts/install_pkg-config.sh index a3e8c7b8eb..9324e5c259 100644 --- a/shell_scripts/install_pkg-config.sh +++ b/shell_scripts/install_pkg-config.sh @@ -17,5 +17,5 @@ # install pkg-config if it is not there if ! command -v pkg-config &> /dev/null then - $COQ_PLATFORM_TIME opam depext conf-pkg-config + $COQ_PLATFORM_TIME opam depext conf-pkg-config --verbose fi diff --git a/shell_scripts/install_prerequisites_coqide.sh b/shell_scripts/install_prerequisites_coqide.sh index f8fa936605..b0df07b02d 100644 --- a/shell_scripts/install_prerequisites_coqide.sh +++ b/shell_scripts/install_prerequisites_coqide.sh @@ -13,17 +13,17 @@ # install gtk3 if not there (CoqIDE) if ! pkg-config --short-errors --print-errors --atleast-version 3.18 gtk+-3.0 then - $COQ_PLATFORM_TIME opam depext conf-gtk3 + $COQ_PLATFORM_TIME opam depext conf-gtk3 --verbose fi # install gtksourceview3 if not there (CoqIDE) if ! pkg-config --short-errors --print-errors gtksourceview-3.0 then - $COQ_PLATFORM_TIME opam depext conf-gtksourceview3 + $COQ_PLATFORM_TIME opam depext conf-gtksourceview3 --verbose fi # install adwaita-icon-theme if not there (CoqIDE) if ! pkg-config --short-errors --print-errors adwaita-icon-theme then - $COQ_PLATFORM_TIME opam depext conf-adwaita-icon-theme + $COQ_PLATFORM_TIME opam depext conf-adwaita-icon-theme --verbose fi \ No newline at end of file