Release agda2hs 1.2

agda · Dec 11, 2023 · b269164 · b269164
1 parent 707c9a6
commit b269164
Showing 1 changed file with 0 additions and 14 deletions.
diff --git 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,
@@ -80,4 +67,3 @@ executable agda2hs
                        MultiWayIf
                        TupleSections
                        ScopedTypeVariables
-  ghc-options:         -Werror