src/Pure/System/numa.scala

--- a/src/Pure/System/numa.scala	Sat Sep 08 21:54:39 2018 +0200
+++ b/src/Pure/System/numa.scala	Sat Sep 08 22:09:52 2018 +0200
@@ -39,6 +39,12 @@
   def policy(node: Int): String =
     if (numactl_available) "numactl -m" + node + " -N" + node else ""
 
+  def policy_options(options: Options, numa_node: Option[Int]): Options =
+    numa_node match {
+      case None => options
+      case Some(n) => options.string("ML_process_policy") = policy(n)
+    }
+
 
   /* shuffling of CPU nodes */