1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
(**************************************************************************)
(* *)
(* Copyright (C) Johannes Kanig, Stephane Lescuyer *)
(* Jean-Christophe Filliatre, Romain Bardou and Francois Bobot *)
(* *)
(* This software is free software; you can redistribute it and/or *)
(* modify it under the terms of the GNU Library General Public *)
(* License version 2.1, with the special exception on linking *)
(* described in file LICENSE. *)
(* *)
(* This software is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
(* *)
(**************************************************************************)
#ifdef CAIRO
let supported = true
module M = Mps
open Icairost
let emit_pdf = emit_pdf
let emit_ps = emit_ps
let emit_png = emit_png
let emit_svg = emit_svg
let emit_pdfs = emit_pdfs
type cairo_t = Cairo.t
let emit_cairo = emit_cairo
(*let emit_cairo = fun x -> ()*)
let dump_pdf () =
Queue.iter (fun (fname,fig) ->
let pdfname = File.mk fname "pdf" in
let pdfname_s = File.to_string pdfname in
try emit_pdf pdfname_s fig
with
| Cairo.Error status ->
Format.printf "An@ internal@ error@ occured@ during@ the\
generation@ of@ %s@ with@ Cairo :@ %s@."
pdfname_s (Cairo.string_of_status status)
| error ->
Format.printf "An@ internal@ error@ occured@ during@ the\
@ generation@ of@ %s :@ %s@."
pdfname_s (Printexc.to_string error)
) Defaults.figures
let dump_pdfs fname =
let figs =
List.rev (Queue.fold (fun l (_,x) -> x::l) [] Defaults.figures) in
emit_pdfs (fname^".pdf") figs
let generate_pdfs pdffile figs = List.iter
(fun (i,fig) -> emit_pdf ~msg_error:100.
(Printf.sprintf "%s-%i.pdf" pdffile i) fig) figs
let dump_ext ext f () =
Queue.iter (fun (fname,fig) ->
let s = File.to_string (File.mk fname ext) in
f s fig) Defaults.figures
let dump_ps = dump_ext "ps" emit_ps
let dump_png = dump_ext "png" emit_png
let dump_svg = dump_ext "svg" emit_svg
#else
let supported = false
let float_of_num n = failwith "Cairost.float_of_num : not supported"
let emit_pdf ?msg_error s c = failwith "Cairost.emit_pdf: not supported"
let emit_png s c = failwith "Cairost.emit_png: not supported"
let emit_ps s c = failwith "Cairost.emit_ps: not supported"
let emit_svg s c = failwith "Cairost.emit_svg: not supported"
let emit_pdfs s c = failwith "Cairost.emit_pdfs: not supported"
let dump_pdf _ = failwith "Cairost.dump_pdf : not supported"
let dump_pdfs _ = failwith "Cairost.dump_pdfs : not supported"
let dump_ps _ = failwith "Cairost.dump_ps : not supported"
let dump_png _ = failwith "Cairost.dump_png : not supported"
let dump_svg _ = failwith "Cairost.dump_svg : not supported"
let generate_pdfs _ _ = failwith "Cairost.generate_pdfs : not supported"
type cairo_t = unit
let emit_cairo _ _ _ = failwith "Cairost.emit_cairo : not supported"
#endif
|
