From ecb0735f6abe53fb79ec59235c046888e3db9277 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 30 Jul 2021 16:38:49 +0200
Subject: [PATCH] Rename caisar configuration file for autodetection.
---
config/{caisar.conf => caisar-detection-data.conf} | 0
config/dune | 2 +-
src/autodetection.ml | 2 +-
3 files changed, 2 insertions(+), 2 deletions(-)
rename config/{caisar.conf => caisar-detection-data.conf} (100%)
diff --git a/config/caisar.conf b/config/caisar-detection-data.conf
similarity index 100%
rename from config/caisar.conf
rename to config/caisar-detection-data.conf
diff --git a/config/dune b/config/dune
index 25992594..f1aaaab0 100644
--- a/config/dune
+++ b/config/dune
@@ -1,4 +1,4 @@
(install
(section (site (caisar config)))
- (files caisar.conf)
+ (files caisar-detection-data.conf)
(package caisar))
diff --git a/src/autodetection.ml b/src/autodetection.ml
index 2cab84d4..80435a03 100644
--- a/src/autodetection.ml
+++ b/src/autodetection.ml
@@ -19,7 +19,7 @@ let rec lookup_file dirs filename =
let autodetect ~debug () =
let open Why3 in
if debug then Debug.set_flag Autodetection.debug;
- let caisar_conf = lookup_file Dirs.Sites.config "caisar.conf" in
+ let caisar_conf = lookup_file Dirs.Sites.config "caisar-detection-data.conf" in
let data = Autodetection.Prover_autodetection_data.from_file caisar_conf in
let config = Whyconf.init_config (Some null) in
let binaries = Autodetection.request_binaries_version config data in
--
GitLab