Commit 3ab7782
committed
Fix dependencies of utop dev tool
This fixes a bug in computing dependencies of a dev tool package when
using dune package management. It only affected the utop dev tool. This
change also adds an integration test for the utop dev tool. The test is
a github action workflow rather than a cram test so that the real utop
package can be tested, since the utop rules have some logic which is
specific to the utop package and thus is non-trivial to accurately test
with a mock utop package as we do with other dev tool tests.
Signed-off-by: Stephen Sherratt <[email protected]>1 parent 605f300 commit 3ab7782
2 files changed
+33
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
388 | 388 | | |
389 | 389 | | |
390 | 390 | | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
| 396 | + | |
| 397 | + | |
| 398 | + | |
| 399 | + | |
| 400 | + | |
| 401 | + | |
| 402 | + | |
| 403 | + | |
| 404 | + | |
| 405 | + | |
| 406 | + | |
| 407 | + | |
| 408 | + | |
| 409 | + | |
| 410 | + | |
| 411 | + | |
| 412 | + | |
| 413 | + | |
| 414 | + | |
| 415 | + | |
| 416 | + | |
| 417 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2418 | 2418 | | |
2419 | 2419 | | |
2420 | 2420 | | |
2421 | | - | |
2422 | | - | |
2423 | | - | |
| 2421 | + | |
| 2422 | + | |
| 2423 | + | |
| 2424 | + | |
| 2425 | + | |
| 2426 | + | |
2424 | 2427 | | |
2425 | 2428 | | |
2426 | 2429 | | |
| |||
0 commit comments