From 1c90b43172d14a8132711f8ec252de7b936ea6e1 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Fri, 17 Dec 2021 17:38:33 +0100
Subject: some simple graph algorithms

this just checks for maps from which it's impossible to reach
`main.json`, and then gives a warning. Properly it should check if these
maps have an exit to outside the repository (in which case it may give a
suggestion, and an error otherwise).

Also, redid some of the CheckDir code. No idea what that mess was, but
it's marginally nicer now.
---
 walint.cabal | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'walint.cabal')

diff --git a/walint.cabal b/walint.cabal
index b1c06ca..98ba654 100644
--- a/walint.cabal
+++ b/walint.cabal
@@ -40,6 +40,7 @@ library
         LintConfig
         Badges
         LayerData
+        Dirgraph
     build-depends:    base,
                       aeson,
                       bytestring,
@@ -52,7 +53,8 @@ library
                       filepath,
                       getopt-generics,
                       regex-tdfa,
-                      extra
+                      extra,
+                      witherable
 
 -- TODO: move more stuff into lib, these dependencies are silly
 executable walint
-- 
cgit v1.2.3