wip

IntersectMBO · Jul 9, 2024 · 9cd3457 · 9cd3457
1 parent 4da5454
commit 9cd3457
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/plutus-metatheory/Setup.hs b/plutus-metatheory/Setup.hs
@@ -76,11 +76,17 @@ main = D.defaultMainWithHooks userHooks
   where
     userHooks :: D.UserHooks
     userHooks = D.simpleUserHooks { D.hookedPreProcessors = preProcessors }
-
+#if MIN_VERSION_Cabal(3,12,1)
     preProcessors :: [D.PPSuffixHandler]
     preProcessors = [("md", agdaPreProcessor),
                      ("lagda",agdaPreProcessor),
                      ("lagda.md",agdaPreProcessor)]
+#else
+    preProcessors :: [D.PPSuffixHandler]
+    preProcessors = [(D.Suffix "md", agdaPreProcessor),
+                     (D.Suffix "lagda",agdaPreProcessor),
+                     (D.Suffix "lagda.md",agdaPreProcessor)]
+#endif
 
 agdaPreProcessor :: D.BuildInfo -> D.LocalBuildInfo -> D.ComponentLocalBuildInfo -> D.PreProcessor
 agdaPreProcessor _ lbi _ = D.PreProcessor