linkall toplevel lib

Hugo Heuzard · Hugo Heuzard · commit b392d0f5a68c · 2023-07-19T11:04:25.000+02:00
diff --git a/src/top/dune b/src/top/dune
@@ -2,4 +2,5 @@
  (name zarith_top)
  (public_name zarith.top)
  (synopsis "ZArith toplevel support")
+ (library_flags (:standard -linkall))
  (libraries compiler-libs.toplevel zarith))
