on master help sign in
Extended parseFlags
7fedc76Norbert Melzer
src/Idris/CmdOptions.hs+1
@@ -89,6 +89,7 @@ parseFlags = many $
89 <|> flag' NoCoverage (long "nocoverage")
89 <|> flag' NoCoverage (long "nocoverage")
90 <|> flag' ErrContext (long "errorcontext")
90 <|> flag' ErrContext (long "errorcontext")
91 <|> flag' ShowLibs (long "link" <> help "Display link flags")
91 <|> flag' ShowLibs (long "link" <> help "Display link flags")
92+ <|> flag' ShowPkgs (long "listlibs" <> help "Display installed libraries")
92 <|> flag' ShowLibdir (long "libdir" <> help "Display library directory")
93 <|> flag' ShowLibdir (long "libdir" <> help "Display library directory")
93 <|> flag' ShowIncs (long "include" <> help "Display the includes flags")
94 <|> flag' ShowIncs (long "include" <> help "Display the includes flags")
94 <|> flag' Verbose (short 'V' <> long "verbose" <> help "Loud verbosity")
95 <|> flag' Verbose (short 'V' <> long "verbose" <> help "Loud verbosity")