push the digest of extra sources in dummy.v

apps/NES/elpi/dune

@@ -9,7 +9,10 @@
   (glob_files *.elpi))
  (action
   (with-stdout-to %{target}
-   (echo ""))))
+   (progn
+     (echo "Require Import String.\nOpen Scope string_scope.\nLocal Definition _hash := \"\n")
+     (run coq_elpi_shafile %{deps})
+     (echo "\".\n")))))
 
 (install
  (files

apps/derive/elpi/dune

@@ -9,7 +9,10 @@
   (glob_files *.elpi))
  (action
   (with-stdout-to %{target}
-   (echo ""))))
+   (progn
+     (echo "Require Import String.\nOpen Scope string_scope.\nLocal Definition _hash := \"\n")
+     (run coq_elpi_shafile %{deps})
+     (echo "\".\n")))))
 
 (install
  (files

apps/locker/elpi/dune

@@ -9,7 +9,10 @@
   (glob_files *.elpi))
  (action
   (with-stdout-to %{target}
-   (echo ""))))
+   (progn
+     (echo "Require Import String.\nOpen Scope string_scope.\nLocal Definition _hash := \"\n")
+     (run coq_elpi_shafile %{deps})
+     (echo "\".\n")))))
 
 (install
  (files

apps/tc/elpi/dune

@@ -9,7 +9,10 @@
   (glob_files *.elpi))
  (action
   (with-stdout-to %{target}
-   (echo ""))))
+   (progn
+     (echo "Require Import String.\nOpen Scope string_scope.\nLocal Definition _hash := \"\n")
+     (run coq_elpi_shafile %{deps})
+     (echo "\".\n")))))
 
 (install
  (files

elpi/dune

@@ -8,7 +8,10 @@
   (glob_files *.elpi))
  (action
   (with-stdout-to %{target}
-   (echo ""))))
+   (progn
+     (echo "Require Import String.\nOpen Scope string_scope.\nLocal Definition _hash := \"\n")
+     (run coq_elpi_shafile %{deps})
+     (echo "\".\n")))))
 
 (install
  (files

etc/dune

@@ -0,0 +1,5 @@
+(executable
+ (name shafile)
+ (public_name coq_elpi_shafile)
+ (modules shafile)
+ (package coq-elpi))

etc/shafile.ml

@@ -0,0 +1,3 @@
+let () =
+  Sys.argv |> Array.iter (fun file ->
+    Printf.printf "%s: %s\n" file @@ Digest.to_hex @@ Digest.file file)