From: Stefano Zacchiroli Date: Wed, 15 Jun 2005 12:56:49 +0000 (+0000) Subject: we no longer use pxp X-Git-Tag: PRE_STORAGE~3 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=df297b3b5937180caf9c1be52b18c1d29d7112de;p=helm.git we no longer use pxp --- diff --git a/helm/ocaml/pxp/.cvsignore b/helm/ocaml/pxp/.cvsignore deleted file mode 100644 index 6b3eba302..000000000 --- a/helm/ocaml/pxp/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend deleted file mode 100644 index 194343c47..000000000 --- a/helm/ocaml/pxp/.depend +++ /dev/null @@ -1,4 +0,0 @@ -pxpUrlResolver.cmo: pxpUrlResolver.cmi -pxpUrlResolver.cmx: pxpUrlResolver.cmi -pxpHelmConf.cmo: pxpHelmConf.cmi -pxpHelmConf.cmx: pxpHelmConf.cmi diff --git a/helm/ocaml/pxp/Makefile b/helm/ocaml/pxp/Makefile deleted file mode 100644 index 9086aa0c2..000000000 --- a/helm/ocaml/pxp/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -PACKAGE = pxp -REQUIRES = pxp-engine pxp-lex-utf8 pxp-lex-iso88591 pxp-lex-iso885915 http -PREDICATES = - -INTERFACE_FILES = pxpUrlResolver.mli pxpHelmConf.mli -IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) -EXTRA_OBJECTS_TO_INSTALL = -EXTRA_OBJECTS_TO_CLEAN = - -include ../Makefile.common diff --git a/helm/ocaml/pxp/pxpHelmConf.ml b/helm/ocaml/pxp/pxpHelmConf.ml deleted file mode 100644 index 88969df11..000000000 --- a/helm/ocaml/pxp/pxpHelmConf.ml +++ /dev/null @@ -1,38 +0,0 @@ -(* Copyright (C) 2004, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM 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. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://helm.cs.unibo.it/ - *) - -class warner = - object - method warn w = prerr_endline ("Pxp warning: " ^ w) - end - -let pxp_config = - { Pxp_types.default_config with - Pxp_types.encoding = `Enc_utf8; - Pxp_types.warner = new warner - } - -let pxp_spec = Pxp_tree_parser.default_spec - diff --git a/helm/ocaml/pxp/pxpHelmConf.mli b/helm/ocaml/pxp/pxpHelmConf.mli deleted file mode 100644 index d18d63239..000000000 --- a/helm/ocaml/pxp/pxpHelmConf.mli +++ /dev/null @@ -1,28 +0,0 @@ -(* Copyright (C) 2004, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM 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. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://helm.cs.unibo.it/ - *) - -val pxp_config: Pxp_types.config -val pxp_spec: ('a Pxp_document.node Pxp_document.extension as 'a) Pxp_document.spec - diff --git a/helm/ocaml/pxp/pxpUrlResolver.ml b/helm/ocaml/pxp/pxpUrlResolver.ml deleted file mode 100644 index 81daaf739..000000000 --- a/helm/ocaml/pxp/pxpUrlResolver.ml +++ /dev/null @@ -1,84 +0,0 @@ -(* Copyright (C) 2000, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM 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. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://cs.unibo.it/helm/. - *) - -(* cut and paste from ../getter/clientHTTP.ml *) -exception HttpClientError of string * string;; (* reason, uri *) - -let send cmd = - try - ignore (Http_user_agent.get cmd) - with - e -> raise (HttpClientError (Printexc.to_string e, cmd)) -;; - -let get uri = - try - Http_user_agent.get uri - with - e -> raise (HttpClientError (Printexc.to_string e, uri)) -;; - -let get_and_save uri dest_filename = - let reply = get uri - and out_channel = open_out dest_filename in - output_string out_channel reply ; - close_out out_channel -;; - -let get_and_save_to_tmp uri = - let flat_string s s' c = - let cs = String.copy s in - for i = 0 to (String.length s) - 1 do - if String.contains s' s.[i] then cs.[i] <- c - done ; - cs - in - let user = try Unix.getlogin () with _ -> "" in - let tmp_file = - Filename.temp_file (user ^ flat_string uri ".-=:;!?/&" '_') "" - in - get_and_save uri tmp_file ; - tmp_file -;; -(* / cut and paste from ../getter/clientHTTP.ml *) - -let url_resolver = - let url_of_id = - function - Pxp_types.System url -> - let http = Hashtbl.find Neturl.common_url_syntax "http" in - Neturl.url_of_string http url - | _ -> raise Pxp_reader.Not_competent - in - let channel_of_url _ url = - let file = get_and_save_to_tmp (Neturl.string_of_url url) in - let ch = open_in file in - Unix.unlink file ; - ch,None - in - new Pxp_reader.resolve_read_url_channel - ~url_of_id ~channel_of_url () -;; - diff --git a/helm/ocaml/pxp/pxpUrlResolver.mli b/helm/ocaml/pxp/pxpUrlResolver.mli deleted file mode 100644 index 07ac2fb95..000000000 --- a/helm/ocaml/pxp/pxpUrlResolver.mli +++ /dev/null @@ -1,27 +0,0 @@ -(* Copyright (C) 2000, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM 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. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://cs.unibo.it/helm/. - *) - -(* This resolver uses ClientHTTP to download the files from the Web *) -val url_resolver : Pxp_reader.resolver