diff options
author | Rodrigo Alejandro Melo <rodrigomelo9@gmail.com> | 2020-10-02 11:44:58 -0300 |
---|---|---|
committer | eine <6628437+eine@users.noreply.github.com> | 2020-10-03 13:35:23 +0100 |
commit | 2dceb871900b993d1e7ea529af8a4c0fa1cfc8ed (patch) | |
tree | 1ae3806a87e027659f7d3e80f84e507a0e43c884 | |
parent | 6e00f79c7e80b15811528295a4b76fb79734b66e (diff) | |
download | ghdl-yosys-plugin-2dceb871900b993d1e7ea529af8a4c0fa1cfc8ed.tar.gz ghdl-yosys-plugin-2dceb871900b993d1e7ea529af8a4c0fa1cfc8ed.tar.bz2 ghdl-yosys-plugin-2dceb871900b993d1e7ea529af8a4c0fa1cfc8ed.zip |
ci: add command-line arguments
- add *.edif and *.ilang files to .gitignore
-rw-r--r-- | .gitignore | 2 | ||||
-rwxr-xr-x | ci.sh | 32 |
2 files changed, 33 insertions, 1 deletions
@@ -4,6 +4,8 @@ *.asc *.json *.blif +*.edif +*.ilang *.cf *.rpt *.o @@ -21,6 +21,8 @@ cd "$(dirname $0)" #-- +do_plugin () { + gstart "[Build] ghdl/synth:beta" "$ANSI_MAGENTA" docker build -t ghdl/synth:beta . -f- <<-EOF @@ -41,19 +43,47 @@ EOF gend +} + #--- +do_formal () { + gstart "[Build] ghdl/synth:formal" "$ANSI_MAGENTA" docker build -t ghdl/synth:formal --build-arg IMAGE='ghdl/synth:beta' . -f- <<-EOF $(curl -fsSL https://github.com/ghdl/docker/raw/master/synth_formal.dockerfile) EOF gend "formal" +} + #--- -printf "${ANSI_MAGENTA}[Test] testsuite ${ANSI_NOCOLOR}\n" +do_test () { +printf "${ANSI_MAGENTA}[Test] testsuite ${ANSI_NOCOLOR}\n" docker run --rm -t -e CI -v /$(pwd)://src -w //src -e YOSYS='yosys -m ghdl' ghdl/synth:formal bash -c "$(cat <<EOF ./testsuite/testsuite.sh EOF )" + +} + +#--- + +case $1 in + plugin) + do_plugin + ;; + formal) + do_plugin + do_formal + ;; + test) + do_test + ;; + *) + do_plugin + do_formal + do_test +esac |