From bb8975215dbb1e3311752912b2a22eb371eb75dc Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Tue, 2 Jun 2015 15:56:51 +0200
Subject: [PATCH] Cleaned build

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b49b241..7b83dae 100644
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@
 include version
 include make.config
 
-.PHONY: default clean distclean archive configure 
+.PHONY: default clean veryclean archive configure 
 
 default: make.config
 	$(MAKE) -C $$PWD/src 
@@ -47,3 +47,9 @@ archive: distclean
 make.config: 
 	python configure.py
 
+veryclean:
+	$(MAKE) -C src veryclean
+	rm -f make.config
+	rm -f Ocaml/ezfio.ml
+	rm -f Python/ezfio.py
+	rm -f lib/{libezfio.a,libezfio_irp.a}