From d933a48a352b6de8128c795b6725da318b37c562 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 9 Feb 2006 14:58:42 +0000
Subject: Nettoyages

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 extraction/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'extraction')

diff --git a/extraction/Makefile b/extraction/Makefile
index 038b3d0..9dc6351 100644
--- a/extraction/Makefile
+++ b/extraction/Makefile
@@ -36,9 +36,13 @@ COQEXEC=coqtop $(COQINCL) -batch -load-vernac-source
 
 ../ccomp: $(FILES:.ml=.cmo)
 	$(OCAMLC) -o ../ccomp $(FILES:.ml=.cmo)
+clean::
+	rm -f ../ccomp
 
 ../ccomp.opt: Pack.cmx
 	$(OCAMLOPT) -o ../ccomp.opt Pack.cmx
+clean::
+	rm -f ../ccomp.opt
 
 Pack.cmx: $(FILES:.ml=.cmx)
 	$(OCAMLOPT) -pack -o Pack.cmx $(FILES:.ml=.cmx)
@@ -81,7 +85,6 @@ clean::
 	rm -f $(GENFILES)
 	rm -f *.cm? *.o
 	cd ../caml && rm -f *.cm? *.o
-	rm -f ccomp
 
 depend: beforedepend
 	$(OCAMLDEP) ../caml/*.mli ../caml/*.ml *.mli *.ml > .depend
-- 
cgit v1.2.3