diff options
| author | shindere <Sebastien.Hinderer@inria.fr> | 2016-08-23 18:36:32 +0200 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2016-08-23 18:36:32 +0200 |
| commit | c0aeb5600fd48b7c82605e28e1d9fc8232cd1b65 (patch) | |
| tree | 9977798264cdfc0120195365bfdfc354b5f81832 /config | |
| parent | 365ad1e3cfcbece2b0717f8683b5dd69ddf5f0f3 (diff) | |
| download | ocaml-c0aeb5600fd48b7c82605e28e1d9fc8232cd1b65.tar.gz | |
Make sure all the makefiles define the UNIX_OR_WIN32 variable. (#775)
Diffstat (limited to 'config')
| -rw-r--r-- | config/Makefile.mingw | 1 | ||||
| -rw-r--r-- | config/Makefile.mingw64 | 1 | ||||
| -rw-r--r-- | config/Makefile.msvc | 1 | ||||
| -rw-r--r-- | config/Makefile.msvc64 | 1 |
4 files changed, 4 insertions, 0 deletions
diff --git a/config/Makefile.mingw b/config/Makefile.mingw index d261afb6e3..79ae48fe96 100644 --- a/config/Makefile.mingw +++ b/config/Makefile.mingw @@ -83,6 +83,7 @@ NATDYNLINK=true CMXS=cmxs RUNTIMED=noruntimed ASM_CFI_SUPPORTED=false +UNIX_OR_WIN32=win32 UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false diff --git a/config/Makefile.mingw64 b/config/Makefile.mingw64 index f6fddb937f..1b1d5a48c7 100644 --- a/config/Makefile.mingw64 +++ b/config/Makefile.mingw64 @@ -83,6 +83,7 @@ NATDYNLINK=true CMXS=cmxs RUNTIMED=noruntimed ASM_CFI_SUPPORTED=false +UNIX_OR_WIN32=win32 UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false diff --git a/config/Makefile.msvc b/config/Makefile.msvc index 0a657bfd06..951b66a038 100644 --- a/config/Makefile.msvc +++ b/config/Makefile.msvc @@ -77,6 +77,7 @@ CMXS=cmxs NATDYNLINK=true RUNTIMED=noruntimed ASM_CFI_SUPPORTED=false +UNIX_OR_WIN32=win32 UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false diff --git a/config/Makefile.msvc64 b/config/Makefile.msvc64 index dbc21d5d40..803a0d20ef 100644 --- a/config/Makefile.msvc64 +++ b/config/Makefile.msvc64 @@ -76,6 +76,7 @@ CMXS=cmxs NATDYNLINK=true RUNTIMED=noruntimed ASM_CFI_SUPPORTED=false +UNIX_OR_WIN32=win32 UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false |