Take advantage of host gmp when possible.

Author: Lucas Pluvinage

.github/workflows/CI.yml

@@ -16,15 +16,23 @@ jobs:
         ocaml-version: ${{ matrix.ocaml-version }}
     - name: Add mirage-dev repository
       run: opam repo add mirage-dev git+https://github.com/mirage/mirage-dev#mirage-4
-    - name: External dependencies
-      run: opam depext -yt ocaml-freestanding solo5-bindings-spt
-    - name: Install ocaml-freestanding, bindings, dune and opam-monorepo
-      run: opam install -t -y ocaml-freestanding solo5-bindings-spt dune opam-monorepo
+    - name: Pin ocaml-gmp
+      run: opam pin -n -y git+https://github.com/mirage/ocaml-gmp.git#install-dynlib
+    - name: Dune, global GMP
+      run: opam depext -iyt conf-gmp dune
+    - name: Compiling example project (host)
+      run: opam exec -- dune build @install
+    - name: Running tests (host)
+      run: opam exec -- dune runtest
+    - name: External dependencies for bindings 
+      run: opam depext -iyt ocaml-freestanding solo5-bindings-spt
+    - name: Dune and opam-monorepo
+      run: opam install -t -y dune opam-monorepo
     - name: Run opam-monorepo
       run: |
         opam monorepo lock
         opam monorepo pull
-    - name: Compiling example project
-      run: opam exec -- dune build --workspace dune-workspace.freestanding
-    - name: Running tests
+    - name: Compiling example project (freestanding)
+      run: opam exec -- dune build @install --workspace dune-workspace.freestanding
+    - name: Running tests (freestanding)
       run: opam exec -- dune runtest --workspace dune-workspace.freestanding

dune

@@ -4,24 +4,68 @@
   (name zarith)
   (public_name zarith)
   (modules z q big_int_Z zarith_version)
+  (wrapped false)
   (foreign_stubs 
-   (language c) 
-   (names caml_z) 
-   (include_dirs (lib gmp)) 
-   (flags :standard "-DHAS_GMP")
+    (language c) 
+    (names caml_z)
+    (flags :standard "-DHAS_GMP" (:include cflags.sxp))
   )
-  (libraries gmp)
-  (wrapped false))
+  (c_library_flags (:include libs.sxp))
+)
+
+(rule 
+ (target conf-gmp-cflags-false) ;  global gmp
+ (action (with-stdout-to %{target} (
+   run echo "()"
+ )))
+)
+
+(rule 
+ (target conf-gmp-cflags-true) ; self built gmp
+ (deps (package gmp))
+ (action (with-stdout-to %{target} (
+   bash "echo \"(-I$(dirname %{lib:gmp:META}))\""
+ )))
+)
+
+(rule 
+ (target cflags.sxp)
+ (deps (:cflags conf-gmp-cflags-%{lib-available:gmp}))
+ (action (copy %{cflags} cflags.sxp))
+)
+
+
+(rule 
+ (target conf-gmp-lib-false) ; global gmp
+ (action (with-stdout-to %{target} (
+   run echo "(-lgmp)"
+ )))
+)
+
+(rule 
+ (target conf-gmp-lib-true) ; self built gmp
+ (deps (package gmp))
+ (action (with-stdout-to %{target} (
+   bash "echo \"(\\\"-L$(dirname %{lib:gmp:libgmp.so})\\\" -lgmp)\""
+ )))
+)
+
+(rule
+ (target libs.sxp)
+ (deps (:lib conf-gmp-lib-%{lib-available:gmp}))
+ (action (copy %{lib} libs.sxp))
+)
+
+(rule 
+ (deps META)
+ (action (with-stdout-to zarith_version.ml (progn 
+  (run echo "let")
+  (bash "grep \"version\" META | head -1")
+ ))))
 
 (library
  (name zarith_top)
  (optional)
  (public_name zarith.top)
  (modules zarith_top)
  (libraries zarith compiler-libs.toplevel))
-
-(rule 
- (action (with-stdout-to zarith_version.ml (progn 
-  (run echo "let")
-  (bash "grep \"version\" META | head -1")
- ))))

zarith.opam

@@ -14,7 +14,7 @@ build: [
 ]
 depends: [
   "ocaml"     {>= "4.08.0"}
-  "gmp"
+  "gmp" | "conf-gmp"
 ]
 synopsis:
   "Implements arithmetic and logical operations over arbitrary-precision integers"