From 7b95458e023195b6c303052dba8abca4dc0a76bb Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Tue, 17 Jan 2017 14:04:58 +0100
Subject: [PATCH] [bugfix] Write UFL variants to the debug script dumped by ufl

---
 python/dune/perftool/compile.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/python/dune/perftool/compile.py b/python/dune/perftool/compile.py
index 86303839..52f707ce 100644
--- a/python/dune/perftool/compile.py
+++ b/python/dune/perftool/compile.py
@@ -68,7 +68,10 @@ def read_ufl(uflfile):
         name = "{}_debug".format(name)
         pyname = "{}.py".format(name)
         print(pyname)
-        pycode = "#!/usr/bin/env python\nfrom dune.perftool.ufl.execution import *\nset_level(DEBUG)\n" + uflcode
+        pycode = "#!/usr/bin/env python\nfrom dune.perftool.ufl.execution import *\nset_level(DEBUG)\n"
+        for k, v in ini.get("formcompiler.ufl_variants", {}).items():
+            pycode = pycode + "{} = {}\n".format(k, repr(type_guessing(v)))
+        pycode = pycode + uflcode
         with file(pyname, "w") as f:
             f.write(pycode)
         raise SyntaxError("Not a valid ufl file, dumped a debug script: {}".format(pyname))
-- 
GitLab