diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-03-09 09:38:44 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-03-09 09:38:44 +0000 |
| commit | b6e17910ddf7874e2d6d02623414674a654f9fcc (patch) | |
| tree | 2f4c1a4da309e07cfa80535f63aef604150c519d /extraction/Makefile | |
| parent | a0a5ac6bdf9450a57c2306aeda4b4add980c79bd (diff) | |
| download | compcert-b6e17910ddf7874e2d6d02623414674a654f9fcc.tar.gz compcert-b6e17910ddf7874e2d6d02623414674a654f9fcc.zip | |
Renommage List -> CList lors de l'extraction
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@8 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction/Makefile')
| -rw-r--r-- | extraction/Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
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 |