@@ -122,7 +122,7 @@ pOptions = do
122pClause :: PParser ()
122pClause :: PParser ()
123pClause = clause "executable" filename (\st v -> st { execout = Just v })
123pClause = clause "executable" filename (\st v -> st { execout = Just v })
124 <|> clause "main" (iName []) (\st v -> st { idris_main = Just v })
124 <|> clause "main" (iName []) (\st v -> st { idris_main = Just v })
125− <|> clause "sourcedir" stringLiteral (\st v -> st { sourcedir = v })
125+ <|> clause "sourcedir" (identifier <|> stringLiteral) (\st v -> st { sourcedir = v })
126 <|> clause "opts" pOptions (\st v -> st { idris_opts = v ++ idris_opts st })
126 <|> clause "opts" pOptions (\st v -> st { idris_opts = v ++ idris_opts st })
127 <|> clause "pkgs" (commaSep (pPkgName <* someSpace)) (\st ps ->
127 <|> clause "pkgs" (commaSep (pPkgName <* someSpace)) (\st ps ->
128 let pkgs = pureArgParser $ concatMap (\x -> ["-p", show x]) ps
128 let pkgs = pureArgParser $ concatMap (\x -> ["-p", show x]) ps