replace move content of set_dev_dependencies.jl script in SetupDevEnv.jl

QEDjl-project · Oct 23, 2024 · e573c7c · e573c7c
1 parent 394d5e7
commit e573c7c
Show file tree

Hide file tree

Showing 8 changed files with 682 additions and 786 deletions.
diff --git a/.ci/SetupDevEnv/Project.toml b/.ci/SetupDevEnv/Project.toml
@@ -4,6 +4,8 @@ authors = ["Simeon Ehrig <[email protected]> and contributors"]
 version = "1.0.0"
 
 [deps]
+LibGit2 = "76f85450-5226-5b5a-8eaa-529ad045b433"
+Logging = "56ddb016-857b-54e1-b83d-db4d58db5568"
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 TOML = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
 

diff --git a/.ci/SetupDevEnv/README.md b/.ci/SetupDevEnv/README.md
@@ -1,9 +1,9 @@
 # Usage
 
-The application `SetupDevEnv.jl` takes a `Project.toml` and adds all dependencies which match a filter rule as the development version to the current Julia environment. The first application parameter sets the Project.toml path.
+The script `SetupDevEnv.jl` checks the dependencies of the current project and provides a Julia environment that provides all current development versions of the QED dependencies.
 
 ```bash
-julia --project=/path/to/the/julia/environment src/SetupDevEnv.jl /path/to/Project.toml
+julia --project=/path/to/the/julia/environment src/SetupDevEnv.jl
 ```
 
 # Optional Environment variables