From 709994143bff1a77545b4dc0e3d7d22894e92a09 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 28 Oct 2007 13:49:42 +0000 Subject: [PATCH] added patch for the configuration file --- helm/software/pkg-matita/trunk/debian/compat | 1 + helm/software/pkg-matita/trunk/debian/control | 2 +- .../trunk/debian/patches/00dpatch.conf | 2 + .../pkg-matita/trunk/debian/patches/00list | 1 + .../debian/patches/matita.conf.xml.in.dpatch | 62 +++++++++++++++++++ helm/software/pkg-matita/trunk/debian/rules | 2 +- 6 files changed, 68 insertions(+), 2 deletions(-) create mode 100644 helm/software/pkg-matita/trunk/debian/compat create mode 100644 helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf create mode 100644 helm/software/pkg-matita/trunk/debian/patches/00list create mode 100755 helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch diff --git a/helm/software/pkg-matita/trunk/debian/compat b/helm/software/pkg-matita/trunk/debian/compat new file mode 100644 index 000000000..7ed6ff82d --- /dev/null +++ b/helm/software/pkg-matita/trunk/debian/compat @@ -0,0 +1 @@ +5 diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control index 8376f2903..916adf987 100644 --- a/helm/software/pkg-matita/trunk/debian/control +++ b/helm/software/pkg-matita/trunk/debian/control @@ -3,7 +3,7 @@ Section: math Priority: optional Maintainer: Enrico Tassi Uploaders: Stefano Zacchiroli -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 index 000000000..96bcc8772 --- /dev/null +++ b/helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf @@ -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 index 000000000..9a27854d1 --- /dev/null +++ b/helm/software/pkg-matita/trunk/debian/patches/00list @@ -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 index 000000000..d4648c7b2 --- /dev/null +++ b/helm/software/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 +## +## 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 --> + ++ + + + file://$(matita.rt_base_dir) metadata.db helm helm library + file://$(matita.basedir) user.db helm helm user +- --> + + ++ + + cic:/matita/ + file://$(matita.rt_base_dir)/xml/standard-library/ +@@ -111,6 +115,7 @@ + cic:/matita/ + file://$(user.home)/.matita/xml/matita/ + ++ + + diff --git a/helm/software/pkg-matita/trunk/debian/rules b/helm/software/pkg-matita/trunk/debian/rules index 7807c48eb..06a874fd3 100755 --- a/helm/software/pkg-matita/trunk/debian/rules +++ b/helm/software/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 \ -- 2.39.2