dune: also emit LDFLAGS into libs.sexp

dune

@@ -65,6 +65,11 @@
     (bash "cat Makefile | sed -n -e 's/CFLAGS=//p'")
     (bash "echo -n ')'")))))
 
+; Note that the order (LDFLAGS, then LIBS) is important below since
+; zarith uses pkg-config to detect gmp, and adds the output to LIBS
+; but we like -L ..._build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp
+; first, followed by -L/usr/local/lib -lgmp (from pkg-config)
+
 (rule
  (target libs.sexp)
  (deps Makefile)
@@ -73,6 +78,7 @@
    %{target}
    (progn
     (bash "echo -n '('")
+    (bash "cat Makefile | sed -n -e 's/LDFLAGS=//p'")
     (bash "cat Makefile | sed -n -e 's/LIBS=//p'")
     (bash "echo -n ')'")))))