Skip to content
Snippets Groups Projects
Commit a0278195 authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

nix: Unmark packages as broken

parent 1512c1b9
No related branches found
No related tags found
No related merge requests found
...@@ -34,6 +34,7 @@ let ...@@ -34,6 +34,7 @@ let
enableLibraryProfiling = false; enableLibraryProfiling = false;
enableExecutableProfiling = false; enableExecutableProfiling = false;
hyperlinkSource = false; hyperlinkSource = false;
broken = false;
configureFlags = (drv.configureFlags or []) ++ [ configureFlags = (drv.configureFlags or []) ++ [
"--ghc-options=-ddump-timings" "--ghc-options=-ddump-timings"
"--ghc-options=\"${extraHcOpts}\"" "--ghc-options=\"${extraHcOpts}\""
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment