From 6b379b22f445c970237d815cbbbf9dfa33e055d2 Mon Sep 17 00:00:00 2001
From: BESSON Frederic
Date: Fri, 11 Sep 2020 17:22:50 +0200
Subject: Updated .csdp.cache.test-suite and minor fixes

-  merlin.in : added zarith
- test-suite/Makefile remove .csdp.cache on make clean

updated .csdp.cache.test-suite
---
 .merlin.in                        |   1 +
 test-suite/.csdp.cache.test-suite | Bin 192943 -> 136962 bytes
 test-suite/Makefile               |   2 +-
 3 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.merlin.in b/.merlin.in
index fa3473765d..80b0b600eb 100644
--- a/.merlin.in
+++ b/.merlin.in
@@ -54,3 +54,4 @@ S plugins/**
 B plugins/**
 
 PKG threads.posix
+PKG zarith
\ No newline at end of file
diff --git a/test-suite/.csdp.cache.test-suite b/test-suite/.csdp.cache.test-suite
index ac5a25bfb9..36efdf469e 100644
Binary files a/test-suite/.csdp.cache.test-suite and b/test-suite/.csdp.cache.test-suite differ
diff --git a/test-suite/Makefile b/test-suite/Makefile
index 758374c5de..6c373701cf 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -141,7 +141,7 @@ run: $(SUBSYSTEMS)
 bugs: $(BUGS)
 
 clean:
-	rm -f trace .nia.cache .lia.cache output/MExtraction.out
+	rm -f trace .csdp.cache .nia.cache .lia.cache output/MExtraction.out
 	rm -f vos/Makefile vos/Makefile.conf
 	$(SHOW) 'RM        <**/*.stamp> <**/*.vo> <**/*.vio> <**/*.log> <**/*.glob>'
 	$(HIDE)find . \( \
-- 
cgit v1.2.3