git.iko.soy/typeable/cabal2nix
on master help sign in
Configure Idris hook so that it works with versions prior to 0.9.9, too.
commitecd666213312262bf9f1c62225141be31576336d authorPeter Simons <simons@cryp.to> dateSun 11 Aug 2013, 19:10 (13 years ago) parentb9340c4
1 file changed+3−1
compare with master
unifiedsplit
src/Cabal2Nix/PostProcess.hs+3−1
src/Cabal2Nix/PostProcess.hs+3−1
@@ -33,7 +33,9 @@ postProcess deriv@(MkDerivation {..})
3333 | pname == "highlighting-kate"= highlightingKatePostProcessing deriv
3434 | pname == "hmatrix" = deriv { extraLibs = "gsl":"liblapack":"blas":extraLibs }
3535 | pname == "hspec" = deriv { doCheck = False }
36− | pname == "idris" = deriv { buildTools = "happy":buildTools, extraLibs = "gmp":"boehmgc":extraLibs }
36+ | pname == "idris" = if version < Version [0,9,9] []
37+ then deriv { buildTools = "happy":buildTools, extraLibs = "gmp":extraLibs }
38+ else deriv { buildTools = "happy":buildTools, extraLibs = "gmp":"boehmgc":extraLibs }
3739 | pname == "language-c-quote" = deriv { buildTools = "alex":"happy":buildTools }
3840 | pname == "language-java" = deriv { buildDepends = "syb":buildDepends }
3941 | pname == "leksah-server" = deriv { buildDepends = "process-leksah":buildDepends }