diff --git a/.gitmodules b/.gitmodules index 963d3b06e5..bfe610024b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -713,3 +713,13 @@ url = ../parameter_python.git fetchRecurseSubmodules = on-demand branch = . +[submodule "headers"] + path = libs/headers + url = ../headers.git + fetchRecurseSubmodules = on-demand + branch = . +[submodule "boost_install"] + path = tools/boost_install + url = ../boost_install.git + fetchRecurseSubmodules = on-demand + branch = . diff --git a/libs/headers b/libs/headers new file mode 160000 index 0000000000..44b9e3e5a0 --- /dev/null +++ b/libs/headers @@ -0,0 +1 @@ +Subproject commit 44b9e3e5a0cae1b49a335a3afac53ed1a39768ad diff --git a/tools/boost_install b/tools/boost_install new file mode 160000 index 0000000000..dbc84a30e7 --- /dev/null +++ b/tools/boost_install @@ -0,0 +1 @@ +Subproject commit dbc84a30e789a9fcc5ff513f578677408aebfbe8