überSpark: Add compiler bridge for Compcert v3.2 through v3.7 (amd64/x86_32)

This task will add Compcert compiler bridges for x86_32 architecture and amd64 container within überSpark.

The versions of Compcert this task will add will be v3.1 through v3.7
See http://compcert.inria.fr/release/ for the releases. Can also be installed via opam

The bridges themselves will be in the following locations within the uberspark.git repository:

src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.2/
src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.3/
src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.4/
src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.5/
src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.6/
src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.7/

See

src-nextgen/bridges/cc-bridge/container/amd64/x86_32/generic/compcert/v3.1/

for an example of how this is done for the compcert v3.1 compiler.

Also useful is the uberspark manifest reference related to compiler bridges ( uberspark-bridge-cc ):
https://docs.uberspark.org/nextgen-toolkit/reference/manifest.html#uberspark-bridge-cc-manifest-node

Will do v3.7 next week.

CompCert v3.7 added to PR.

Hey @daveman1010221,

Sorry for the delay on this PR. I have left some review comments for you to address. The manifest node types in the uberspark.json for all the bridges v3.2 through v3.7 should be:

"manifest_node_types" : [ "uberspark-bridge-cc" ]

Would be great if you can make those changes; I can merge the PR thereafter.

Thanks!

Good morning, Amit. PR updated. Thanks.

PR merged. Closing topic thread. Thanks @daveman1010221