| 743 | } |
| 744 | |
| 745 | void add_function(const std::string &name, const std::string &source) |
| 746 | { |
| 747 | if(m_external_function_names.count(name)){ |
| 748 | return; |
| 749 | } |
| 750 | |
| 751 | m_external_function_names.insert(name); |
| 752 | m_external_function_source << source << "\n"; |
| 753 | } |
| 754 | |
| 755 | void add_function(const std::string &name, |
| 756 | const std::string &source, |