on master help sign in
Extended parseFlags
commit7fedc7680a6aab49f262dba7cfa7653a90c8e3fa authorNorbert Melzer <timmelzer@gmail.com> dateFri 2 Jan 2015, 14:19 (12 years ago) parentec2b304
1 file changed+1
src/Idris/CmdOptions.hs+1
src/Idris/CmdOptions.hs+1
@@ -89,6 +89,7 @@ parseFlags = many $
8989 <|> flag' NoCoverage (long "nocoverage")
9090 <|> flag' ErrContext (long "errorcontext")
9191 <|> flag' ShowLibs (long "link" <> help "Display link flags")
92+ <|> flag' ShowPkgs (long "listlibs" <> help "Display installed libraries")
9293 <|> flag' ShowLibdir (long "libdir" <> help "Display library directory")
9394 <|> flag' ShowIncs (long "include" <> help "Display the includes flags")
9495 <|> flag' Verbose (short 'V' <> long "verbose" <> help "Loud verbosity")