Branch: refs/heads/master Home: https://github.com/ianhinder/Kranc Commit: d7c800dc2011c2c3fa93ae6709ce0b1c21ac07ab https://github.com/ianhinder/Kranc/commit/d7c800dc2011c2c3fa93ae6709ce0b1c21... Author: Ian Hinder ian.hinder@aei.mpg.de Date: 2014-03-01 (Sat, 01 Mar 2014)
Changed paths: M Tools/CodeGen/CodeGen.m
Log Message: ----------- CodeGen.m: Sow the names of all files generated
Commit: e1dee7f2fdb30bd78f695397d7699aa400892a58 https://github.com/ianhinder/Kranc/commit/e1dee7f2fdb30bd78f695397d7699aa400... Author: Ian Hinder ian.hinder@aei.mpg.de Date: 2014-03-01 (Sat, 01 Mar 2014)
Changed paths: A Tests/Data/MergeFiles/a.txt A Tests/Data/MergeFiles/b.txt A Tests/Data/MergeFiles/dir/c.txt A Tests/Data/MergeFiles/interface.ccl M Tests/Kranc.mt M Tools/CodeGen/Kranc.m M Tools/CodeGen/KrancThorn.m M Tools/CodeGen/Thorn.m
Log Message: ----------- Implement MergeFiles option
Pass MergeFiles -> dir to CreateThorn and all files in dir will be added to the generated thorn. Files with the same names as those generated by Kranc are appended to the generated version.
Compare: https://github.com/ianhinder/Kranc/compare/3df18317c1ae...e1dee7f2fdb3
commits@lists.einsteintoolkit.org