Implement OS.system

Author: layus

vm/boostenv/lib/OS.oz

@@ -75,6 +75,7 @@ export
 
    GetHostByName
    UName
+   System
 
    % Process management
    SpawnProcess
@@ -196,6 +197,7 @@ define
 
    GetHostByName = Boot_OS.getHostByName
    UName = Boot_OS.uName
+   System = Boot_OS.system
 
    %% Process management
 

vm/boostenv/main/modos.hh

@@ -457,6 +457,19 @@ public:
     }
   };
 
+  class System: public Builtin<System> {
+  public:
+    System(): Builtin("system") {}
+
+    static void call(VM vm, In cmd, Out status) {
+      size_t cmdBufSize = ozVSLengthForBuffer(vm, cmd);
+      std::string cmdStr;
+
+      ozVSGet(vm, cmd, cmdBufSize, cmdStr);
+      status = build(vm, system(cmdStr.c_str()));
+    }
+  };
+
   // Socket I/O
 
 private: