From e461c05a75995c6f34379d011513b659e8bad0b1 Mon Sep 17 00:00:00 2001
From: Jesper Cockx <jesper@sikanda.be>
Date: Tue, 24 Sep 2024 16:43:47 +0200
Subject: [PATCH] Remove (unmaintained) Smuggler tool from cabal file

---
 agda2hs.cabal | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/agda2hs.cabal b/agda2hs.cabal
index 8e0acc5f..262c2729 100644
--- a/agda2hs.cabal
+++ b/agda2hs.cabal
@@ -22,20 +22,7 @@ source-repository head
   type:     git
   location: https://github.com/agda/agda2hs.git
 
-flag smuggler2
-  description: Rewrite sources to cleanup imports, and create explicit exports
-  default:     False
-  manual:      True
-
-common smuggler-options
-  if flag(smuggler2)
-    ghc-options: -fplugin=Smuggler2.Plugin
-                 -fplugin-opt=Smuggler2.Plugin:MinimiseImports
-                 -fplugin-opt=Smuggler2.Plugin:NoExportProcessing
-    build-depends: smuggler2 >= 0.3 && < 0.4
-
 executable agda2hs
-  import:              smuggler-options
   hs-source-dirs:      src
   main-is:             Main.hs
   other-modules:       Agda2Hs.AgdaUtils,