summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRasmus Andersson <rasmus@notion.se>2023-04-05 23:23:06 +0300
committerRasmus Andersson <rasmus@notion.se>2023-04-05 23:23:06 +0300
commit903722aab65743748e49b51c3f6e665fa93512ed (patch)
tree31302b49669ad3708b6cca1d09f07f8696018874 /Makefile
parentbf6776a15ef3b860dca88e49ee2ceacae65ba33c (diff)
downloadinter-903722aab65743748e49b51c3f6e665fa93512ed.tar.xz
tooling: initial conversion from plain python virtualenv to pipenv. #551
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile15
1 files changed, 10 insertions, 5 deletions
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