X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/8c48d01c4b78dba6159c13438b06cb7e07a1f338..6150323d86c4feb54bc8e994f7a4e52c3b34c6ec:/interpretor/main.ml diff --git a/interpretor/main.ml b/interpretor/main.ml index a99a7a5..21c2a8e 100644 --- a/interpretor/main.ml +++ b/interpretor/main.ml @@ -21,18 +21,18 @@ let set_GC () = let _ = Gc.set { (Gc.get()) with Gc.space_overhead = 100 } in let _ = Gc.set { (Gc.get()) - with Gc.max_overhead = 0xFFFFF } in + with Gc.max_overhead = 0xFFF } in let _ = Gc.set { (Gc.get()) with Gc.stack_limit = 0xFFFFF } in let _ = Gc.set { (Gc.get()) - with Gc.allocation_policy = 0 } in + with Gc.allocation_policy = 1 } in () ;; let path_dsp = ref "";; let size_input = ref 0;; let inputs = ref [];; let time_max = ref 0xFFFF;; -let dir_output = ref "../output_sounds/";; +let dir_output = ref "";; let format_output = ref "wav";; let basename_output = ref "output";;