diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-11 14:24:36 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-11 14:24:36 +0000 |
| commit | 035e249ab21833170f6f3c71f5767c88d457efca (patch) | |
| tree | cde1b9fdcee4de0fcdb2365d7a1cd81e12f41f11 /extraction/Makefile | |
| parent | 36b1620406c711df89263cc63cf0d1b6e393ecb8 (diff) | |
| download | compcert-035e249ab21833170f6f3c71f5767c88d457efca.tar.gz compcert-035e249ab21833170f6f3c71f5767c88d457efca.zip | |
MAJ suite ajouts dans Kildall. Compiler en code natif par defaut
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@92 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction/Makefile')
| -rw-r--r-- | extraction/Makefile | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/extraction/Makefile b/extraction/Makefile index e4dcdbec..0df787b6 100644 --- a/extraction/Makefile +++ b/extraction/Makefile @@ -2,7 +2,7 @@ FILES=\ Datatypes.ml Logic.ml Wf.ml Peano.ml Specif.ml Compare_dec.ml \ Bool.ml CList.ml Sumbool.ml BinPos.ml BinNat.ml BinInt.ml \ ZArith_dec.ml Zeven.ml Zmax.ml Zmisc.ml Zbool.ml Zpower.ml Zdiv.ml \ - Int.ml OrderedType.ml FSetList.ml FSetAVL.ml \ + Int.ml OrderedType.ml FSetInterface.ml FSetFacts.ml FSetList.ml FSetAVL.ml \ Coqlib.ml Maps.ml Sets.ml AST.ml Iteration.ml Integers.ml \ ../caml/Camlcoq.ml ../caml/Floataux.ml Floats.ml Parmov.ml Values.ml \ Mem.ml Globalenvs.ml \ @@ -39,13 +39,15 @@ OCAMLLIBS=unix.cma str.cma cil.cma COQINCL=-I ../lib -I ../common -I ../backend -I ../cfrontend COQEXEC=coqtop $(COQINCL) -batch -load-vernac-source -../ccomp: $(FILES:.ml=.cmo) - $(OCAMLC) -o ../ccomp $(OCAMLLIBS) $(FILES:.ml=.cmo) +executables: ../ccomp ../ccomp.byt + +../ccomp.byt: $(FILES:.ml=.cmo) + $(OCAMLC) -o ../ccomp.byt $(OCAMLLIBS) $(FILES:.ml=.cmo) clean:: rm -f ../ccomp -../ccomp.opt: $(FILES:.ml=.cmx) - $(OCAMLOPT) -o ../ccomp.opt $(OCAMLLIBS:.cma=.cmxa) $(FILES:.ml=.cmx) +../ccomp: $(FILES:.ml=.cmx) + $(OCAMLOPT) -o ../ccomp $(OCAMLLIBS:.cma=.cmxa) $(FILES:.ml=.cmx) clean:: rm -f ../ccomp.opt |