]> matita.cs.unibo.it Git - helm.git/commitdiff
added patch for the configuration file
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:49:42 +0000 (13:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:49:42 +0000 (13:49 +0000)
helm/software/pkg-matita/trunk/debian/compat [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/control
helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/patches/00list [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch [new file with mode: 0755]
helm/software/pkg-matita/trunk/debian/rules

diff --git a/helm/software/pkg-matita/trunk/debian/compat b/helm/software/pkg-matita/trunk/debian/compat
new file mode 100644 (file)
index 0000000..7ed6ff8
--- /dev/null
@@ -0,0 +1 @@
+5
index 8376f2903c5d17b2bd1ea983a1e762c734d8ccb7..916adf987e743a274ce22d8d9340f5becf9fd755 100644 (file)
@@ -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/helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf b/helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf
new file mode 100644 (file)
index 0000000..96bcc87
--- /dev/null
@@ -0,0 +1,2 @@
+conf_debianonly=1
+conf_origtargzpath=../tarballs/
diff --git a/helm/software/pkg-matita/trunk/debian/patches/00list b/helm/software/pkg-matita/trunk/debian/patches/00list
new file mode 100644 (file)
index 0000000..9a27854
--- /dev/null
@@ -0,0 +1 @@
+matita.conf.xml.in.dpatch
diff --git a/helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch b/helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
new file mode 100755 (executable)
index 0000000..d4648c7
--- /dev/null
@@ -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>
index 7807c48eb327154b10a3d238758bd0d57fde4991..06a874fd3a3e4a65d5e118a7fedd9a90f568a2d7 100755 (executable)
@@ -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 \