etc/options

   -- "ML process command prefix (process policy)"
 
 
 section "PIDE Build"
 
-option pide_session : bool = true
+option pide_session : bool = false
   -- "build session heaps via PIDE"
 
 option pide_exports : bool = true
   -- "store PIDE export artifacts"