From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 23 May 2007 14:04:08 +0000 (+0000)
Subject: debian package for matita
X-Git-Tag: 0.4.95@7852~464
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=562e9adf40098e11d8f0bc2711a7f665360c2231;p=helm.git

debian package for matita
---

diff --git a/pkg-matita/tarballs/matita-0.1.0.tar.gz b/pkg-matita/tarballs/matita-0.1.0.tar.gz
new file mode 100644
index 000000000..840e4788a
Binary files /dev/null and b/pkg-matita/tarballs/matita-0.1.0.tar.gz differ
diff --git a/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz b/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz
new file mode 120000
index 000000000..851a6477c
--- /dev/null
+++ b/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/pkg-matita/trunk/debian/changelog b/pkg-matita/trunk/debian/changelog
new file mode 100644
index 000000000..3da08ae7f
--- /dev/null
+++ b/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/pkg-matita/trunk/debian/control b/pkg-matita/trunk/debian/control
new file mode 100644
index 000000000..f746aacaf
--- /dev/null
+++ b/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/pkg-matita/trunk/debian/copyright b/pkg-matita/trunk/debian/copyright
new file mode 100644
index 000000000..502fc0679
--- /dev/null
+++ b/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/pkg-matita/trunk/debian/matita-standard-library.dirs b/pkg-matita/trunk/debian/matita-standard-library.dirs
new file mode 100644
index 000000000..a1564d174
--- /dev/null
+++ b/pkg-matita/trunk/debian/matita-standard-library.dirs
@@ -0,0 +1,2 @@
+/usr/share/matita/ma/
+/usr/share/matita/xml/
diff --git a/pkg-matita/trunk/debian/matita-standard-library.install b/pkg-matita/trunk/debian/matita-standard-library.install
new file mode 100644
index 000000000..0627e0813
--- /dev/null
+++ b/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/pkg-matita/trunk/debian/matita.dirs b/pkg-matita/trunk/debian/matita.dirs
new file mode 100644
index 000000000..0dc001e7f
--- /dev/null
+++ b/pkg-matita/trunk/debian/matita.dirs
@@ -0,0 +1,2 @@
+/usr/bin
+/usr/share/matita/
diff --git a/pkg-matita/trunk/debian/matita.install b/pkg-matita/trunk/debian/matita.install
new file mode 100644
index 000000000..0589bcc47
--- /dev/null
+++ b/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/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
new file mode 100755
index 000000000..7807c48eb
--- /dev/null
+++ b/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)