From: Enrico Tassi Date: Wed, 23 May 2007 14:04:08 +0000 (+0000) Subject: debian package for matita X-Git-Tag: make_still_working~6323 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9eadb65114df8bda7ca5988a99bb277a96a8ed1e;p=helm.git 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 index 000000000..840e4788a 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 index 000000000..851a6477c --- /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 index 000000000..3da08ae7f --- /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 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 index 000000000..f746aacaf --- /dev/null +++ b/helm/software/pkg-matita/trunk/debian/control @@ -0,0 +1,19 @@ +Source: matita +Section: math +Priority: optional +Maintainer: Enrico Tassi +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 index 000000000..502fc0679 --- /dev/null +++ b/helm/software/pkg-matita/trunk/debian/copyright @@ -0,0 +1,10 @@ +This package was debianized by Enrico Tassi +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 index 000000000..a1564d174 --- /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 index 000000000..0627e0813 --- /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 index 000000000..0dc001e7f --- /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 index 000000000..0589bcc47 --- /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 index 000000000..7807c48eb --- /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)