summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2000-08-08 12:37:53 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2000-08-08 12:37:53 +0000
commitfeefbdb04daee6f989b85e1d5ab242c73be7a9be (patch)
tree35bf296390558f051998616f556fd3b300d4228d /configure
parentc36622eccda51c703e9318e1096c78c9fbbd552c (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-xconfigure15
1 files changed, 9 insertions, 6 deletions
diff --git a/configure b/configure
index 4db4bb80e..7e2286e87 100755
--- a/configure
+++ b/configure
@@ -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