+ dune stuff

2026-03-12 12:29:50 +01:00 · 2026-03-12 12:29:50 +01:00 · 1e82b25087
commit 1e82b25087
parent 96f10ec373
5 changed files with 31 additions and 4 deletions
--- a/7
+++ b/7
@ -0,0 +1,7 @@
+(lang dune 3.0)
+(context (default))
+(context (default
+ (name solo5)
+ (host default)
+ (toolchain solo5)
+ (disable_dynamically_linked_foreign_archives true)))