Show more meaningful messages when dependency tree is broken

[na4zagin3]

Apparently, OPAM sometimes plans execution order without considering dependencies..

This is output from opam show satysfi-ncsq-doc.

2021-02-20T11:38:39.1232986Z <><> satysfi-ncsq-doc: information on all versions ><><><><><><><><><><><><><><>
2021-02-20T11:38:39.1293721Z name                   satysfi-ncsq-doc
2021-02-20T11:38:39.1294668Z all-installed-versions 2.0.0 [4.11.1]
2021-02-20T11:38:39.1295552Z all-versions           0.0.1  0.1.0  0.2.0  1.0.0  2.0.0  2.1.0
2021-02-20T11:38:39.1296048Z 
2021-02-20T11:38:39.1296854Z <><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><><><>
2021-02-20T11:38:39.1303541Z version       2.0.0
2021-02-20T11:38:39.1304716Z repository    satyrographos-local
2021-02-20T11:38:39.1305816Z url.src:      "https://github.com/uemurax/satysfi-ncsq/archive/2.0.0.tar.gz"
2021-02-20T11:38:39.1306695Z url.checksum: "md5=3112987789d89d6686f06f6481e36f2d"
2021-02-20T11:38:39.1309087Z               "sha512=a58c5a97d82fda1c25951b27f9550096fb9f21b86edfb7f7d368d1bd64af6e50cca160a8512f155710a90a389f2f321a3026b543ace05ccb6015cf09033075b2"
2021-02-20T11:38:39.1311705Z homepage:     "https://github.com/uemurax/satysfi-ncsq"
2021-02-20T11:38:39.1312854Z bug-reports:  "https://github.com/uemurax/satysfi-ncsq/issues"
2021-02-20T11:38:39.1314068Z dev-repo:     "git+https://github.com/uemurax/satysfi-ncsq.git"
2021-02-20T11:38:39.1314992Z authors:      "Taichi Uemura <[email protected]>"
2021-02-20T11:38:39.1315932Z maintainer:   "Taichi Uemura <[email protected]>"
2021-02-20T11:38:39.1316577Z license:      "MIT"
2021-02-20T11:38:39.1317100Z depends:      "satysfi" {>= "0.0.5" & "< 0.0.6"}
2021-02-20T11:38:39.1317704Z               "satyrographos" {>= "0.0.2" & < "0.0.3"}
2021-02-20T11:38:39.1318455Z               "satysfi-dist" {>= "0.0.5" & "< 0.0.6"}
2021-02-20T11:38:39.1321610Z               "satysfi-ncsq" {= "%{version}%"}
2021-02-20T11:38:39.1322229Z               "satysfi-easytable" {>= "1.0.0"}
2021-02-20T11:38:39.1322859Z               "satysfi-matrix" {>= "0.0.1" & "< 0.0.2"}
2021-02-20T11:38:39.1323458Z               "satysfi-bibyfi" {>= "0.0.2" & "< 0.0.3"}
2021-02-20T11:38:39.1324057Z synopsis      SATySFi package for drawing rectangular diagrams
2021-02-20T11:38:39.1325065Z description   Non-Commutative Squares (NCSq) is a SATySFi package for drawing rectangular diagrams.
2021-02-20T11:38:39.1325909Z               This package provides documentation for the package.
2021-02-20T11:38:39.1326758Z               This requires Satyrographos to install. See https://github.com/na4zagin3/satyrographos.

The job failed because satysfi-matrix is missing.

2021-02-20T11:39:07.6644229Z + /home/runner/.opam/opam-init/hooks/sandbox.sh "build" "satyrographos" "opam" "build" "-name" "ncsq-doc" "-prefix" "/home/runner/.opam/4.11.1" "-script" "/home/runner/.opam/4.11.1/.opam-switch/build/satysfi-ncsq-doc.2.0.0/Satyristes" (CWD=/home/runner/.opam/4.11.1/.opam-switch/build/satysfi-ncsq-doc.2.0.0)
2021-02-20T11:39:07.6664589Z [ERROR] The compilation of satysfi-ncsq-doc failed at "/home/runner/.opam/opam-init/hooks/sandbox.sh build satyrographos opam build -name ncsq-doc -prefix /home/runner/.opam/4.11.1 -script /home/runner/.opam/4.11.1/.opam-switch/build/satysfi-ncsq-doc.2.0.0/Satyristes".
2021-02-20T11:39:07.6665905Z 00:27.531  PARALLEL                        Job 504295597 finished
2021-02-20T11:39:07.7030267Z - ! [Error] package file not found:
2021-02-20T11:39:07.7030790Z -       matrix/matrix
2021-02-20T11:39:07.7031276Z -     candidate paths:
2021-02-20T11:39:07.7032115Z -       /tmp/Satyrographos4c816cbuild/satysfi/local/packages/matrix/matrix.satyh

Here is the Error report

2021-02-20T11:39:07.8774558Z <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
2021-02-20T11:39:07.8775325Z ┌─ The following actions failed
2021-02-20T11:39:07.8776072Z │ λ build satysfi-ncsq-doc 2.0.0
2021-02-20T11:39:07.8776715Z └─ 
2021-02-20T11:39:07.8777422Z ┌─ The following changes have been performed
2021-02-20T11:39:07.8778246Z │ ⊘ remove    satysfi-ncsq-doc                 2.0.0
2021-02-20T11:39:07.8779143Z │ ↻ recompile satysfi-class-exdesign           0.2
2021-02-20T11:39:07.8780127Z │ ↻ recompile satysfi-class-exdesign-doc       0.2
2021-02-20T11:39:07.8781186Z │ ↻ recompile satysfi-class-mdbook-satysfi     0.2.0
2021-02-20T11:39:07.8782528Z │ ↻ recompile satysfi-class-mdbook-satysfi-doc 0.2.0
2021-02-20T11:39:07.8783654Z │ ↻ recompile satysfi-class-slydifi-doc        0.2.0
2021-02-20T11:39:07.8784592Z │ ↻ recompile satysfi-karnaugh                 0.0.1
2021-02-20T11:39:07.8785466Z │ ↻ recompile satysfi-karnaugh-doc             0.0.1
2021-02-20T11:39:07.8786386Z │ ↻ recompile satysfi-make-markdown            0.1.0
2021-02-20T11:39:07.8787440Z │ ↻ recompile satysfi-matrix                   0.0.1+dev2019.10.15
2021-02-20T11:39:07.8788403Z │ ↻ recompile satysfi-matrix-doc               0.0.1+dev2019.10.15
2021-02-20T11:39:07.8789333Z │ ↻ recompile satysfi-texlogo-doc              0.1.1
2021-02-20T11:39:07.8790223Z │ ↗ upgrade   satysfi-easytable                1.0.0 to 1.1.1
2021-02-20T11:39:07.8791140Z │ ↗ upgrade   satysfi-easytable-doc            1.0.0 to 1.1.1
2021-02-20T11:39:07.8792031Z │ ↗ upgrade   satysfi-make-html                0.1.0 to 0.1.1
2021-02-20T11:39:07.8792699Z └─ 

Here shows a CUDF entry for satysfi-ncsq-doc.2.0.0. It lacks the dependency on satysfi-matrix.

2021-02-20T11:39:09.1979730Z 
2021-02-20T11:39:09.1980204Z package: satysfi-ncsq-doc
2021-02-20T11:39:09.1980610Z version: 5
2021-02-20T11:39:09.1981405Z depends: satyrographos >= 2 , satyrographos < 10 , satysfi-ncsq = 5 , satysfi-easytable >= 1
2021-02-20T11:39:09.1982344Z conflicts: satysfi-ncsq-doc
2021-02-20T11:39:09.1982777Z installed: true
2021-02-20T11:39:09.1983250Z version-lag: 1
2021-02-20T11:39:09.1983798Z opam-name: satysfi-ncsq-doc
2021-02-20T11:39:09.1984348Z opam-version: 2.0.0
2021-02-20T11:39:09.1984601Z 

Satyrographos needs to

• Show more meaningful messages to debug the problem; and
• Be tolerant of broken dependencies when they are not used by the currently chosen libraries.