repo.or.cz
/
dormin.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Hardware skinning
[dormin.git]
/
slice.ml
blob
58ddd597bb19eaeb9a6edc5530a9e5ed007ebd2c
1
let
slice
=
ref
`none
2
3
let
add
name data
=
4
match
!
slice
with
5
|
`none
-> ()
6
|
`oc oc
->
7
Format
.
printf
"adding
%s
@."
name
;
8
output_char oc '
\000
'
;
9
output_string oc name
;
10
output_char oc '
\000
'
;
11
output_string oc data
;
12
|
`dir dir
->
13
let
oc
=
open_out_bin
(
Filename
.
concat dir name
)
in
14
output_string
oc
data
;
15
close_out
oc
16
;;
17
18
let
openslice
name
=
19
if
Sys
.
is_directory name
20
then
21
slice
:=
`dir name
22
else
23
let
oc
=
open_out_bin name
in
24
slice
:=
`
oc oc
;
25
;;