Support compiling dependencies from source#7

Merged

chapulina merged 14 commits intomasterfrom ign_from_src

May 13, 2020

+24-2

Commits on May 1, 2020

Commits on May 8, 2020

Commits on May 11, 2020

Commits on May 12, 2020