--- qcheck-0.19.1/src/core/dune.orig	2022-07-13 10:11:04.000000000 -0600
+++ qcheck-0.19.1/src/core/dune	2022-07-18 15:20:43.579153215 -0600
@@ -4,5 +4,6 @@
   (public_name qcheck-core)
   (wrapped false)
   (libraries unix bytes)
+  (c_library_flags -lm)
   (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
   )