Porting GHC to Barrelfish: process.patch

cbits/runProcess.c

@@ -14 +14 @@
 
 #include "runProcess.h"
 
-#if !(defined(_MSC_VER) || defined(__MINGW32__) || defined(_WIN32))
+#if defined(barrelfish_HOST_OS)
+
+extern ProcHandle runInteractiveProcess( char *const args[], 
+                                         char *workingDirectory, 
+                                         char **environment, 
+                                         int fdStdIn, int fdStdOut, int fdStdErr,
+                                         int *pfdStdInput, 
+                                         int *pfdStdOutput, 
+                                         int *pfdStdError,
+                                         int set_inthandler, long inthandler, 
+                                         int set_quithandler, long quithandler,
+                                         int close_fds)
+{
+    printf("NYI runInteractiveProcess\n");
+    return NULL;
+}
+
+
+extern int terminateProcess( ProcHandle handle )
+{
+    printf("NYI terminateProcess\n");
+    return -1;
+}
+
+extern int getProcessExitCode( ProcHandle handle, int *pExitCode )
+{
+    printf("NYI getProcessExitCode\n");
+    return -1;
+}
+
+extern int waitForProcess( ProcHandle handle )
+{
+    printf("NYI waitForProcess\n");
+    return -1;
+}
+
+#elif !(defined(_MSC_VER) || defined(__MINGW32__) || defined(_WIN32))
 
 #include "execvpe.h"
 

config.sub

@@ -4 +4 @@
 #   2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation,
 #   Inc.
 
-timestamp='2006-07-02'
+timestamp='2010-08-10'
 
 # This file is (in principle) common to ALL GNU software.
 # The presence of a machine in this file suggests that SOME GNU software
@@ -1344 +1344 @@
         -zvmoe)
                 os=-zvmoe
                 ;;
+        -barrelfish)
+                os=-barrelfish
+                ;;
         -none)
                 ;;
         *)