From 1233298563ffb1d2b72a7caecd0c6c4e275100eb Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 19 Apr 2008 08:29:17 +0000 Subject: 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 --- extraction/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'extraction/Makefile') diff --git a/extraction/Makefile b/extraction/Makefile index 5729642c..54933cc0 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:: -- cgit