From eb26587fc51199d7138b4e95ea19210a5220a6e9 Mon Sep 17 00:00:00 2001
From: Fischer Moseley <42497969+fischermoseley@users.noreply.github.com>
Date: Wed, 15 Feb 2023 13:24:34 -0500
Subject: [PATCH] add buildtools to github actions

---
 .github/workflows/build_examples.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_examples.yml b/.github/workflows/build_examples.yml
index 061b2f3..2852c5f 100644
--- a/.github/workflows/build_examples.yml
+++ b/.github/workflows/build_examples.yml
@@ -18,7 +18,10 @@ jobs:
           echo "${{ secrets.LAB_BC_KNOWN_HOSTS }}" > ~/.ssh/known_hosts
 
       - name: Install Manta from Source
-        run: python -m build && python3 -m pip install .
+        run: |
+          pip3 install build
+          python -m build
+          python3 -m pip install .
 
       - name: Generate Core
         run: manta gen examples/counter/manta.yaml examples/counter/src/debug.sv