diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-04-19 08:29:17 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-04-19 08:29:17 +0000 |
| commit | 1233298563ffb1d2b72a7caecd0c6c4e275100eb (patch) | |
| tree | 2269428bee339f9344fbbf40426be328d00ac355 /extraction | |
| parent | c7a809eef32c277c7b7ccabcda4849f2e4b98326 (diff) | |
Compilo C, preprocesseur, assembleur sont determines par configure et mis dans Makefile.config
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@622 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extraction/Makefile b/extraction/Makefile index 5729642..54933cc 100644 --- a/extraction/Makefile +++ b/extraction/Makefile @@ -103,7 +103,11 @@ clean:: rm -f ../caml/CMlexer.ml ../caml/Configuration.ml: ../Makefile.config - echo 'let stdlib_path = "$(LIBDIR)"' > ../caml/Configuration.ml + (echo 'let stdlib_path = "$(LIBDIR)"'; \ + echo 'let prepro = "$(CPREPRO)"'; \ + echo 'let asm = "$(CASM)"'; \ + echo 'let linker = "$(CLINKER)"') \ + > ../caml/Configuration.ml beforedepend:: ../caml/Configuration.ml clean:: |