|  | #!/usr/bin/env python3 | 
|  | # -*- coding: utf-8 -*- | 
|  | # | 
|  | # Copyright (C) 2017-2020  The Project X-Ray Authors. | 
|  | # | 
|  | # Use of this source code is governed by a ISC-style | 
|  | # license that can be found in the LICENSE file or at | 
|  | # https://opensource.org/licenses/ISC | 
|  | # | 
|  | # SPDX-License-Identifier: ISC | 
|  |  | 
|  | import os, re | 
|  |  | 
|  |  | 
|  | def maketodo(pipfile, dbfile): | 
|  | todos = set() | 
|  | with open(pipfile, "r") as f: | 
|  | for line in f: | 
|  | todos.add(line.split()[0]) | 
|  | with open(dbfile, "r") as f: | 
|  | for line in f: | 
|  | todos.remove(line.split()[0]) | 
|  | for line in todos: | 
|  | if line.endswith(".VCC_WIRE"): | 
|  | continue | 
|  | if line.endswith(".GND_WIRE"): | 
|  | continue | 
|  | if re.match(r".*\.(L[HV]B?|G?CLK)(_L)?(_B)?[0-9]", line): | 
|  | continue | 
|  | if re.match(r"^INT_[LR]\.(CTRL|GFAN)(_L)?[0-9]", line): | 
|  | continue | 
|  | print(line) | 
|  |  | 
|  |  | 
|  | maketodo( | 
|  | "pips_int_l.txt", "%s/%s/segbits_int_l.db" % | 
|  | (os.getenv("XRAY_DATABASE_DIR"), os.getenv("XRAY_DATABASE"))) | 
|  | maketodo( | 
|  | "pips_int_r.txt", "%s/%s/segbits_int_r.db" % | 
|  | (os.getenv("XRAY_DATABASE_DIR"), os.getenv("XRAY_DATABASE"))) |