From c026c9d60c1fe96a254435602e1903419debc280 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Mon, 2 Dec 2024 14:07:58 +0100 Subject: [PATCH] Fix test suite coqdep outputs --- .../misc/coqdep-require-filter-categories/stdout.ref | 12 ++++++------ test-suite/misc/deps/DistinctRootDeps.out | 2 +- test-suite/misc/deps/Theory1Deps.out | 2 +- test-suite/misc/deps/Theory2Deps.out | 2 +- test-suite/misc/deps/Theory3Deps.out | 2 +- test-suite/misc/deps/deps-from.out | 4 ++-- test-suite/misc/deps/deps.out | 2 +- 7 files changed, 13 insertions(+), 13 deletions(-) diff --git a/test-suite/misc/coqdep-require-filter-categories/stdout.ref b/test-suite/misc/coqdep-require-filter-categories/stdout.ref index 03bfcbf5e140..c1c9de761ed6 100644 --- a/test-suite/misc/coqdep-require-filter-categories/stdout.ref +++ b/test-suite/misc/coqdep-require-filter-categories/stdout.ref @@ -1,7 +1,7 @@ fA.vo fA.glob fA.v.beautified fA.required_vo: fA.v @COQWORKER@ -fB.vo fB.glob fB.v.beautified fB.required_vo: fB.v @COQWORKER@ fA.vo -fC.vo fC.glob fC.v.beautified fC.required_vo: fC.v @COQWORKER@ fB.vo -fD.vo fD.glob fD.v.beautified fD.required_vo: fD.v @COQWORKER@ fA.vo -fE.vo fE.glob fE.v.beautified fE.required_vo: fE.v @COQWORKER@ fA.vo -fF.vo fF.glob fF.v.beautified fF.required_vo: fF.v @COQWORKER@ fA.vo -fG.vo fG.glob fG.v.beautified fG.required_vo: fG.v @COQWORKER@ fA.vo +fB.vo fB.glob fB.v.beautified fB.required_vo: fB.v fA.vo @COQWORKER@ +fC.vo fC.glob fC.v.beautified fC.required_vo: fC.v fB.vo @COQWORKER@ +fD.vo fD.glob fD.v.beautified fD.required_vo: fD.v fA.vo @COQWORKER@ +fE.vo fE.glob fE.v.beautified fE.required_vo: fE.v fA.vo @COQWORKER@ +fF.vo fF.glob fF.v.beautified fF.required_vo: fF.v fA.vo @COQWORKER@ +fG.vo fG.glob fG.v.beautified fG.required_vo: fG.v fA.vo @COQWORKER@ diff --git a/test-suite/misc/deps/DistinctRootDeps.out b/test-suite/misc/deps/DistinctRootDeps.out index 1b92707a9896..8f55d143b4e9 100644 --- a/test-suite/misc/deps/DistinctRootDeps.out +++ b/test-suite/misc/deps/DistinctRootDeps.out @@ -1,3 +1,3 @@ DistinctRoot/A/File1.vo DistinctRoot/A/File1.glob DistinctRoot/A/File1.v.beautified DistinctRoot/A/File1.required_vo: DistinctRoot/A/File1.v @COQWORKER@ DistinctRoot/B/File1.vo DistinctRoot/B/File1.glob DistinctRoot/B/File1.v.beautified DistinctRoot/B/File1.required_vo: DistinctRoot/B/File1.v @COQWORKER@ -DistinctRoot/File2.vo DistinctRoot/File2.glob DistinctRoot/File2.v.beautified DistinctRoot/File2.required_vo: DistinctRoot/File2.v @COQWORKER@ DistinctRoot/B/File1.vo +DistinctRoot/File2.vo DistinctRoot/File2.glob DistinctRoot/File2.v.beautified DistinctRoot/File2.required_vo: DistinctRoot/File2.v DistinctRoot/B/File1.vo @COQWORKER@ diff --git a/test-suite/misc/deps/Theory1Deps.out b/test-suite/misc/deps/Theory1Deps.out index a323f3f381ae..4e18c6f907c0 100644 --- a/test-suite/misc/deps/Theory1Deps.out +++ b/test-suite/misc/deps/Theory1Deps.out @@ -1,5 +1,5 @@ Theory1/File1.vo Theory1/File1.glob Theory1/File1.v.beautified Theory1/File1.required_vo: Theory1/File1.v @COQWORKER@ -Theory1/File2.vo Theory1/File2.glob Theory1/File2.v.beautified Theory1/File2.required_vo: Theory1/File2.v @COQWORKER@ Theory1/File1.vo +Theory1/File2.vo Theory1/File2.glob Theory1/File2.v.beautified Theory1/File2.required_vo: Theory1/File2.v Theory1/File1.vo @COQWORKER@ Theory1/Subtheory1/File1.vo Theory1/Subtheory1/File1.glob Theory1/Subtheory1/File1.v.beautified Theory1/Subtheory1/File1.required_vo: Theory1/Subtheory1/File1.v @COQWORKER@ Theory1/Subtheory1/Subsubtheory1/File1.vo Theory1/Subtheory1/Subsubtheory1/File1.glob Theory1/Subtheory1/Subsubtheory1/File1.v.beautified Theory1/Subtheory1/Subsubtheory1/File1.required_vo: Theory1/Subtheory1/Subsubtheory1/File1.v @COQWORKER@ Theory1/Subtheory1/Subsubtheory2/File1.vo Theory1/Subtheory1/Subsubtheory2/File1.glob Theory1/Subtheory1/Subsubtheory2/File1.v.beautified Theory1/Subtheory1/Subsubtheory2/File1.required_vo: Theory1/Subtheory1/Subsubtheory2/File1.v @COQWORKER@ diff --git a/test-suite/misc/deps/Theory2Deps.out b/test-suite/misc/deps/Theory2Deps.out index cfb3d9017e02..cb9791f2f848 100644 --- a/test-suite/misc/deps/Theory2Deps.out +++ b/test-suite/misc/deps/Theory2Deps.out @@ -1,4 +1,4 @@ -Theory2/File2.vo Theory2/File2.glob Theory2/File2.v.beautified Theory2/File2.required_vo: Theory2/File2.v @COQWORKER@ Theory2/Subtheory1/File1.vo Theory2/Subtheory1/Subsubtheory1/File1.vo Theory2/Subtheory1/Subsubtheory2/File1.vo Theory2/Subtheory2/File1.vo Theory2/Subtheory2/Subsubtheory1/File1.vo Theory2/Subtheory2/Subsubtheory2/File1.vo +Theory2/File2.vo Theory2/File2.glob Theory2/File2.v.beautified Theory2/File2.required_vo: Theory2/File2.v Theory2/Subtheory1/File1.vo Theory2/Subtheory1/Subsubtheory1/File1.vo Theory2/Subtheory1/Subsubtheory2/File1.vo Theory2/Subtheory2/File1.vo Theory2/Subtheory2/Subsubtheory1/File1.vo Theory2/Subtheory2/Subsubtheory2/File1.vo @COQWORKER@ Theory2/Subtheory1/File1.vo Theory2/Subtheory1/File1.glob Theory2/Subtheory1/File1.v.beautified Theory2/Subtheory1/File1.required_vo: Theory2/Subtheory1/File1.v @COQWORKER@ Theory2/Subtheory1/Subsubtheory1/File1.vo Theory2/Subtheory1/Subsubtheory1/File1.glob Theory2/Subtheory1/Subsubtheory1/File1.v.beautified Theory2/Subtheory1/Subsubtheory1/File1.required_vo: Theory2/Subtheory1/Subsubtheory1/File1.v @COQWORKER@ Theory2/Subtheory1/Subsubtheory2/File1.vo Theory2/Subtheory1/Subsubtheory2/File1.glob Theory2/Subtheory1/Subsubtheory2/File1.v.beautified Theory2/Subtheory1/Subsubtheory2/File1.required_vo: Theory2/Subtheory1/Subsubtheory2/File1.v @COQWORKER@ diff --git a/test-suite/misc/deps/Theory3Deps.out b/test-suite/misc/deps/Theory3Deps.out index de81821e16dd..090012603bfd 100644 --- a/test-suite/misc/deps/Theory3Deps.out +++ b/test-suite/misc/deps/Theory3Deps.out @@ -1,4 +1,4 @@ -Theory3/File2.vo Theory3/File2.glob Theory3/File2.v.beautified Theory3/File2.required_vo: Theory3/File2.v @COQWORKER@ Theory3/Subtheory1/File1.vo Theory3/Subtheory1/Subsubtheory1/File1.vo Theory3/Subtheory1/Subsubtheory2/File1.vo Theory3/Subtheory2/File1.vo +Theory3/File2.vo Theory3/File2.glob Theory3/File2.v.beautified Theory3/File2.required_vo: Theory3/File2.v Theory3/Subtheory1/File1.vo Theory3/Subtheory1/Subsubtheory1/File1.vo Theory3/Subtheory1/Subsubtheory2/File1.vo Theory3/Subtheory2/File1.vo @COQWORKER@ Theory3/Subtheory1/File1.vo Theory3/Subtheory1/File1.glob Theory3/Subtheory1/File1.v.beautified Theory3/Subtheory1/File1.required_vo: Theory3/Subtheory1/File1.v @COQWORKER@ Theory3/Subtheory1/Subsubtheory1/File1.vo Theory3/Subtheory1/Subsubtheory1/File1.glob Theory3/Subtheory1/Subsubtheory1/File1.v.beautified Theory3/Subtheory1/Subsubtheory1/File1.required_vo: Theory3/Subtheory1/Subsubtheory1/File1.v @COQWORKER@ Theory3/Subtheory1/Subsubtheory2/File1.vo Theory3/Subtheory1/Subsubtheory2/File1.glob Theory3/Subtheory1/Subsubtheory2/File1.v.beautified Theory3/Subtheory1/Subsubtheory2/File1.required_vo: Theory3/Subtheory1/Subsubtheory2/File1.v @COQWORKER@ diff --git a/test-suite/misc/deps/deps-from.out b/test-suite/misc/deps/deps-from.out index 4df42fefb51f..fef12b9494bd 100644 --- a/test-suite/misc/deps/deps-from.out +++ b/test-suite/misc/deps/deps-from.out @@ -1,2 +1,2 @@ -misc/deps/test-from/D.vo misc/deps/test-from/D.glob misc/deps/test-from/D.v.beautified misc/deps/test-from/D.required_vo: misc/deps/test-from/D.v @COQWORKER@ misc/deps/test-from/A/C.vo -misc/deps/test-from/E.vo misc/deps/test-from/E.glob misc/deps/test-from/E.v.beautified misc/deps/test-from/E.required_vo: misc/deps/test-from/E.v @COQWORKER@ misc/deps/test-from/B/C.vo +misc/deps/test-from/D.vo misc/deps/test-from/D.glob misc/deps/test-from/D.v.beautified misc/deps/test-from/D.required_vo: misc/deps/test-from/D.v misc/deps/test-from/A/C.vo @COQWORKER@ +misc/deps/test-from/E.vo misc/deps/test-from/E.glob misc/deps/test-from/E.v.beautified misc/deps/test-from/E.required_vo: misc/deps/test-from/E.v misc/deps/test-from/B/C.vo @COQWORKER@ diff --git a/test-suite/misc/deps/deps.out b/test-suite/misc/deps/deps.out index a56e431e2016..14322e675183 100644 --- a/test-suite/misc/deps/deps.out +++ b/test-suite/misc/deps/deps.out @@ -1 +1 @@ -misc/deps/client/bar.vo misc/deps/client/bar.glob misc/deps/client/bar.v.beautified misc/deps/client/bar.required_vo: misc/deps/client/bar.v @COQWORKER@ misc/deps/client/foo.vo misc/deps/lib/foo.vo +misc/deps/client/bar.vo misc/deps/client/bar.glob misc/deps/client/bar.v.beautified misc/deps/client/bar.required_vo: misc/deps/client/bar.v misc/deps/client/foo.vo misc/deps/lib/foo.vo @COQWORKER@