MPR#7640: reimplementation of Unix.execvpe (#1414)

Use the system-provided execvpe() if possible.  Otherwise, use
a serious reimplementation written in OCaml and patterned after
the Glibc execvpe() implementation.

Added a test in tests/lib-unix/unix-execvpe.

Don't test Unix.execvpe if we are using the system-provided implementation.
The execvpe() functions provided by Win32 and Cygwin aren't quite to
our specs.  At any rate, the test is there to find bugs in our
implementation of execvpe(), not in others's.

1 files changed, 5 insertions, 0 deletions

diff --git a/configure b/configure
index abfd1bbc4b..ebc71ed329 100755
--- a/configure
+++ b/configure
@@ -1576,6 +1576,11 @@ if sh ./hasgot -i sys/shm.h; then
   echo "#define HAS_SYS_SHM_H" >> s.h
 fi
 
+if sh ./hasgot execvpe; then
+  inf "execvpe() found."
+  echo "#define HAS_EXECVPE" >> s.h
+fi
+
 # Determine if the debugger is supported
 
 if test -n "$with_debugger"; then