begriffs open source - cmsis-freertos/blob - Test/CBMC/proofs/make_remove_makefiles.py

   1 #!/usr/bin/env python3
   2 #
   3 # Removing the generated Makefiles and cbmc-batch.yaml files.
   4 #
   5 # Copyright (C) 2019 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
   6 #
   7 # Permission is hereby granted, free of charge, to any person obtaining a copy
   8 # of this software and associated documentation files (the "Software"), to deal
   9 # in the Software without restriction, including without limitation the rights
  10 # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  11 # copies of the Software, and to permit persons to whom the Software is
  12 # furnished to do so, subject to the following conditions:
  13 #
  14 # The above copyright notice and this permission notice shall be included in all
  15 # copies or substantial portions of the Software.
  16 #
  17 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  18 # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  19 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL THE
  20 # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  21 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  22 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  23 # SOFTWARE.
  24
  25 import os
  26
  27 from make_cbmc_batch_files import remove_cbmc_yaml_files
  28
  29 def main():
  30     try:
  31         os.remove("Makefile.common")
  32     except FileNotFoundError:
  33         pass
  34
  35     for root, _, files in os.walk("."):
  36         # We do not want to remove hand-written Makefiles, so
  37         # only remove Makefiles that are in the same directory as
  38         # a Makefile.json. Such Makefiles are generated from the
  39         # JSON file.
  40         if "Makefile.json" in files:
  41             try:
  42                 os.remove(os.path.join(root, "Makefile"))
  43             except FileNotFoundError:
  44                 pass
  45
  46 if __name__ == "__main__":
  47     remove_cbmc_yaml_files()
  48     main()