From 6231f07b2b7b31db93ce9fd4606450e3fa8b747f Mon Sep 17 00:00:00 2001 From: Frédéric Besson Date: Tue, 30 Aug 2016 11:59:01 +0200 Subject: micromega cache files are now hidden files (cf #4156) csdp.cache -> .csdp.cache lia.cache -> .lia.cache nlia.cache -> .nia.cache --- plugins/micromega/coq_micromega.ml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) (limited to 'plugins/micromega') diff --git a/plugins/micromega/coq_micromega.ml b/plugins/micromega/coq_micromega.ml index cce0a7280..fdc41eedd 100644 --- a/plugins/micromega/coq_micromega.ml +++ b/plugins/micromega/coq_micromega.ml @@ -1766,7 +1766,7 @@ module Cache = PHashtable(struct let hash = Hashtbl.hash end) -let csdp_cache = "csdp.cache" +let csdp_cache = ".csdp.cache" (** * Build the command to call csdpcert, and launch it. This in turn will call @@ -1960,12 +1960,8 @@ module CacheZ = PHashtable(struct let hash = Hashtbl.hash end) -let memo_zlinear_prover = CacheZ.memo "lia.cache" (lift_pexpr_prover Certificate.lia) -let memo_nlia = CacheZ.memo "nlia.cache" (lift_pexpr_prover Certificate.nlia) - -(*let memo_zlinear_prover = (lift_pexpr_prover Lia.lia)*) -(*let memo_zlinear_prover = CacheZ.memo "lia.cache" (lift_pexpr_prover Certificate.zlinear_prover)*) - +let memo_zlinear_prover = CacheZ.memo ".lia.cache" (lift_pexpr_prover Certificate.lia) +let memo_nlia = CacheZ.memo ".nia.cache" (lift_pexpr_prover Certificate.nlia) let linear_Z = { -- cgit v1.2.3