[hak] verbose output

coq · Dec 16, 2020 · 6e098a9 · 6e098a9
1 parent e5d1bb4
commit 6e098a9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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