diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-08-08 12:37:53 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-08-08 12:37:53 +0000 |
commit | feefbdb04daee6f989b85e1d5ab242c73be7a9be (patch) | |
tree | 35bf296390558f051998616f556fd3b300d4228d /configure | |
parent | c36622eccda51c703e9318e1096c78c9fbbd552c (diff) |
Pour HAS_SELECT, verifier l'existence du type fd_set (PR#158)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -602,18 +602,21 @@ if sh ./hasgot truncate ftruncate; then echo "#define HAS_TRUNCATE" >> s.h fi +select_include='' +if sh ./hasgot -i sys/types.h -i sys/select.h; then + echo "sys/select.h found." + echo "#define HAS_SYS_SELECT_H" >> s.h + select_include='-i sys/select.h' +fi + has_select=no -if sh ./hasgot select; then +if sh ./hasgot select && \ + sh ./hasgot -i sys/types.h $select_include -t fd_set ; then echo "select() found." echo "#define HAS_SELECT" >> s.h has_select=yes fi -if sh ./hasgot -i sys/types.h -i sys/select.h; then - echo "sys/select.h found." - echo "#define HAS_SYS_SELECT_H" >> s.h -fi - if sh ./hasgot symlink readlink lstat; then echo "symlink() found." echo "#define HAS_SYMLINK" >> s.h |