From 903722aab65743748e49b51c3f6e665fa93512ed Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Wed, 5 Apr 2023 13:23:06 -0700
Subject: tooling: initial conversion from plain python virtualenv to pipenv.
 #551

---
 Makefile | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 218dd581e..b2f284822 100644
--- a/Makefile
+++ b/Makefile
@@ -557,15 +557,20 @@ list:
 # ---------------------------------------------------------------------------------
 # initialize toolchain
 
-venv: build/venv/config.stamp
+venv: build/venv/config2.stamp
 
-build/venv/config.stamp: requirements.txt
+build/venv/config2.stamp: Pipfile.lock Pipfile
 	@mkdir -p build
-	test -d build/venv || python3 -m venv build/venv
-	. $(VENV) ; pip install -Ur requirements.txt
+	[ ! -f build/venv/config.stamp ] || rm -rf build/venv
+	[ -d build/venv ] || python3 -m venv build/venv
+	. $(VENV) ; pip install pipenv
+	. $(VENV) ; pipenv install
 	touch $@
 
+venv-update:
+	. $(VENV) ; pipenv update
+
 reset: clean
 	rm -rf build/venv
 
-.PHONY: venv reset
+.PHONY: venv venv-update reset
-- 
cgit v1.2.3