comparison update_manifest.jl @ 1986:98b04947588d feature/grids/manifolds

Merge default
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 26 Feb 2025 23:57:51 +0100
parents 608a24a7b13b
children
comparison
equal deleted inserted replaced
1980:2d6c45f53bc9 1986:98b04947588d
1 using Pkg 1 using Pkg
2
3 function update_and_log(root, d)
4 printstyled("Updating '$d'"; color=:cyan, bold=true)
5 println()
6 dp = joinpath(root, d)
7
8 update_directory(dp)
9 println()
10 end
2 11
3 function update_directory(d) 12 function update_directory(d)
4 Pkg.activate(d) 13 Pkg.activate(d)
5 Pkg.update() 14 Pkg.update()
6 println()
7 end 15 end
8 16
9 update_directory(".") 17 root = @__DIR__
10 update_directory("benchmark") 18 update_and_log(root, ".")
11 update_directory("docs") 19 update_and_log(root, "benchmark")
12 update_directory("test") 20 update_and_log(root, "docs")
21 update_and_log(root, "test")
22