in remove-apache-license-identifier.py [0:0]
def parser():
desc = "Remove Apache references from files copied from the CBMC starter kit"
args = [
{
"flag": "--proofdir",
"help": "Root of the proof subtree (default: %(default)s)",
"default": ".",
},
{
"flag": "--remove",
"action": "store_true",
"help": "Remove Apache references from files under PROOFDIR (otherwise just list them)"
},
]
epilog = """
The CBMC starter kit was originally released under the Apache
license. All files in the starter kit contained references to the
Apache license. The starter kit installation scripts copied files
from the stater kit into the project repository. This became an
issue when the project repository was released under a different
license. This script removes all references to the Apache license
from the files copied into the project repository from the starter
kit.
"""
return create_parser(desc, args, epilog)