diff options
author | Rasmus Andersson <rasmus@notion.se> | 2023-04-05 23:23:06 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2023-04-05 23:23:06 +0300 |
commit | 903722aab65743748e49b51c3f6e665fa93512ed (patch) | |
tree | 31302b49669ad3708b6cca1d09f07f8696018874 /Makefile | |
parent | bf6776a15ef3b860dca88e49ee2ceacae65ba33c (diff) | |
download | inter-903722aab65743748e49b51c3f6e665fa93512ed.tar.xz |
tooling: initial conversion from plain python virtualenv to pipenv. #551
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -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 |