projects
/
Faustine.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Examples' Makefiles are completed and tested.
[Faustine.git]
/
interpretor
/
main.ml
diff --git
a/interpretor/main.ml
b/interpretor/main.ml
index
a99a7a5
..
21c2a8e
100644
(file)
--- 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())
let _ = Gc.set { (Gc.get())
with Gc.space_overhead = 100 } in
let _ = Gc.set { (Gc.get())
- with Gc.max_overhead = 0xFFF
FF
} in
+ with Gc.max_overhead = 0xFFF } in
let _ = Gc.set { (Gc.get())
with Gc.stack_limit = 0xFFFFF } in
let _ = Gc.set { (Gc.get())
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 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";;
let format_output = ref "wav";;
let basename_output = ref "output";;