icestorm/icefuzz/export.py

#!/usr/bin/env python3
import os

device_class = os.getenv("ICEDEVICE")

with open("../icebox/iceboxdb.py", "w") as f:
    files = [ "database_io", "database_logic", "database_ramb", "database_ramt", "database_ipcon_5k"]
    for device_class in ["8k"]:
      files.append("database_ramb_" + device_class)
      files.append("database_ramt_" + device_class)
    for i in range(4):
      files.append("database_dsp%d_5k" % i)
    for i in files:
        print('%s_txt = """' % i, file=f)
        with open("%s.txt" % i, "r") as fi:
            for line in fi:
                print(line, end="", file=f)
        print('"""', file=f)