Upgrade Noa to 517e88aef5981b88ac6bb8caff15d17dffcb4320 (#169)

Signed-off-by: Juan Cruz Viotti <[email protected]>
sourcemeta · Oct 4, 2024 · 2451f83 · 2451f83
1 parent 63d176a
commit 2451f83
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 5 deletions.
diff --git a/DEPENDENCIES b/DEPENDENCIES
@@ -1,5 +1,5 @@
 vendorpull https://github.com/sourcemeta/vendorpull dea311b5bfb53b6926a4140267959ae334d3ecf4
-noa https://github.com/sourcemeta/noa 7e26abce7a4e31e86a16ef2851702a56773ca527
+noa https://github.com/sourcemeta/noa 517e88aef5981b88ac6bb8caff15d17dffcb4320
 jsontoolkit https://github.com/sourcemeta/jsontoolkit 3e3ac593146af68e9bd01f3418a263821f8f47cc
 hydra https://github.com/sourcemeta/hydra 3c53d3fdef79e9ba603d48470a508cc45472a0dc
 alterschema https://github.com/sourcemeta/alterschema 744cf03a950b681a61f1f4cf6a7bb55bc52836c9

diff --git a/vendor/noa/cmake/noa/compiler/options.cmake b/vendor/noa/cmake/noa/compiler/options.cmake
diff --git a/vendor/noa/cmake/noa/library.cmake b/vendor/noa/cmake/noa/library.cmake