diff options
Diffstat (limited to '.github/ci/build_machxo2.sh')
-rw-r--r-- | .github/ci/build_machxo2.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/ci/build_machxo2.sh b/.github/ci/build_machxo2.sh new file mode 100644 index 00000000..c81a538b --- /dev/null +++ b/.github/ci/build_machxo2.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +function get_dependencies { + : +} + +function build_nextpnr { + mkdir build + pushd build + cmake .. -DARCH=machxo2 -DTRELLIS_INSTALL_PREFIX=${GITHUB_WORKSPACE}/.trellis -DWERROR=on -DUSE_IPO=off + make nextpnr-machxo2 -j`nproc` + popd +} + +function run_tests { + : +} + +function run_archcheck { + : +} |