From d3d5f731e9c130f5363e6c9bfadbc73315c07612 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 10 Jan 2023 18:28:41 +0100 Subject: [PATCH] unused componentsConf module removed --- matita/components/extlib/componentsConf.ml | 29 --------------- matita/components/extlib/componentsConf.ml.in | 29 --------------- matita/components/extlib/componentsConf.mli | 37 ------------------- matita/components/extlib/dune | 2 +- 4 files changed, 1 insertion(+), 96 deletions(-) delete mode 100644 matita/components/extlib/componentsConf.ml delete mode 100644 matita/components/extlib/componentsConf.ml.in delete mode 100644 matita/components/extlib/componentsConf.mli diff --git a/matita/components/extlib/componentsConf.ml b/matita/components/extlib/componentsConf.ml deleted file mode 100644 index 29adb1d6b..000000000 --- a/matita/components/extlib/componentsConf.ml +++ /dev/null @@ -1,29 +0,0 @@ -(* Copyright (C) 2006, 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/ - *) - -let debug = true -let profiling = debug -let src_root = "/home/claudio/ricerca/matita5/helm/matita" - diff --git a/matita/components/extlib/componentsConf.ml.in b/matita/components/extlib/componentsConf.ml.in deleted file mode 100644 index c24b74e58..000000000 --- a/matita/components/extlib/componentsConf.ml.in +++ /dev/null @@ -1,29 +0,0 @@ -(* Copyright (C) 2006, 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/ - *) - -let debug = @DEBUG@ -let profiling = debug -let src_root = "@SRCROOT@" - diff --git a/matita/components/extlib/componentsConf.mli b/matita/components/extlib/componentsConf.mli deleted file mode 100644 index 3d8548cf7..000000000 --- a/matita/components/extlib/componentsConf.mli +++ /dev/null @@ -1,37 +0,0 @@ -(* Copyright (C) 2006, 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/ - *) - -(** {2 Compile time components configuration} - * - * This module does not really belong to the extlib (where it is actually - * located) it is here just because it's the first in the component dependencies - * graph *) - -val debug: bool -val profiling: bool - - (** absolute path of the helm/software directory, only for development use *) -val src_root: string - diff --git a/matita/components/extlib/dune b/matita/components/extlib/dune index c10cd818e..69b5fbe48 100644 --- a/matita/components/extlib/dune +++ b/matita/components/extlib/dune @@ -1,7 +1,7 @@ (library (name helm_extlib) (libraries str unix camlp-streams camlp5.gramlib) ; camlp-streams should be pulled in by camlp5... - (modules (:standard \ componentsConf)) + (modules (:standard)) (wrapped false)) (env (_ -- 2.39.2