From 3b0e99f648280c6665e10104bd2794a2bdaabfd8 Mon Sep 17 00:00:00 2001
From: Tobias Diez <code@tobiasdiez.com>
Date: Tue, 1 Feb 2022 16:50:48 +0100
Subject: [PATCH] Use --with-sage-venv

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 29fd79c9f48..be7c599c16e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -22,7 +22,7 @@ jobs:
         run: |
           # Reuse built SAGE_LOCAL contained in the Docker image 
           ./bootstrap
-          ./configure --enable-build-as-root --prefix=/sage/local
+          ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv
       
       - name: Build
         run: make build