summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2006-05-09 16:01:59 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2006-05-09 16:01:59 +0000
commit355687746ea015edd58b20db2a138742f84b09dd (patch)
tree21bbc4db30eda86d6539974df1fb7b4e3492d126
parent10bc3be2459c94ece00d9ed8d201cc71fff34f5e (diff)
Introduction de OUTPUTEXE
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--config/Makefile.mingw3
-rw-r--r--config/Makefile.msvc3
2 files changed, 6 insertions, 0 deletions
diff --git a/config/Makefile.mingw b/config/Makefile.mingw
index 00adcd30a..8861b104a 100644
--- a/config/Makefile.mingw
+++ b/config/Makefile.mingw
@@ -72,6 +72,9 @@ MKLIB=rm -f $(1); ar rcs $(1) $(2)
### Canonicalize the name of a system library
SYSLIB=-l$(1)
+### Specify the name of the generated executable when calling the C compiler
+OUTPUTEXE=-o $(1)
+
### The ranlib command
RANLIBCMD=ranlib
diff --git a/config/Makefile.msvc b/config/Makefile.msvc
index e4dab5a6b..4e3a5e013 100644
--- a/config/Makefile.msvc
+++ b/config/Makefile.msvc
@@ -72,6 +72,9 @@ MKLIB=link /lib /nologo /debugtype:CV /out:$(1) $(2)
### Canonicalize the name of a system library
SYSLIB=$(1).lib
+### Specify the name of the generated executable when calling the C compiler
+OUTPUTEXE=/Fe$(1)
+
### The ranlib command
RANLIBCMD=