diff options
Diffstat (limited to '.github/ci')
-rw-r--r-- | .github/ci/build_mistral.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/.github/ci/build_mistral.sh b/.github/ci/build_mistral.sh new file mode 100644 index 00000000..7046462f --- /dev/null +++ b/.github/ci/build_mistral.sh @@ -0,0 +1,24 @@ +#!/bin/bash + +function get_dependencies { + # Fetch mistral + mkdir -p ${MISTRAL_PATH} + git clone --recursive https://github.com/Ravenslofty/mistral.git ${MISTRAL_PATH} + pushd ${MISTRAL_PATH} + git reset --hard ${MISTRAL_REVISION} + popd +} + +function build_nextpnr { + mkdir build + pushd build + cmake .. -DARCH=mistral -DMISTRAL_ROOT=${MISTRAL_PATH} + make nextpnr-mistral -j`nproc` + popd +} + +function run_archcheck { + pushd build + ./nextpnr-mistral --mistral ${MISTRAL_PATH} --device 5CEBA2F17A7 --test + popd +} |