diff options
author | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-02-02 02:50:25 -0600 |
---|---|---|
committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-02-02 02:50:25 -0600 |
commit | 6ea7ef3015e1ed2dbf56853a7092d098d1610395 (patch) | |
tree | e2385c0ca4836d221daad70fdef87b5e97944d15 | |
parent | d1a49afad657a207b9ca298ad1277c29cc633baf (diff) |
Kranc.m: Add device symbols
-rw-r--r-- | Tools/CodeGen/Kranc.m | 4 |
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, |