dune

@@ -0,0 +1 @@
+(vendored_dirs vendors)

dune-workspace

@@ -0,0 +1,7 @@
+(lang dune 3.0)
+(context (default))
+(context (default
+ (name solo5)
+ (host default)
+ (toolchain solo5)
+ (disable_dynamically_linked_foreign_archives true)))

src/devices.ml

@@ -1,5 +1,5 @@
-let db_connection caqti_switch : (unit, Caqti_miou.connection) Vifu.Device.device
+let db_connection caqti_switch :
-    =
+    (unit, Caqti_miou.connection) Vifu.Device.device =
   let f () =
     let db_uri = Config.Exchangedb_postgres.config in
     match Caqti_miou_unix.connect ~sw:caqti_switch db_uri with

src/dune

@@ -1,8 +1,11 @@
 (executable
- (public_name mte)
  (name mte)
  (modules mte)
- (libraries mte))
+ (link_flags :standard -cclib "-z solo5-abi=hvt")
+ (libraries mte)
+ (foreign_stubs
+  (language c)
+  (names manifest)))
 
 (library
  (name mte)
@@ -43,3 +46,18 @@
   (with-stdout-to
    %{null}
    (run ocaml-crunch -m plain ../assets -o %{target}))))
+
+(rule
+ (targets manifest.c)
+ (deps manifest.json)
+ (enabled_if
+  (= %{context_name} "solo5"))
+ (action
+  (run solo5-elftool gen-manifest manifest.json manifest.c)))
+
+(rule
+ (targets manifest.c)
+ (enabled_if
+  (= %{context_name} "default"))
+ (action
+  (write-file manifest.c "")))

src/manifest.json

@@ -0,0 +1 @@
+{"type":"solo5.manifest","version":1,"devices":[]}