changeset 1675:61422abd17a4

Add script for updating dependencies
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 28 Aug 2024 10:11:34 +0200
parents 791d0f3f289a
children 5a1f51b4e3d9
files update_manifest.jl
diffstat 1 files changed, 12 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/update_manifest.jl	Wed Aug 28 10:11:34 2024 +0200
@@ -0,0 +1,12 @@
+using Pkg
+
+function update_directory(d)
+    Pkg.activate(d)
+    Pkg.update()
+    println()
+end
+
+update_directory(".")
+update_directory("benchmark")
+update_directory("docs")
+update_directory("test")