Merge pull request #4619 from shmish111/sourcedir-fix

Allow ipkg sourcedir to have deep location
idris-lang · Dec 20, 2018 · 7855f86 · 7855f86
2 parents f76dac0 + 0e6d7ed
commit 7855f86
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" (identifier <|> 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