aboutsummaryrefslogtreecommitdiff
path: root/Tools
diff options
context:
space:
mode:
Diffstat (limited to 'Tools')
-rw-r--r--Tools/CodeGen/KrancScript.m3
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/CodeGen/KrancScript.m b/Tools/CodeGen/KrancScript.m
index 6ba2536..810088f 100644
--- a/Tools/CodeGen/KrancScript.m
+++ b/Tools/CodeGen/KrancScript.m
@@ -168,6 +168,9 @@ process["uname"[n_]] := n;
process["option"["inherit"[imps__]]] :=
{InheritedImplementations -> Map[process, {imps}]};
+process["option"["implement"[imp_]]] :=
+ {Implementation -> process[imp]};
+
flags = {"loopcontrol"->UseLoopControl,"vectors"->UseVectors,"opencl"->UseOpenCL,
"jacobian"->UseJacobian, "cse" -> CSE};