2017-12-07 19:33:20 +01:00
|
|
|
#!/bin/bash
|
2020-04-16 10:50:39 +02:00
|
|
|
# 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
|
2017-12-07 19:33:20 +01:00
|
|
|
|
|
|
|
|
set -ex
|
2018-12-28 18:58:28 +01:00
|
|
|
${XRAY_VIVADO} -mode batch -source runme.tcl
|
2017-12-07 19:33:20 +01:00
|
|
|
${XRAY_BITREAD} -F $XRAY_ROI_FRAMES -o design.bits -z -y design.bit
|
2017-12-22 22:32:43 +01:00
|
|
|
test -z "$(fgrep CRITICAL vivado.log)"
|
2017-12-07 19:33:20 +01:00
|
|
|
${XRAY_SEGPRINT} -z -D design.bits >design.txt
|
2017-12-22 22:32:43 +01:00
|
|
|
|
|
|
|
|
# All bits solved?
|
2017-12-07 19:33:20 +01:00
|
|
|
test $(wc -c design.txt |cut -d\ -f 1) = 0
|
|
|
|
|
|
