| 
									
										
										
										
											2020-03-19 12:36:30 +01:00
										 |  |  | #!/usr/bin/env python3 | 
					
						
							| 
									
										
										
										
											2018-02-09 16:48:04 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-06-20 18:03:37 +01:00
										 |  |  | # Execute this script any time you import a new copy of Clara into the third_party area | 
					
						
							|  |  |  | import os | 
					
						
							|  |  |  | import sys | 
					
						
							|  |  |  | import embed | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | rootPath = os.path.dirname(os.path.realpath( os.path.dirname(sys.argv[0]))) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | filename = os.path.join( rootPath, "third_party", "clara.hpp" ) | 
					
						
							|  |  |  | outfilename = os.path.join( rootPath, "include", "external", "clara.hpp" ) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | # Mapping of pre-processor identifiers | 
					
						
							|  |  |  | idMap = { | 
					
						
							|  |  |  |    "CLARA_HPP_INCLUDED": "CATCH_CLARA_HPP_INCLUDED", | 
					
						
							|  |  |  |     "CLARA_CONFIG_CONSOLE_WIDTH": "CATCH_CLARA_CONFIG_CONSOLE_WIDTH", | 
					
						
							|  |  |  |     "CLARA_TEXTFLOW_HPP_INCLUDED": "CATCH_CLARA_TEXTFLOW_HPP_INCLUDED", | 
					
						
							| 
									
										
										
										
											2017-06-23 09:08:44 +01:00
										 |  |  |     "CLARA_TEXTFLOW_CONFIG_CONSOLE_WIDTH": "CATCH_CLARA_TEXTFLOW_CONFIG_CONSOLE_WIDTH", | 
					
						
							| 
									
										
										
										
											2017-09-25 15:11:12 -07:00
										 |  |  |     "CLARA_PLATFORM_WINDOWS": "CATCH_PLATFORM_WINDOWS" | 
					
						
							| 
									
										
										
										
											2017-06-20 18:03:37 +01:00
										 |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | # outer namespace to add | 
					
						
							|  |  |  | outerNamespace = { "clara": ("Catch", "clara") } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | mapper = embed.LineMapper( idMap, outerNamespace ) | 
					
						
							|  |  |  | mapper.mapFile( filename, outfilename ) |