From a7f66c49c6d02d6ed7f5d0a0300645c2b0cc73a9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 23 Dec 2023 17:05:20 -0800 Subject: [PATCH] Better describe-system-config --- etc/ci/describe-system-config.sh | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh index f231de346..54e54e78e 100755 --- a/etc/ci/describe-system-config.sh +++ b/etc/ci/describe-system-config.sh @@ -40,6 +40,15 @@ group gcc -v group opam switch group opam list group ocamlc -config +group ocamlc -where +group ocamlfind list +group ocamlfind query findlib +group ocamlfind query zarith +group ocamlfind query coq +group ocamlfind query coq-core +group ocamlfind query coq-core.plugins +group ocamlfind query coq-core.plugins.ltac +group "ocamlfind query coq | xargs find" group coqc --config group coqc --version group "true | coqtop"