From 7b8e0773dde893083ee60c3b3b16d809a5969f0e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 1 Sep 2020 16:26:47 +0200
Subject: [PATCH] Fix compilation on macosx and perhaps windows

  use lowercase for filename
---
 bin/frama-c                                      |  2 +-
 bin/frama-c-gui                                  |  2 +-
 src/plugins/from/dune                            | 12 +++++++++++-
 src/plugins/metrics/{Metrics.ml => metrics.ml}   |  0
 src/plugins/metrics/{Metrics.mli => metrics.mli} |  0
 src/plugins/pdg/dune                             | 12 +++++++++++-
 src/plugins/scope/{Scope.ml => scope.ml}         |  0
 src/plugins/scope/{Scope.mli => scope.mli}       |  0
 src/plugins/value/{Eva.ml => eva.ml}             |  0
 src/plugins/value/{Eva.mli => eva.mli}           |  0
 10 files changed, 24 insertions(+), 4 deletions(-)
 rename src/plugins/metrics/{Metrics.ml => metrics.ml} (100%)
 rename src/plugins/metrics/{Metrics.mli => metrics.mli} (100%)
 rename src/plugins/scope/{Scope.ml => scope.ml} (100%)
 rename src/plugins/scope/{Scope.mli => scope.mli} (100%)
 rename src/plugins/value/{Eva.ml => eva.ml} (100%)
 rename src/plugins/value/{Eva.mli => eva.mli} (100%)

diff --git a/bin/frama-c b/bin/frama-c
index e345ea37e7e..78e65a0f433 100755
--- a/bin/frama-c
+++ b/bin/frama-c
@@ -22,4 +22,4 @@
 ##########################################################################
 
 
-dune exec --root=$(dirname $0)/.. frama-c -- "$@"
+dune exec --root=$(dirname $0)/.. --no-build frama-c -- "$@"
diff --git a/bin/frama-c-gui b/bin/frama-c-gui
index 8f26e926b78..5e46961d159 100755
--- a/bin/frama-c-gui
+++ b/bin/frama-c-gui
@@ -22,4 +22,4 @@
 ##########################################################################
 
 
-dune exec --root=$(dirname $0)/.. frama-c-gui -- "$@"
+dune exec --root=$(dirname $0)/.. --no-build frama-c-gui -- "$@"
diff --git a/src/plugins/from/dune b/src/plugins/from/dune
index 3bb5246e9ad..ae997e0a569 100644
--- a/src/plugins/from/dune
+++ b/src/plugins/from/dune
@@ -1,5 +1,15 @@
+(rule
+ (alias frama-c-configure)
+ (deps (universe))
+ (action (progn
+          (echo "From:" %{lib-available:frama-c-from.core} "\n")
+  )
+  )
+)
+
 ( library
-  (name from)
+ (name from)
+  (optional)
   (public_name frama-c-from.core)
   (flags -open Frama_c_kernel)
   (libraries frama-c.kernel frama-c-callgraph.core frama-c-eva.core frama-c-postdominators.core)
diff --git a/src/plugins/metrics/Metrics.ml b/src/plugins/metrics/metrics.ml
similarity index 100%
rename from src/plugins/metrics/Metrics.ml
rename to src/plugins/metrics/metrics.ml
diff --git a/src/plugins/metrics/Metrics.mli b/src/plugins/metrics/metrics.mli
similarity index 100%
rename from src/plugins/metrics/Metrics.mli
rename to src/plugins/metrics/metrics.mli
diff --git a/src/plugins/pdg/dune b/src/plugins/pdg/dune
index 83c69e76258..1159329a27d 100644
--- a/src/plugins/pdg/dune
+++ b/src/plugins/pdg/dune
@@ -1,5 +1,15 @@
+(rule
+ (alias frama-c-configure)
+ (deps (universe))
+ (action (progn
+          (echo "PDG:" %{lib-available:frama-c-pdg.core} "\n")
+  )
+  )
+)
+
 ( library
-  (name pdg)
+ (name pdg)
+  (optional)
   (public_name frama-c-pdg.core)
   (flags -open Frama_c_kernel)
   (libraries frama-c.kernel frama-c-callgraph.core frama-c-from.core frama-c-eva.core)
diff --git a/src/plugins/scope/Scope.ml b/src/plugins/scope/scope.ml
similarity index 100%
rename from src/plugins/scope/Scope.ml
rename to src/plugins/scope/scope.ml
diff --git a/src/plugins/scope/Scope.mli b/src/plugins/scope/scope.mli
similarity index 100%
rename from src/plugins/scope/Scope.mli
rename to src/plugins/scope/scope.mli
diff --git a/src/plugins/value/Eva.ml b/src/plugins/value/eva.ml
similarity index 100%
rename from src/plugins/value/Eva.ml
rename to src/plugins/value/eva.ml
diff --git a/src/plugins/value/Eva.mli b/src/plugins/value/eva.mli
similarity index 100%
rename from src/plugins/value/Eva.mli
rename to src/plugins/value/eva.mli
-- 
GitLab