Commit 513794b4 authored by MARCHE Claude's avatar MARCHE Claude

resurrected HTML output in Jstree style

parent 1278abbe
......@@ -152,10 +152,8 @@ https://gforge.inria.fr/tracker/index.php?func=detail&aid=13736&group_id=2990
* (CLAUDE) why3session
- passe sur la documentation ecrite par Francois reecrite par Guillaume
- DONE "why3replayer -latex" remplacé par "why3session latex"
- "why3html" remplacé par "why3session html"
- "why3stats" (src/ide/stats.ml) remplacé par "why3session stats"
ou par "why3session info" avec des options
- DONE "why3html" remplacé par "why3session html"
- DONE "why3stats" (src/ide/stats.ml) remplacé par "why3session info --stats"
* (JCF) ameliorer why3doc
- rajouter la production des liens
......
......@@ -318,7 +318,6 @@ PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"
end
(*
module Jstree =
struct
......@@ -352,6 +351,8 @@ struct
if c <> 0 then
eprintf "[Error] '%s' stopped abnormaly : code %i" cmd c
let edited_dst = Filename.concat !output_dir "edited"
let find_pp edited =
let basename = Filename.basename edited in
try
......@@ -499,15 +500,15 @@ $(function () {
</html>
"
let run_files () =
let run_files config =
if !opt_context then
if not (Sys.file_exists edited_dst) then Unix.mkdir edited_dst 0o755;
Queue.iter (run_file context print_session) files;
iter_files (run_file context print_session);
if !opt_context then
let data_dir = Whyconf.datadir (Whyconf.get_main whyconf) in
let data_dir = Whyconf.datadir (Whyconf.get_main config) in
(** copy images *)
let img_dir_src = Filename.concat data_dir "images" in
let img_dir_dst = Filename.concat output_dir "images" in
let img_dir_dst = Filename.concat !output_dir "images" in
if not (Sys.file_exists img_dir_dst) then Unix.mkdir img_dir_dst 0o755;
List.iter (fun img_name ->
let from = Filename.concat img_dir_src img_name in
......@@ -516,28 +517,20 @@ $(function () {
["folder16.png";"file16.png";"wizard16.png";"configure16.png"];
(** copy javascript *)
let js_dir_src = Filename.concat data_dir "javascript" in
let js_dir_dst = Filename.concat output_dir "javascript" in
let js_dir_dst = Filename.concat !output_dir "javascript" in
Sysutil.copy_dir js_dir_src js_dir_dst
end
*)
let run_one fname =
match !opt_style with
| Table -> Table.run_one fname
| SimpleTree -> Simple.run_one fname
| Jstree ->
eprintf "style jstree not yet available@.";
exit 1
(* Jstree.run_files () *)
open Why3session_lib
let run () =
let _,_,should_exit1 = read_env_spec () in
let _,config,should_exit1 = read_env_spec () in
if should_exit1 then exit 1;
iter_files run_one
match !opt_style with
| Table -> iter_files Table.run_one
| SimpleTree -> iter_files Simple.run_one
| Jstree -> Jstree.run_files config
let cmd =
......
......@@ -231,7 +231,7 @@ let run_one fname =
session;
if !opt_tree_print then
printf "%a@." print_session session;
if !opt_stats_print then
if !opt_stats_print then
begin
let stats = new_proof_stats () in
fill_prover_data stats session;
......@@ -239,7 +239,7 @@ let run_one fname =
finalize_stats stats;
print_stats stats
end
let run () =
let _,_,should_exit1 = read_env_spec () in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment