From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 28 Oct 2007 13:49:42 +0000 (+0000)
Subject: added patch for the configuration file
X-Git-Tag: 0.4.95@7852~85
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=211cd0ac98d67f185b867bbec6b20d086a6b183d

added patch for the configuration file
---

diff --git a/pkg-matita/trunk/debian/compat b/pkg-matita/trunk/debian/compat
new file mode 100644
index 000000000..7ed6ff82d
--- /dev/null
+++ b/pkg-matita/trunk/debian/compat
@@ -0,0 +1 @@
+5
diff --git a/pkg-matita/trunk/debian/control b/pkg-matita/trunk/debian/control
index 8376f2903..916adf987 100644
--- a/pkg-matita/trunk/debian/control
+++ b/pkg-matita/trunk/debian/control
@@ -3,7 +3,7 @@ Section: math
 Priority: optional
 Maintainer: Enrico Tassi <gareuselesinge@debian.org>
 Uploaders: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5
+Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5, dpatch
 Standards-Version: 3.7.2
 XS-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/pkg-matita/trunk/
 XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/software/pkg-matita/trunk/
diff --git a/pkg-matita/trunk/debian/patches/00dpatch.conf b/pkg-matita/trunk/debian/patches/00dpatch.conf
new file mode 100644
index 000000000..96bcc8772
--- /dev/null
+++ b/pkg-matita/trunk/debian/patches/00dpatch.conf
@@ -0,0 +1,2 @@
+conf_debianonly=1
+conf_origtargzpath=../tarballs/
diff --git a/pkg-matita/trunk/debian/patches/00list b/pkg-matita/trunk/debian/patches/00list
new file mode 100644
index 000000000..9a27854d1
--- /dev/null
+++ b/pkg-matita/trunk/debian/patches/00list
@@ -0,0 +1 @@
+matita.conf.xml.in.dpatch
diff --git a/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
new file mode 100755
index 000000000..d4648c7b2
--- /dev/null
+++ b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
@@ -0,0 +1,62 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## matita.conf.xml.in.dpatch by Enrico Tassi <gareuselesinge@debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+@DPATCH@
+diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
+--- trunk~/matita/matita.conf.xml.in	2007-10-28 14:10:17.000000000 +0100
++++ trunk/matita/matita.conf.xml.in	2007-10-28 14:41:45.000000000 +0100
+@@ -50,9 +50,11 @@
+          note that user's tables are named diffrently from library tables, so that
+ 	 they can coexists on the same db -->
+ 
++<!--
+     <key name="metadata">@DBHOST@ public helm none legacy</key>
+     <key name="metadata">@DBHOST@ matita helm none library</key>
+     <key name="metadata">@DBHOST@ matita helm none user</key>
++-->
+ 
+     <!-- The following snipset is used by the helm team to publish the matita
+          contributions
+@@ -64,9 +66,9 @@
+     <!-- The following snippet it what you want to use a local sqlite db
+          and acess remotely to the coq library trought mowgli
+     <key name="metadata">@DBHOST@ matita helm none legacy</key>
++-->
+     <key name="metadata">file://$(matita.rt_base_dir) metadata.db helm helm library</key>
+     <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
+-    -->
+ 
+     <!-- 
+     If you have a large amount of metadata, you may be interested in using
+@@ -97,11 +99,13 @@
+       (e.g. the Matita standard library)
+     "legacy" implies "ro"
+     -->
++<!--
+     <key name="prefix">
+       cic:/matita/
+       file:///projects/helm/library/matita_contribs/matita
+       ro
+     </key>
++-->
+     <key name="prefix">
+       cic:/matita/
+       file://$(matita.rt_base_dir)/xml/standard-library/
+@@ -111,6 +115,7 @@
+       cic:/matita/
+       file://$(user.home)/.matita/xml/matita/
+     </key>
++<!--
+     <key name="prefix">
+       cic:/
+       file://@RT_BASE_DIR@/xml/legacy-library/coq/
+@@ -126,5 +131,6 @@
+       http://mowgli.cs.unibo.it/xml/
+       legacy
+     </key>
++-->
+   </section>
+ </helm_registry>
diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
index 7807c48eb..06a874fd3 100755
--- a/pkg-matita/trunk/debian/rules
+++ b/pkg-matita/trunk/debian/rules
@@ -3,7 +3,7 @@
 include /usr/share/cdbs/1/class/makefile.mk
 include /usr/share/cdbs/1/class/autotools.mk
 include /usr/share/cdbs/1/rules/debhelper.mk
-
+include /usr/share/cdbs/1/rules/dpatch.mk
 
 DEB_CONFIGURE_EXTRA_FLAGS := \
   --with-runtime-dir=/usr/share/matita \