diff options
Diffstat (limited to 'icefuzz/fuzzconfig.py')
| -rw-r--r-- | icefuzz/fuzzconfig.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/icefuzz/fuzzconfig.py b/icefuzz/fuzzconfig.py index 2181e77..1af5834 100644 --- a/icefuzz/fuzzconfig.py +++ b/icefuzz/fuzzconfig.py @@ -71,3 +71,12 @@ elif device_class == "5k": #TODO(tannewt): Add 39, 40, 41 to this list. It causes placement failures for some reason. gpins = "20 35 37 44".split() + +def output_makefile(working_dir, fuzzname): + with open(working_dir + "/Makefile", "w") as f: + print("all: %s" % " ".join(["%s_%02d.bin" % (fuzzname, i) for i in range(num)]), file=f) + for i in range(num): + basename = "%s_%02d" % (fuzzname, i) + print("%s.bin:" % basename, file=f) + print("\t-bash ../icecube.sh %s > %s.log 2>&1 && rm -rf %s.tmp || tail %s.log" % (basename, basename, basename, basename), file=f) + print("\tpython3 ../glbcheck.py %s.asc %s.glb" % (basename, basename), file=f) |