diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-01-27 12:51:22 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-01-28 09:54:07 +0100 |
| commit | 480ccf9c9866e9d05751d254bc98aa504263c1ec (patch) | |
| tree | c35012c5818d5b3ad3b552f7e8a396c94c9789d0 | |
| parent | c6da7e0f6add1198bbfbc690f7ccfc1474900573 (diff) | |
| download | ocaml-480ccf9c9866e9d05751d254bc98aa504263c1ec.tar.gz | |
Inria CI: add solaris to the list of supported platforms
| -rwxr-xr-x | tools/ci/inria/bootstrap/script | 4 | ||||
| -rwxr-xr-x | tools/ci/inria/light | 2 | ||||
| -rwxr-xr-x | tools/ci/inria/main | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/tools/ci/inria/bootstrap/script b/tools/ci/inria/bootstrap/script index 2169fc75be..8233ab7b71 100755 --- a/tools/ci/inria/bootstrap/script +++ b/tools/ci/inria/bootstrap/script @@ -91,7 +91,7 @@ echo jenkinsdir=${jenkinsdir} # Unix environment variables (e.g. PATH). case "${OCAML_ARCH}" in - bsd|macos|linux) ;; + bsd|macos|linux|solaris) ;; cygwin|cygwin64|mingw|mingw64) . /etc/profile . "$HOME/.profile" @@ -136,7 +136,7 @@ build='' host='' case "${OCAML_ARCH}" in - bsd) make=gmake ;; + bsd|solaris) make=gmake ;; macos) ;; linux) check_make_alldepend=true diff --git a/tools/ci/inria/light b/tools/ci/inria/light index 07ea6a81e6..d32d2f87cc 100755 --- a/tools/ci/inria/light +++ b/tools/ci/inria/light @@ -42,7 +42,7 @@ make=make jobs='' case "${OCAML_ARCH}" in - bsd) + bsd|solaris) make=gmake ;; cygwin|cygwin64|mingw|mingw64|msvc|msvc64) diff --git a/tools/ci/inria/main b/tools/ci/inria/main index 30db36e9ae..4c133fa599 100755 --- a/tools/ci/inria/main +++ b/tools/ci/inria/main @@ -71,7 +71,7 @@ echo jenkinsdir=${jenkinsdir} # Unix environment variables (e.g. PATH). case "${OCAML_ARCH}" in - bsd|macos|linux) ;; + bsd|macos|linux|solaris) ;; cygwin|cygwin64|mingw|mingw64) . /etc/profile . "$HOME/.profile" @@ -133,7 +133,7 @@ jobs='' bootstrap=false case "${OCAML_ARCH}" in - bsd) + bsd|solaris) make=gmake ;; macos) |