1
0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-10-20 03:32:32 +03:00

Deprecate Make

Move and rename the root Makefile to
scripts/legacy.make. That way running
make from the root fails.

Signed-off-by: Ronald Cron <ronald.cron@arm.com>
This commit is contained in:
Ronald Cron
2025-08-29 16:12:40 +02:00
parent 401f20fb35
commit 31f63210ec
3 changed files with 11 additions and 8 deletions

View File

@@ -439,8 +439,9 @@ class DomainData:
# pylint: disable=too-many-locals
def __init__(self, options, conf):
"""Gather data about the library and establish a list of domains to test."""
build_command = [options.make_command, 'CFLAGS=-Werror -O2']
build_and_test = [build_command, [options.make_command, 'test']]
build_command = [options.make_command, '-f', 'scripts/legacy.make', 'CFLAGS=-Werror -O2']
build_and_test = [build_command, [options.make_command, '-f',
'scripts/legacy.make', 'test']]
self.all_config_symbols = set(conf.settings.keys())
psa_info = psa_information.Information().constructors
algs = {crypto_knowledge.Algorithm(alg): symbol
@@ -523,7 +524,7 @@ A name can either be the name of a domain or the name of one specific job."""
def run(options, job, conf, colors=NO_COLORS):
"""Run the specified job (a Job instance)."""
subprocess.check_call([options.make_command, 'clean'])
subprocess.check_call([options.make_command, '-f', 'scripts/legacy.make', 'clean'])
job.announce(colors, None)
if not job.configure(conf, colors):
job.announce(colors, False)