| #Manually synchronized external libraries | |
| add_subdirectory(libpugixml) | |
| add_subdirectory(libcatch) | |
| #External libraries synchronized with 'git subtree' | |
| add_subdirectory(libargparse) | |
| add_subdirectory(libsdcparse) | |
| add_subdirectory(libblifparse) | |
| add_subdirectory(libtatum) |