-
Mathieu Giraud authored
Use lib/json.hpp only when needed, and use lib/json_fwd.h elsewhere. Yield a 40% speedup in build time on at least one platform. See #3307.
4d7f1a27
[A venir] Mise en place de quotas sur nos instances gitlab. Pour plus d'information lire: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
Use lib/json.hpp only when needed, and use lib/json_fwd.h elsewhere. Yield a 40% speedup in build time on at least one platform. See #3307.