@@ -34,7 +34,9 @@ fixGtkBuilds drv = drv & dependencies . pkgconfig %~ Set.filter (not . collidesW
3434
3535hooks :: [(Dependency, Derivation -> Derivation)]
3636hooks =
37− [ ("Agda", set (executableDepends . tool . contains (pkg "emacs")) True . set phaseOverrides agdaPostInstall)
37+ [ ("alex", set (executableDepends . tool . contains (bind "self.happy")) True)
38+ , ("alex < 3.1.5", set (testDepends . tool . contains (pkg "perl")) True)
39+ , ("Agda", set (executableDepends . tool . contains (pkg "emacs")) True . set phaseOverrides agdaPostInstall)
3840 , ("bindings-GLFW", over (libraryDepends . system) (Set.union (Set.fromList [bind "pkgs.xorg.libXext", bind "pkgs.xorg.libXfixes"])))
3941 , ("cabal-install", set phaseOverrides cabalInstallPostInstall)
4042 , ("darcs", set phaseOverrides darcsInstallPostInstall)