Make zrapp dependency on zarith

sim642 · sim642 · commit a35d59e70375 · 2025-09-03T12:31:33.000+03:00
In dune release profile (during release), this warning was emitted:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Big_int_Z, and its interface was not compiled with -opaque

This is because dune-project has (implicit_transitive_deps false), but Rmciltmps actually uses cilint_compare (which is transitively from Big_int_Z).
diff --git a/src/ext/zrapp/dune b/src/ext/zrapp/dune
@@ -1,5 +1,5 @@
 (library
   (public_name goblint-cil.zrapp)
   (name zrapp)
-  (libraries goblint-cil goblint-cil.liveness stdlib-shims)
+  (libraries goblint-cil goblint-cil.liveness zarith stdlib-shims)
 )

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`(library`
`2`	`2`	`(public_name goblint-cil.zrapp)`
`3`	`3`	`(name zrapp)`
`4`		`- (libraries goblint-cil goblint-cil.liveness stdlib-shims)`
	`4`	`+ (libraries goblint-cil goblint-cil.liveness zarith stdlib-shims)`
`5`	`5`	`)`