dune build @fmt

Signed-off-by: Marcello Seri <[email protected]>
bobot · Mar 28, 2023 · 24ee67c · 24ee67c
1 parent 0336e22
commit 24ee67c
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 13 deletions.
diff --git a/antic/antic/dune b/antic/antic/dune
@@ -32,8 +32,8 @@
        CFLAGS=-fPIC)
       (run make library -j)
       (run make install)
-      (system "if [ -f ../prefix/lib/libantic.dylib ]; then mv ../prefix/lib/libantic.dylib ../prefix/lib/libantic.so; fi")
-      ))
+      (system
+       "if [ -f ../prefix/lib/libantic.dylib ]; then mv ../prefix/lib/libantic.dylib ../prefix/lib/libantic.so; fi")))
     (copy prefix/lib/libantic%{ext_dll} dllantic%{ext_dll})
     (copy prefix/lib/libantic%{ext_lib} libantic%{ext_lib})
     (copy prefix/include/antic/nf_elem.h nf_elem.h)

diff --git a/arb/dune b/arb/dune
@@ -106,8 +106,8 @@
        CFLAGS=-fPIC)
       (run make library -j)
       (run make install)
-      (system "if [ -f ../prefix/lib/libarb.dylib ]; then mv ../prefix/lib/libarb.dylib ../prefix/lib/libarb.so; fi")
-      ))
+      (system
+       "if [ -f ../prefix/lib/libarb.dylib ]; then mv ../prefix/lib/libarb.dylib ../prefix/lib/libarb.so; fi")))
     (copy prefix/lib/libarb%{ext_dll} dllarb%{ext_dll})
     (copy prefix/lib/libarb%{ext_lib} libarb%{ext_lib})
     (copy prefix/include/dirichlet.h dirichlet.h)

diff --git a/calcium/lib/dune b/calcium/lib/dune
@@ -66,8 +66,8 @@
        CFLAGS=-fPIC)
       (run make library -j)
       (run make install)
-      (system "if [ -f ../prefix/lib/libcalcium.dylib ]; then mv ../prefix/lib/libcalcium.dylib ../prefix/lib/libcalcium.so; fi")
-      ))
+      (system
+       "if [ -f ../prefix/lib/libcalcium.dylib ]; then mv ../prefix/lib/libcalcium.dylib ../prefix/lib/libcalcium.so; fi")))
     (copy prefix/lib/libcalcium%{ext_dll} dllcalcium%{ext_dll})
     (copy prefix/lib/libcalcium%{ext_lib} libcalcium%{ext_lib})
     (copy prefix/include/calcium/qqbar.h qqbar.h)

diff --git a/calcium/tests/dune b/calcium/tests/dune
@@ -2,8 +2,7 @@
  (names units)
  (modules units)
  (libraries calcium)
- (package calcium)
-)
+ (package calcium))
 
 ;; Need dune whole mode for foreign library
 

diff --git a/flint/flint/dune b/flint/flint/dune
@@ -140,8 +140,8 @@
       (run ./configure --prefix=../prefix CFLAGS=-fPIC --with-pkg-config)
       (run make library -j)
       (run make install)
-      (system "if [ -f ../prefix/lib/libflint.dylib ]; then mv ../prefix/lib/libflint.dylib ../prefix/lib/libflint.so; fi")
-      ))
+      (system
+       "if [ -f ../prefix/lib/libflint.dylib ]; then mv ../prefix/lib/libflint.dylib ../prefix/lib/libflint.so; fi")))
     (copy prefix/lib/libflint%{ext_lib} libflint%{ext_lib})
     (copy prefix/lib/libflint%{ext_dll} dllflint%{ext_dll})
     (copy prefix/include/flint/aprcl.h aprcl.h)

diff --git a/flint/tests/dune b/flint/tests/dune
@@ -9,6 +9,6 @@
  (names dynamic)
  (modules dynamic)
  (libraries dune-site.plugins zarith threads)
- (deps (package flint))
- (package flint)
-)
+ (deps
+  (package flint))
+ (package flint))