From 6c428e1ffdd37d242c49754881287caf970371d2 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 29 Feb 2024 10:16:57 +0100
Subject: [PATCH] update ci build script

---
 .github/ci/build_himbaechel.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.github/ci/build_himbaechel.sh b/.github/ci/build_himbaechel.sh
index 73db3b5700..d329c45e66 100644
--- a/.github/ci/build_himbaechel.sh
+++ b/.github/ci/build_himbaechel.sh
@@ -7,13 +7,8 @@ function get_dependencies {
 function build_nextpnr {
     mkdir build
     pushd build
-    cmake .. -DARCH=himbaechel
+    cmake .. -DARCH=himbaechel -DHIMBAECHEL_EXAMPLE_DEVICES=example
     make nextpnr-himbaechel bbasm -j`nproc`
-    # We'd ideally use pypy3 for speed (as works locally), but the version
-    # our CI Ubuntu provides doesn't like some of the typing stuff
-    python3 ../himbaechel/uarch/example/example_arch_gen.py ./example.bba
-    mkdir -p share/himbaechel/example
-    ./bba/bbasm --l ./example.bba share/himbaechel/example/example.bin
     popd
 }