debian package for matita

diff --git a/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz b/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz
new file mode 100644 (file)
index 0000000..840e478
Binary files /dev/null and b/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz differ

diff --git a/helm/software/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz b/helm/software/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz
new file mode 120000 (symlink)
index 0000000..851a647
--- /dev/null
+++ b/helm/software/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz
@@ -0,0 +1 @@
+matita-0.1.0.tar.gz
\ No newline at end of file

diff --git a/helm/software/pkg-matita/trunk/debian/changelog b/helm/software/pkg-matita/trunk/debian/changelog
new file mode 100644 (file)
index 0000000..3da08ae
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/changelog
@@ -0,0 +1,5 @@
+matita (0.1.0-1) unstable; urgency=low
+
+  * initial release
+
+ -- Enrico Tassi <gareuselesinge@debian.org>  Sun,  3 Sep 2006 10:26:13 +0200

diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control
new file mode 100644 (file)
index 0000000..f746aac
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/control
@@ -0,0 +1,19 @@
+Source: matita
+Section: math
+Priority: optional
+Maintainer: Enrico Tassi <gareuselesinge@debian.org>
+Build-Depends: ocaml, 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-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev
+Standards-Version: 3.7.2
+
+Package: matita
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: matita interactive theorem prover
+ matita interactive theorem prover.
+
+Package: matita-standard-library
+Architecture: all
+Recommends: matita
+Description: matita interactive theorem prover standard library
+ This package contains the standard library of theorems of the
+ matita interactive theorem prover.

diff --git a/helm/software/pkg-matita/trunk/debian/copyright b/helm/software/pkg-matita/trunk/debian/copyright
new file mode 100644 (file)
index 0000000..502fc06
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/copyright
@@ -0,0 +1,10 @@
+This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
+Thu May 8 10:36:13 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

diff --git a/helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs b/helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs
new file mode 100644 (file)
index 0000000..a1564d1
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs
@@ -0,0 +1,2 @@
+/usr/share/matita/ma/
+/usr/share/matita/xml/

diff --git a/helm/software/pkg-matita/trunk/debian/matita-standard-library.install b/helm/software/pkg-matita/trunk/debian/matita-standard-library.install
new file mode 100644 (file)
index 0000000..0627e08
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/matita-standard-library.install
@@ -0,0 +1,3 @@
+/usr/share/matita/ma/
+/usr/share/matita/xml/
+/usr/share/matita/metadata.db

diff --git a/helm/software/pkg-matita/trunk/debian/matita.dirs b/helm/software/pkg-matita/trunk/debian/matita.dirs
new file mode 100644 (file)
index 0000000..0dc001e
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/matita.dirs
@@ -0,0 +1,2 @@
+/usr/bin
+/usr/share/matita/

diff --git a/helm/software/pkg-matita/trunk/debian/matita.install b/helm/software/pkg-matita/trunk/debian/matita.install
new file mode 100644 (file)
index 0000000..0589bcc
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/matita.install
@@ -0,0 +1,17 @@
+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/matita.opt usr/bin/
+usr/share/matita/matitac.opt usr/bin/
+usr/share/matita/matitamake usr/bin/
+usr/share/matita/matitadep usr/bin/
+usr/share/matita/matitaclean usr/bin/

diff --git a/helm/software/pkg-matita/trunk/debian/rules b/helm/software/pkg-matita/trunk/debian/rules
new file mode 100755 (executable)
index 0000000..7807c48
--- /dev/null
+++ b/helm/software/pkg-matita/trunk/debian/rules
@@ -0,0 +1,18 @@
+#!/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
+
+
+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)
+DEB_MAKE_INSTALL_TARGET :=
+common-install-arch::
+       make install-arch DESTDIR=$(DEB_DESTDIR)
+common-install-indep::
+       make install-indep DESTDIR=$(DEB_DESTDIR)