Revert "Remove unused batteries dependency from cil library"

sim642 · sim642 · commit 69c715c23cd0 · 2022-04-08T12:26:34.000+03:00
This reverts commit 47db719.
diff --git a/src/dune b/src/dune
@@ -4,7 +4,7 @@
   (public_name goblint-cil)
   (name cil)
   (wrapped false) ; this should be changed, but then module paths in goblint need to be prefixed
-  (libraries zarith findlib dynlink unix str stdlib-shims)
+  (libraries zarith findlib dynlink unix str stdlib-shims batteries.unthreaded) ; batteries shouldn't be needed, but tests fail on MacOS otherwise: https://github.com/goblint/cil/pull/89#issuecomment-1092610041
   (modules (:standard \ main))
 )
 

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`(public_name goblint-cil)`
`5`	`5`	`(name cil)`
`6`	`6`	`(wrapped false) ; this should be changed, but then module paths in goblint need to be prefixed`
`7`		`- (libraries zarith findlib dynlink unix str stdlib-shims)`
	`7`	`+ (libraries zarith findlib dynlink unix str stdlib-shims batteries.unthreaded) ; batteries shouldn't be needed, but tests fail on MacOS otherwise: https://github.com/goblint/cil/pull/89#issuecomment-1092610041`
`8`	`8`	`(modules (:standard \ main))`
`9`	`9`	`)`
`10`	`10`