diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 16:26:12 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 16:26:12 +0200 |
| commit | 62be737d0d9c05c3d73333edce793ab3b39e0bbb (patch) | |
| tree | 2674616a2000f6ed44bdfe12d1109ef38bf16a71 /test/monniaux/genmake.py | |
| parent | 49e08edd3c7163514c8f2e4f8f9aa3c71d9f7625 (diff) | |
| parent | c1e6f2db8e9e3589e6bdc463256cbc9c59906ae7 (diff) | |
| download | compcert-kvx-62be737d0d9c05c3d73333edce793ab3b39e0bbb.tar.gz compcert-kvx-62be737d0d9c05c3d73333edce793ab3b39e0bbb.zip | |
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
Diffstat (limited to 'test/monniaux/genmake.py')
| -rwxr-xr-x | test/monniaux/genmake.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/monniaux/genmake.py b/test/monniaux/genmake.py index 80ef53e3..ddbdf839 100755 --- a/test/monniaux/genmake.py +++ b/test/monniaux/genmake.py @@ -43,6 +43,7 @@ objdeps = settings["objdeps"] if "objdeps" in settings else [] intro = settings["intro"] if "intro" in settings else "" sources = settings["sources"] if "sources" in settings else None measures = settings["measures"] if "measures" in settings else [] +name = settings["name"] if "name" in settings else None if sources: intro += "\nsrc=" + sources @@ -87,7 +88,7 @@ def print_measure_rule(environments, measures): print("measures.csv: $(PRODUCTS_OUT)") print(' echo ", {}" > $@'.format(make_env_list(environments))) for measure in measures: - print(' echo "{name} {measure}"'.format(name=basename, measure=measure), end="") + print(' echo "{name} {measure}"'.format(name=basename if not name else name, measure=measure if len(measures) > 1 else ""), end="") for env in environments: for optim in env.optimizations: print(", $$(grep '{measure}' {outfile} | cut -d':' -f2)".format( @@ -110,7 +111,7 @@ PRODUCTS_OUT=$(addsuffix .out,$(PRODUCTS)) all: $(PRODUCTS) .PHONY: -exec: measures.csv +run: measures.csv """.format(intro=intro, prod=" ".join(products))) |