Extended parseFlags

NobbZ · Jan 2, 2015 · 7fedc76 · 7fedc76
1 parent ec2b304
commit 7fedc76
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Idris/CmdOptions.hs b/src/Idris/CmdOptions.hs
@@ -89,6 +89,7 @@ parseFlags = many $
  <|> flag' NoCoverage (long "nocoverage")
  <|> flag' ErrContext (long "errorcontext")
  <|> flag' ShowLibs (long "link" <> help "Display link flags")
+ <|> flag' ShowPkgs (long "listlibs" <> help "Display installed libraries")
  <|> flag' ShowLibdir (long "libdir" <> help "Display library directory")
  <|> flag' ShowIncs (long "include" <> help "Display the includes flags")
  <|> flag' Verbose (short 'V' <> long "verbose" <> help "Loud verbosity")