From 49ba026556fb44d5f2730d43a3e819d224fdc10c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 03:03:53 +0100 Subject: [PATCH] Use dune-build-info to put the version in buildTimeConf --- .gitignore | 1 - matita/dune-project | 1 + matita/matita/buildTimeConf.ml | 57 ++++++++++++++++++++++++++++++++++ matita/matita/dune | 2 +- 4 files changed, 59 insertions(+), 2 deletions(-) create mode 100644 matita/matita/buildTimeConf.ml diff --git a/.gitignore b/.gitignore index 43049bb11..4810a4e5a 100644 --- a/.gitignore +++ b/.gitignore @@ -22,7 +22,6 @@ matita/configure matita/components/extlib/componentsConf.ml matita/matita/matitaGeneratedGui.ml matita/matita/matita.conf.xml -matita/matita/buildTimeConf.ml matita/matita/matita.glade.utf8 matita/depend-stamp matita/config.status diff --git a/matita/dune-project b/matita/dune-project index a40f5a38f..8a85936cc 100644 --- a/matita/dune-project +++ b/matita/dune-project @@ -31,6 +31,7 @@ (ulex-camlp5 (= 1.3)) (ocaml-expat (= 1.1.0)) (lablgtk3-sourceview3 (= 3.1.3)) + dune-build-info (camlp5 (= 8.00.04))) (tags ("interactive theorem proving" "calculus of constructions"))) diff --git a/matita/matita/buildTimeConf.ml b/matita/matita/buildTimeConf.ml new file mode 100644 index 000000000..fab7db0cd --- /dev/null +++ b/matita/matita/buildTimeConf.ml @@ -0,0 +1,57 @@ +(* 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/ + *) + +let debug = true;; +let version = Option.value (Option.map Build_info.V1.Version.to_string (Build_info.V1.version())) ~default:"???"(* "%%PKG_MAINTAINER%%" *);; +let undo_history_size = 10;; +let console_history_size = 100;; +let browser_history_size = 100;; +let base_uri = "cic:/matita";; +let phrase_sep = ".";; +let blank_uri = "about:blank";; +let current_proof_uri = "about:current_proof";; +let default_font_size = 10;; +let script_font = "Monospace";; + + (** may be overridden with MATITA_RT_BASE_DIR environment variable, useful for + * binary distribution installed in user home directories *) +let runtime_base_dir = + try + Sys.getenv "MATITA_RT_BASE_DIR" + with Not_found -> "/home/claudio/ricerca/matita5/helm/matita/matita";; + +let images_dir = runtime_base_dir ^ "/icons" +let gtkrc_file = runtime_base_dir ^ "/matita.gtkrc" +let lang_file = runtime_base_dir ^ "/matita.lang" +let script_template = runtime_base_dir ^ "/matita.ma.templ" +let core_notation_script = runtime_base_dir ^ "/core_notation.moo" +let matita_conf = runtime_base_dir ^ "/matita.conf.xml" +let closed_xml = runtime_base_dir ^ "/closed.xml" +let gtkmathview_conf = runtime_base_dir ^ "/gtkmathview.matita.conf.xml" +let new_stdlib_dir_devel = runtime_base_dir ^ "/lib" +(* CSC: no installed standard library +let new_stdlib_dir_installed = runtime_base_dir ^ "/ma/new-standard-library" *) +let help_dir = runtime_base_dir ^ "/help" + diff --git a/matita/matita/dune b/matita/matita/dune index 34ad60b8f..55983d8e6 100644 --- a/matita/matita/dune +++ b/matita/matita/dune @@ -1,7 +1,7 @@ (library (name matita_cli) (wrapped false) - (libraries helm_grafite_engine lablgtk3-sourceview3) + (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info) (modules buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit)) -- 2.39.2