From 3d9348867e06089940b01bc50669347f83a28962 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 4 Apr 2019 09:02:28 +0100 Subject: [PATCH] Merge spawn.descr into spawn.opam Signed-off-by: Jeremie Dimino --- spawn.descr | 18 ------------------ spawn.opam | 19 +++++++++++++++++++ 2 files changed, 19 insertions(+), 18 deletions(-) delete mode 100644 spawn.descr diff --git a/spawn.descr b/spawn.descr deleted file mode 100644 index fa4a60c..0000000 --- a/spawn.descr +++ /dev/null @@ -1,18 +0,0 @@ -Spawning sub-processes - -Spawn is a small library exposing only one functionality: spawning sub-process. - -It has three main goals: - -1. provide missing features of Unix.create_process such as providing a -working directory - -2. provide better errors when a system call fails in the -sub-process. For instance if a command is not found, you get a proper -[Unix.Unix_error] exception - -3. improve performances by using vfork when available. It is often -claimed that nowadays fork is as fast as vfork, however in practice -fork takes time proportional to the process memory while vfork is -constant time. In application using a lot of memory, vfork can be -thousands of times faster than fork. diff --git a/spawn.opam b/spawn.opam index 790248b..7cf238f 100644 --- a/spawn.opam +++ b/spawn.opam @@ -17,3 +17,22 @@ depends: [ "ppx_expect" {test} "ocaml" {>= "4.02.3"} ] +synopsis: "Spawning sub-processes" +description: """ +Spawn is a small library exposing only one functionality: spawning sub-process. + +It has three main goals: + +1. provide missing features of Unix.create_process such as providing a +working directory + +2. provide better errors when a system call fails in the +sub-process. For instance if a command is not found, you get a proper +[Unix.Unix_error] exception + +3. improve performances by using vfork when available. It is often +claimed that nowadays fork is as fast as vfork, however in practice +fork takes time proportional to the process memory while vfork is +constant time. In application using a lot of memory, vfork can be +thousands of times faster than fork. +"""