Makefile.common updates for CBMC

awslabs / aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

Apache License 2.0

263 stars 159 forks source link

Closed tautschnig closed 3 months ago

tautschnig commented 3 months ago

Description of changes:

This picks up various build rule updates and cleanup that can be done with CBMC v6+ as published in CBMC starter kit.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.