X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/8c48d01c4b78dba6159c13438b06cb7e07a1f338..e8e5ebaac3fd20af4989400e61811dc59ccbc6b8:/interpretor/main.ml?ds=inline 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";;