[dune] cleanup

src/plugins/qed/dune

@@ -25,15 +25,11 @@
  (deps (universe))
  (action (progn
           (echo "Qed:" %{lib-available:qed} "\n")
-          (echo "  - Zarith:" %{lib-available:zarith} "\n")
-  )
-  )
-)
+          (echo "  - Zarith:" %{lib-available:zarith} "\n"))))
 
 (library
   (name qed)
   (optional)
   (public_name qed)
   (flags (-open Frama_c_kernel :standard -w -9))
-  (libraries frama-c.kernel zarith)
-)
+  (libraries frama-c.kernel zarith))

src/plugins/server/dune

@@ -30,7 +30,7 @@
   )
 )
 
-( library
+(library
   (name server)
   (optional)
   (public_name frama-c-server.core)

src/plugins/wp/dune

@@ -29,40 +29,34 @@
           (echo "  - Qed:" %{lib-available:qed} "\n")
           (echo "  - Rtegen:" %{lib-available:frama-c-rtegen.core} "\n")
           (echo "  - Why3:" %{lib-available:why3} "\n")
-          (echo "  - Zarith:" %{lib-available:zarith} "\n")
-  )
-  )
-)
+          (echo "  - Zarith:" %{lib-available:zarith} "\n"))))
 
 (library
  (name wp)
   (optional)
   (public_name frama-c-wp.core)
   (flags (-open Frama_c_kernel :standard -w -9))
-  (libraries frama-c.kernel frama-c-rtegen.core why3 qed zarith ocamlgraph)
-)
+  (libraries
+    frama-c.kernel
+    frama-c-rtegen.core
+    qed why3 zarith ocamlgraph))
 
 (plugin (optional) (name wp) (libraries frama-c-wp.core) (site (frama-c plugins)))
 
-
 (ocamllex driver rformat script)
 
-;find share \( -not -name ".gitignore" \) -type f -printf "(%p as wp/%p)\n" >> dune
-; wp/share -> wp
-
 (install
- (package frama-c-wp)
- (section (site (frama-c share)))
- (files
-(share/Makefile.resources as wp/Makefile.resources)
-(share/install.ml as wp/install.ml)
-(share/why3/frama_c_wp/vlist.mlw as wp/why3/frama_c_wp/vlist.mlw)
-(share/why3/frama_c_wp/cbits.mlw as wp/why3/frama_c_wp/cbits.mlw)
-(share/why3/frama_c_wp/cint.mlw as wp/why3/frama_c_wp/cint.mlw)
-(share/why3/frama_c_wp/qed.mlw as wp/why3/frama_c_wp/qed.mlw)
-(share/why3/frama_c_wp/vset.mlw as wp/why3/frama_c_wp/vset.mlw)
-(share/why3/frama_c_wp/memory.mlw as wp/why3/frama_c_wp/memory.mlw)
-(share/why3/frama_c_wp/cmath.mlw as wp/why3/frama_c_wp/cmath.mlw)
-(share/why3/frama_c_wp/cfloat.mlw as wp/why3/frama_c_wp/cfloat.mlw)
-(share/wp.driver as wp/wp.driver)
-))
+  (package frama-c-wp)
+  (section (site (frama-c share)))
+  (files
+    (share/Makefile.resources as wp/Makefile.resources)
+    (share/install.ml as wp/install.ml)
+    (share/why3/frama_c_wp/vlist.mlw as wp/why3/frama_c_wp/vlist.mlw)
+    (share/why3/frama_c_wp/cbits.mlw as wp/why3/frama_c_wp/cbits.mlw)
+    (share/why3/frama_c_wp/cint.mlw as wp/why3/frama_c_wp/cint.mlw)
+    (share/why3/frama_c_wp/qed.mlw as wp/why3/frama_c_wp/qed.mlw)
+    (share/why3/frama_c_wp/vset.mlw as wp/why3/frama_c_wp/vset.mlw)
+    (share/why3/frama_c_wp/memory.mlw as wp/why3/frama_c_wp/memory.mlw)
+    (share/why3/frama_c_wp/cmath.mlw as wp/why3/frama_c_wp/cmath.mlw)
+    (share/why3/frama_c_wp/cfloat.mlw as wp/why3/frama_c_wp/cfloat.mlw)
+    (share/wp.driver as wp/wp.driver)))