]> matita.cs.unibo.it Git - helm.git/commitdiff
debian package for matita
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:04:08 +0000 (14:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:04:08 +0000 (14:04 +0000)
helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz [new file with mode: 0644]
helm/software/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz [new symlink]
helm/software/pkg-matita/trunk/debian/changelog [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/control [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/copyright [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita-standard-library.install [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita.dirs [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita.install [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/rules [new file with mode: 0755]

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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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)