Call make init manually

wummel · Nov 18, 2024 · c4c7982 · c4c7982
1 parent 2186acc
commit c4c7982
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 7 deletions.
diff --git a/Makefile b/Makefile
@@ -55,10 +55,6 @@ help:	## display this help section
 
 .PHONY: init ## install python virtual env and required development packages
 init:
-	uv sync --no-install-project
-
-.PHONY: localbuild ## install patool in local environment
-localbuild:
 	uv sync
 
 

diff --git a/doc/development.md b/doc/development.md
@@ -19,6 +19,7 @@ To start developing, run the following commands:
 2. Initialize the source directory
 
    $ scripts/install_dev.sh
+   $ make init
 
    This installs required packages, creates a virtual Python environment in the directory `.venv/`
    and installs required modules for development.

diff --git a/scripts/install_dev.sh b/scripts/install_dev.sh
@@ -118,6 +118,3 @@ if ! grep --quiet LD_LIBRARY_PATH .envrc; then
     source .envrc
 fi
 
-# install Python module dependencies and generate local data files
-make init
-