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