From b6e17910ddf7874e2d6d02623414674a654f9fcc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 9 Mar 2006 09:38:44 +0000
Subject: Renommage List -> CList lors de l'extraction

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@8 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 extraction/Makefile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'extraction/Makefile')

diff --git a/extraction/Makefile b/extraction/Makefile
index 9dc6351f..ed590f24 100644
--- a/extraction/Makefile
+++ b/extraction/Makefile
@@ -1,6 +1,6 @@
 FILES=\
   Datatypes.ml Logic.ml Wf.ml Peano.ml Specif.ml Compare_dec.ml \
-  Bool.ml List.ml Sumbool.ml BinPos.ml BinNat.ml BinInt.ml \
+  Bool.ml CList.ml Sumbool.ml BinPos.ml BinNat.ml BinInt.ml \
   ZArith_dec.ml Zeven.ml Zmin.ml Zmisc.ml Zbool.ml Zpower.ml Zdiv.ml \
   FSetInterface.ml FSetBridge.ml FSetList.ml FSetAVL.ml \
   Coqlib.ml Maps.ml Sets.ml union_find.ml AST.ml Integers.ml \
@@ -39,22 +39,23 @@ COQEXEC=coqtop $(COQINCL) -batch -load-vernac-source
 clean::
 	rm -f ../ccomp
 
-../ccomp.opt: Pack.cmx
-	$(OCAMLOPT) -o ../ccomp.opt Pack.cmx
+../ccomp.opt: $(FILES:.ml=.cmx)
+	$(OCAMLOPT) -o ../ccomp.opt $(FILES:.ml=.cmx)
 clean::
 	rm -f ../ccomp.opt
 
-Pack.cmx: $(FILES:.ml=.cmx)
-	$(OCAMLOPT) -pack -o Pack.cmx $(FILES:.ml=.cmx)
-
 extraction:
 	@rm -f $(GENFILES)
 	$(COQEXEC) extraction.v
 	@echo "Fixing file names..."
+	@mv list.ml CList.ml
+	@mv list.mli CList.mli
 	@for i in $(GENFILES); do \
           j=`./uncapitalize $$i`; \
           test -f $$i || (test -f $$j && mv $$j $$i); \
          done
+	@echo "Conversion List -> CList..."
+	@perl -p -i -e 's/\bList\b/CList/g;' $(GENFILES)
 	@echo "Patching files..."
 	@for i in *.patch; do patch < $$i; done
 
-- 
cgit