Allow ipkg sourcedir to have deep location

idris-lang#4618
shmish111 · Dec 16, 2018 · 0940402 · 0940402
1 parent f76dac0
commit 0940402
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Idris/Package/Parser.hs b/src/Idris/Package/Parser.hs
@@ -122,7 +122,7 @@ pOptions = do
 pClause :: PParser ()
 pClause = clause "executable" filename (\st v -> st { execout = Just v })
       <|> clause "main" (iName []) (\st v -> st { idris_main = Just v })
-      <|> clause "sourcedir" identifier (\st v -> st { sourcedir = v })
+      <|> clause "sourcedir" stringLiteral (\st v -> st { sourcedir = v })
       <|> clause "opts" pOptions (\st v -> st { idris_opts = v ++ idris_opts st })
       <|> clause "pkgs" (commaSep (pPkgName <* someSpace)) (\st ps ->
              let pkgs = pureArgParser $ concatMap (\x -> ["-p", show x]) ps