Add nextpnr flag '--exit-on-failed-target-frequency'

This commit is contained in:
Jonas Thörnblad 2024-11-22 14:36:38 +01:00 committed by Daniel Jobson
parent 08a204dfa6
commit 0445c8f993
No known key found for this signature in database
GPG Key ID: 3707A9DBF4BB8F1A
2 changed files with 19 additions and 2 deletions

View File

@ -100,8 +100,24 @@ WORKDIR /src
# Add "Fix handling of RNG seed" #1369
RUN git cherry-pick --no-commit 6ca64526bb18ace8690872b09ca1251567c116de
# Add early exit if place fails on timing
RUN sed -i 's/if (do_route) {/if (do_route \&\& !had_nonfatal_error) {/' common/kernel/command.cc
RUN sed -i 's/bool warn_on_failure = false/bool warn_on_failure = true/' common/kernel/timing.h
RUN sed -i \
'345i \ \ \ \ general.add_options()("exit-on-failed-target-frequency",' \
common/kernel/command.cc
RUN sed -i \
'346i \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ "exit if target frequency is not achieved (use together with "' \
common/kernel/command.cc
RUN sed -i \
'347i \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ "--randomize-seed option)");' \
common/kernel/command.cc
RUN sed -i \
'348i \\' \
common/kernel/command.cc
RUN sed -i \
'662s/if (do_route) {/if (do_route \&\& (vm.count("exit-on-failed-target-frequency") ? !had_nonfatal_error : true)) {/' \
common/kernel/command.cc
RUN sed -i \
'244s/bool warn_on_failure = false/bool warn_on_failure = true/' \
common/kernel/timing.h
RUN cmake -DARCH=ice40 . \
&& make -j$(nproc --ignore=2) \
&& make install \

View File

@ -67,6 +67,7 @@ start_thread() {
--log $LOG_FILE \
--randomize-seed \
--freq $FREQ \
--exit-on-failed-target-frequency \
--ignore-loops \
--up5k \
--package $PACKAGE \