From 11b7d45a180145d943f2c3c2460aa89e91e146d7 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 5 Nov 2019 04:26:56 +0100 Subject: testsuite: add synth_ice40 (from synth), add synth_import. --- testsuite/testenv.sh | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index fd36439..65525b0 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -45,13 +45,25 @@ analyze () cmd "$GHDL" -a $GHDL_STD_FLAGS $GHDL_FLAGS $@ } -synth () +synth_import () +{ + travis_start "synth" "Synthesize $@" + run_yosys -p "ghdl $*" + travis_finish "synth" +} + +synth_ice40 () { travis_start "synth" "Synthesize $@" - run_yosys -p "ghdl $@; synth_ice40 -blif out.blif" + run_yosys -p "ghdl $*; synth_ice40 -blif out.blif" travis_finish "synth" } +synth () +{ + synth_ice40 "$*" +} + formal () { travis_start "formal" "Verify $@" -- cgit v1.2.3