diff --git a/python/dune/xt/cmake.py b/python/dune/xt/cmake.py index e188ac6688b5bd6f90f5c729d5e6510d5534f099..840c2635f14a1b7cbf3ef314f7de65ea9d447110 100644 --- a/python/dune/xt/cmake.py +++ b/python/dune/xt/cmake.py @@ -18,7 +18,7 @@ def parse_cache(filepath): import pyparsing as p EQ = p.Literal('=').suppress() DP = p.Literal(':').suppress() - token = p.Word(p.alphanums+'_- .') + token = p.Word(p.alphanums+'/_- .') line = p.Group(token('key') + DP + token('type') + EQ + p.restOfLine('value')) line.ignore(p.pythonStyleComment) line.ignore(p.dblSlashComment)