X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c0ac16bdf3099698bb61bb8183f047381a6c713e..e5b0e8bee502e61dfaaf2a5bc4b4d9d4938a9a2a:/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";;