etc/options
changeset 64308 b00508facb4f
parent 64130 e17c211a0bb6
child 64325 47e03cb99274
equal deleted inserted replaced
64307:c4d16f35c6e7 64308:b00508facb4f
   106   -- "build process output tail shown to user (in lines, 0 = unlimited)"
   106   -- "build process output tail shown to user (in lines, 0 = unlimited)"
   107 
   107 
   108 option checkpoint : bool = false
   108 option checkpoint : bool = false
   109   -- "checkpoint for theories during build process (heap compression)"
   109   -- "checkpoint for theories during build process (heap compression)"
   110 
   110 
       
   111 option profiling : string = ""
       
   112   -- "ML profiling (possible values: time, allocations)"
       
   113 
   111 
   114 
   112 section "ML System"
   115 section "ML System"
   113 
   116 
   114 option ML_print_depth : int = 20
   117 option ML_print_depth : int = 20
   115   -- "ML print depth for toplevel pretty-printing"
   118   -- "ML print depth for toplevel pretty-printing"