aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Hinder <ian.hinder@aei.mpg.de>2012-02-02 02:50:25 -0600
committerIan Hinder <ian.hinder@aei.mpg.de>2012-02-02 02:50:25 -0600
commit6ea7ef3015e1ed2dbf56853a7092d098d1610395 (patch)
treee2385c0ca4836d221daad70fdef87b5e97944d15
parentd1a49afad657a207b9ca298ad1277c29cc633baf (diff)
Kranc.m: Add device symbols
-rw-r--r--Tools/CodeGen/Kranc.m4
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/CodeGen/Kranc.m b/Tools/CodeGen/Kranc.m
index c14d968..633811e 100644
--- a/Tools/CodeGen/Kranc.m
+++ b/Tools/CodeGen/Kranc.m
@@ -83,6 +83,10 @@ ThornOptions =
UseJacobian -> False,
UseCaKernel -> False};
+ExecuteOn;
+Device;
+Host;
+
(* Thorn.m *)
{AccumulatorBase, ThornImplementation, Name, Type, Extend, Default,