Fix and simplify build of static libraries.#3

asarhaddon wants to merge 1 commit intoAdaCore:masterAdaCore/gprconfig_kb:masterfrom

asarhaddon:simplify-build-static-libsasarhaddon/gprconfig_kb:simplify-build-static-libsCopy head branch name to clipboard