From 0a998291d3c67c8688fa99954bcaee1b91afbf19 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 15:14:49 +0000 Subject: [PATCH] added build time configuration of the whole components/ dir --- helm/ocaml/extlib/.depend | 6 ++++-- helm/ocaml/extlib/Makefile | 1 + helm/ocaml/extlib/componentsConf.ml.in | 28 ++++++++++++++++++++++++++ helm/ocaml/extlib/componentsConf.mli | 28 ++++++++++++++++++++++++++ 4 files changed, 61 insertions(+), 2 deletions(-) create mode 100644 helm/ocaml/extlib/componentsConf.ml.in create mode 100644 helm/ocaml/extlib/componentsConf.mli diff --git a/helm/ocaml/extlib/.depend b/helm/ocaml/extlib/.depend index b11273f7a..e2c9fc2b8 100644 --- a/helm/ocaml/extlib/.depend +++ b/helm/ocaml/extlib/.depend @@ -1,5 +1,7 @@ -hExtlib.cmo: hExtlib.cmi -hExtlib.cmx: hExtlib.cmi +componentsConf.cmo: componentsConf.cmi +componentsConf.cmx: componentsConf.cmi +hExtlib.cmo: componentsConf.cmi hExtlib.cmi +hExtlib.cmx: componentsConf.cmx hExtlib.cmi hMarshal.cmo: hExtlib.cmi hMarshal.cmi hMarshal.cmx: hExtlib.cmx hMarshal.cmi patternMatcher.cmo: patternMatcher.cmi diff --git a/helm/ocaml/extlib/Makefile b/helm/ocaml/extlib/Makefile index d2e5cddf6..4e5c9b5a9 100644 --- a/helm/ocaml/extlib/Makefile +++ b/helm/ocaml/extlib/Makefile @@ -2,6 +2,7 @@ PACKAGE = extlib PREDICATES = INTERFACE_FILES = \ + componentsConf.mli \ hExtlib.mli \ hMarshal.mli \ patternMatcher.mli \ diff --git a/helm/ocaml/extlib/componentsConf.ml.in b/helm/ocaml/extlib/componentsConf.ml.in new file mode 100644 index 000000000..528e90a1c --- /dev/null +++ b/helm/ocaml/extlib/componentsConf.ml.in @@ -0,0 +1,28 @@ +(* 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 + diff --git a/helm/ocaml/extlib/componentsConf.mli b/helm/ocaml/extlib/componentsConf.mli new file mode 100644 index 000000000..79462bbf4 --- /dev/null +++ b/helm/ocaml/extlib/componentsConf.mli @@ -0,0 +1,28 @@ +(* 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/ + *) + +val debug: bool +val profiling: bool + -- 2.39.5