Better describe-system-config

mit-plv · Dec 24, 2023 · a7f66c4 · a7f66c4
1 parent ed8b959
commit a7f66c4
Showing 1 changed file with 9 additions and 0 deletions.
diff --git 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"