Moves the board projects files into their corresponding board directory
Changes the install_dependency.py script to not only download but also build and install the run-times
Updates the continuous builders scripts to use GNAT GPL 2017
Uses the new GPRbuild attribute: Create_Missing_Dirs
Updates the doc for those changes
@pat-rogers, you might want to have a look at 491448ecb283fc18a1210a72a29cde52f11fe39b. I don't know if something change in the compiler with regards to contracts on protected objects.
This PR:
autoprj#182 branch on master@pat-rogers, you might want to have a look at 491448ecb283fc18a1210a72a29cde52f11fe39b. I don't know if something change in the compiler with regards to contracts on protected objects.