[Pkg-ocaml-maint-commits] r4750 - in /trunk/packages/matita: ./ build-area/ tarballs/ trunk/ trunk/debian/ trunk/debian/patches/
gareuselesinge at users.alioth.debian.org
gareuselesinge at users.alioth.debian.org
Sat Nov 17 16:18:26 UTC 2007
Author: gareuselesinge
Date: Sat Nov 17 16:18:26 2007
New Revision: 4750
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4750
Log:
added matita package
Added:
trunk/packages/matita/
trunk/packages/matita/build-area/
trunk/packages/matita/tarballs/
trunk/packages/matita/tarballs/matita-0.4.97.tar.gz (with props)
trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz (with props)
trunk/packages/matita/trunk/
trunk/packages/matita/trunk/debian/ (with props)
trunk/packages/matita/trunk/debian/TODO.Debian
trunk/packages/matita/trunk/debian/changelog
trunk/packages/matita/trunk/debian/compat
trunk/packages/matita/trunk/debian/control
trunk/packages/matita/trunk/debian/copyright
trunk/packages/matita/trunk/debian/matita-standard-library.dirs
trunk/packages/matita/trunk/debian/matita-standard-library.install
trunk/packages/matita/trunk/debian/matita.dirs
trunk/packages/matita/trunk/debian/matita.install
trunk/packages/matita/trunk/debian/matita.menu
trunk/packages/matita/trunk/debian/patches/
trunk/packages/matita/trunk/debian/patches/00dpatch.conf
trunk/packages/matita/trunk/debian/patches/00list
trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch (with props)
trunk/packages/matita/trunk/debian/rules (with props)
Added: trunk/packages/matita/tarballs/matita-0.4.97.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita-0.4.97.tar.gz?rev=4750&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/matita/tarballs/matita-0.4.97.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz (added)
+++ trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz Sat Nov 17 16:18:26 2007
@@ -1,0 +1,1 @@
+link matita-0.4.97.tar.gz
Propchange: trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz
------------------------------------------------------------------------------
svn:special = *
Propchange: trunk/packages/matita/trunk/debian/
------------------------------------------------------------------------------
mergeWithUpstream = 1
Added: trunk/packages/matita/trunk/debian/TODO.Debian
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/TODO.Debian?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/TODO.Debian (added)
+++ trunk/packages/matita/trunk/debian/TODO.Debian Sat Nov 17 16:18:26 2007
@@ -1,0 +1,1 @@
+- manpages have wrong patch for conffile
Added: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (added)
+++ trunk/packages/matita/trunk/debian/changelog Sat Nov 17 16:18:26 2007
@@ -1,0 +1,12 @@
+matita (0.4.97-1) unstable; urgency=low
+
+ * New version svn tag 0.4.96.
+
+ -- Enrico Tassi <gareuselesinge at debian.org> Fri, 16 Nov 2007 20:37:55 +0100
+
+matita (0.4.96-1) unstable; urgency=low
+
+ * First upload of svn tag 0.4.96 (Closes: #448156).
+
+ -- Enrico Tassi <gareuselesinge at debian.org> Fri, 26 Oct 2007 11:25:03 +0200
+
Added: trunk/packages/matita/trunk/debian/compat
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/compat?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/compat (added)
+++ trunk/packages/matita/trunk/debian/compat Sat Nov 17 16:18:26 2007
@@ -1,0 +1,1 @@
+5
Added: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/control (added)
+++ trunk/packages/matita/trunk/debian/control Sat Nov 17 16:18:26 2007
@@ -1,0 +1,35 @@
+Source: matita
+Section: math
+Priority: optional
+Maintainer: Enrico Tassi <gareuselesinge at debian.org>
+Uploaders: Stefano Zacchiroli <zack at debian.org>
+Homepage: http://matita.cs.unibo.it
+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, help2man
+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/
+
+Package: matita
+Architecture: any
+Depends: ${shlibs:Depends}
+Recommends: matita-standard-library, graphviz
+Description: interactive theorem prover
+ Matita is a graphical interactive theorem prover based on the Calculus of
+ (Co)Inductive Constructions.
+ .
+ Matita adopts XML-encoded proof objects are produced for storage and exchange.
+ This makes it compatible, at some extent, with Coq.
+ .
+ The graphical interface has been inspired by CtCoq and Proof General. It
+ supports high quality bidimensional rendering of proofs and formulae
+ transformed on-the-fly to MathML markup
+
+Package: matita-standard-library
+Architecture: all
+Depends: matita (= ${binary:Version})
+Description: standard library for the Matita interactive theorem prover
+ Matita is a graphical interactive theorem prover based on the Calculus of
+ (Co)Inductive Constructions.
+ .
+ This package contains the standard library of theorems of the
+ matita interactive theorem prover.
Added: trunk/packages/matita/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/copyright?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/copyright (added)
+++ trunk/packages/matita/trunk/debian/copyright Sat Nov 17 16:18:26 2007
@@ -1,0 +1,29 @@
+This package was debianized by Enrico Tassi <gareuselesinge at debian.org>
+Wed Oct 17 17:48:32 CEST 2007.
+
+It was downloaded from http://matita.cs.unibo.it.
+
+Copyright © 2000-2007 The Matita Team.
+The software is released under the terms of the GNU/GPL license.
+See /usr/share/common-licenses/GPL
+
+File components/extlib/trie.ml:
+Copyright (C) 2000 Jean-Christophe FILLIATRE
+Released under LGPL version 2
+See /usr/share/common-licenses/LGPL-2
+
+File components/syntax_extensions/data/dictionary-tex.xml:
+Copyright (C) 2002-2003 Luca Padovani <lpadovan at cs.unibo.it>,
+ 2003 Paolo Marinelli <pmarinel at cs.unibo.it>.
+Released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
+All .ma files are released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
+Files components/tactics/setoids.ml, components/tactics/setoids.mli and
+components/tactics/fourier.ml are part of The Coq Proof Assistant
+Copyright (C) The Coq Development Team
+Released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
Added: trunk/packages/matita/trunk/debian/matita-standard-library.dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/matita-standard-library.dirs?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/matita-standard-library.dirs (added)
+++ trunk/packages/matita/trunk/debian/matita-standard-library.dirs Sat Nov 17 16:18:26 2007
@@ -1,0 +1,2 @@
+/usr/share/matita/ma/
+/usr/share/matita/xml/
Added: trunk/packages/matita/trunk/debian/matita-standard-library.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/matita-standard-library.install?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/matita-standard-library.install (added)
+++ trunk/packages/matita/trunk/debian/matita-standard-library.install Sat Nov 17 16:18:26 2007
@@ -1,0 +1,3 @@
+/usr/share/matita/ma/
+/usr/share/matita/xml/
+/usr/share/matita/metadata.db
Added: trunk/packages/matita/trunk/debian/matita.dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/matita.dirs?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/matita.dirs (added)
+++ trunk/packages/matita/trunk/debian/matita.dirs Sat Nov 17 16:18:26 2007
@@ -1,0 +1,2 @@
+/usr/bin
+/usr/share/matita/
Added: trunk/packages/matita/trunk/debian/matita.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/matita.install?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/matita.install (added)
+++ trunk/packages/matita/trunk/debian/matita.install Sat Nov 17 16:18:26 2007
@@ -1,0 +1,16 @@
+usr/share/matita/help
+usr/share/matita/icons
+usr/share/matita/AUTHORS
+usr/share/matita/LICENSE
+usr/share/matita/*.xml
+usr/share/matita/*.in
+usr/share/matita/*.lang
+usr/share/matita/*.gtkrc
+usr/share/matita/*.moo
+usr/share/matita/*.templ
+usr/share/matita/matita usr/bin/
+usr/share/matita/matitac usr/bin/
+usr/share/matita/matitamake usr/bin/
+usr/share/matita/matitadep usr/bin/
+usr/share/matita/matitaclean usr/bin/
+usr/share/man/* usr/share/man/
Added: trunk/packages/matita/trunk/debian/matita.menu
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/matita.menu?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/matita.menu (added)
+++ trunk/packages/matita/trunk/debian/matita.menu Sat Nov 17 16:18:26 2007
@@ -1,0 +1,6 @@
+?package(matita):needs="X11" \
+ section="Applications/Science/Mathematics" \
+ title="Matita" \
+ longtitle="Matita interactive theorem prover" \
+ command="/usr/bin/matita" \
+ icon="/usr/share/matita/icons/matita-32.xpm"
Added: trunk/packages/matita/trunk/debian/patches/00dpatch.conf
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/00dpatch.conf?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/00dpatch.conf (added)
+++ trunk/packages/matita/trunk/debian/patches/00dpatch.conf Sat Nov 17 16:18:26 2007
@@ -1,0 +1,2 @@
+conf_debianonly=1
+conf_origtargzpath=../tarballs/
Added: trunk/packages/matita/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/00list?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/00list (added)
+++ trunk/packages/matita/trunk/debian/patches/00list Sat Nov 17 16:18:26 2007
@@ -1,0 +1,1 @@
+matita.conf.xml.in.dpatch
Added: trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch (added)
+++ trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch Sat Nov 17 16:18:26 2007
@@ -1,0 +1,60 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## matita.conf.xml.in.dpatch by Enrico Tassi <gareuselesinge at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
+--- trunk~/matita/matita.conf.xml.in 2007-10-29 17:13:47.000000000 +0100
++++ trunk/matita/matita.conf.xml.in 2007-11-07 15:57:56.000000000 +0100
+@@ -49,17 +49,17 @@
+ <!-- The following snippet is used by the helm team
+ note that user's tables are named diffrently from library tables,
+ so they can coexists on the same db -->
+-
++<!--
+ <key name="metadata">@DBHOST@ matita helm none legacy</key>
+ <key name="metadata">@DBHOST@ public helm none library</key>
+ <key name="metadata">@DBHOST@ matita helm none user</key>
+-
++-->
+ <!-- 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
+@@ -90,11 +90,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/
+@@ -104,6 +106,7 @@
+ cic:/matita/
+ file://$(user.home)/.matita/xml/matita/
+ </key>
++<!--
+ <key name="prefix">
+ cic:/
+ file://@RT_BASE_DIR@/xml/legacy-library/coq/
+@@ -119,5 +122,6 @@
+ http://mowgli.cs.unibo.it/xml/
+ legacy
+ </key>
++-->
+ </section>
+ </helm_registry>
Propchange: trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/matita/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/rules?rev=4750&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/rules (added)
+++ trunk/packages/matita/trunk/debian/rules Sat Nov 17 16:18:26 2007
@@ -1,0 +1,53 @@
+#!/usr/bin/make -f
+
+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 \
+ --prefix=/usr/ \
+ --with-dbhost=FAKE_HOST
+DEB_DESTDIR := debian/tmp/
+DEB_DH_INSTALL_SOURCEDIR := $(DEB_DESTDIR)
+# don't perform regular installation
+DEB_MAKE_INSTALL_TARGET :=
+
+common-install-arch::
+ # install matita
+ make install-arch DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes
+ # generate manpages
+ mkdir -p $(DEB_DESTDIR)/usr/share/man/man1/
+ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
+ help2man --name="Matita interative theorem prover - batch compiler" -N \
+ $(DEB_DESTDIR)/usr/share/matita/matitac \
+ | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitac.1.gz
+ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
+ help2man --name="Matita interative theorem prover - build tool" -N \
+ $(DEB_DESTDIR)/usr/share/matita/matitamake \
+ | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitamake.1.gz
+ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
+ help2man --name="Matita interative theorem prover - cleanup tool" -N \
+ $(DEB_DESTDIR)/usr/share/matita/matitaclean \
+ | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitaclean.1.gz
+ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
+ help2man --name="Matita interative theorem prover - dependency analyzer" -N \
+ $(DEB_DESTDIR)/usr/share/matita/matitadep \
+ | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
+ if [ -e $(DEB_DESTDIR)/usr/share/matita/matitac.opt ]; then\
+ ln -s /usr/share/man/man1/matitac.1.gz \
+ $(DEB_DESTDIR)/usr/share/man/man1/matitac.opt.1.gz;\
+ fi
+ # install .opt .byte (symlinks are installed with .install
+ mkdir -p debian/matita/usr/bin/
+ cp matita/matita.byte debian/matita/usr/bin/ || true
+ cp matita/matitac.byte debian/matita/usr/bin/ || true
+ cp matita/matita.opt debian/matita/usr/bin/ || true
+ cp matita/matitac.opt debian/matita/usr/bin/ || true
+
+common-install-indep::
+ # install matita library
+ make install-indep DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes
+ # innerypes removal
+ # find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;
Propchange: trunk/packages/matita/trunk/debian/rules
------------------------------------------------------------------------------
svn:executable = *
More information about the Pkg-ocaml-maint-commits
mailing list