From: Stefano Zacchiroli Date: Sun, 25 Nov 2001 13:52:41 +0000 (+0000) Subject: Synced debian dir. X-Git-Tag: mlminidom_0_2_2~64 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1ddd82e7c4d325be83ad62976a036b6f0ffbe0a1;p=helm.git Synced debian dir. --- diff --git a/helm/DEVEL/lablgtkmathview/debian/changelog b/helm/DEVEL/lablgtkmathview/debian/changelog new file mode 100644 index 000000000..e2cab05e5 --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/debian/changelog @@ -0,0 +1,34 @@ +lablgtkmathview (0.2.8helm-1) unstable; urgency=low + + * New upstream release. + * Helm version: depends on Helm version of lablgtk. + + -- Stefano Zacchiroli Sat, 17 Nov 2001 09:40:37 +0100 + +lablgtkmathview (0.2.4-4) unstable; urgency=low + + * Rebuilt with libgtkmathview 0.2.7 + + -- Stefano Zacchiroli Tue, 4 Sep 2001 22:16:35 +0200 + +lablgtkmathview (0.2.4-3) unstable; urgency=low + + * Rebuilt with ocaml 3.02 and lablgtk 1.2.1 + + -- Stefano Zacchiroli Tue, 21 Aug 2001 15:20:05 +0200 + +lablgtkmathview (0.2.4-2) unstable; urgency=low + + * Added build-dep on libxml2-dev (closes: Bug#102715). + + -- Stefano Zacchiroli Fri, 29 Jun 2001 12:39:57 +0200 + +lablgtkmathview (0.2.4-1) unstable; urgency=low + + * Initial Release (closes: Bug#93105). + + -- Stefano Zacchiroli Wed, 4 Apr 2001 23:27:07 +0200 + +Local variables: +mode: debian-changelog +End: diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control new file mode 100644 index 000000000..71d2dfb0c --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/debian/control @@ -0,0 +1,15 @@ +Source: lablgtkmathview +Section: devel +Priority: optional +Maintainer: Stefano Zacchiroli +Build-Depends: debhelper (>> 2.0.0), ocaml (>= 3.02), lablgtk (= 1.2.1helm-1), mlminidom (>= 0.2.1), libgtk1.2-dev, libgtkmathview-dev (>= 0.2.8), libminidom-dev (>= 0.1.3), libxml2-dev, ocaml-findlib +Standards-Version: 3.5.2 + +Package: lablgtkmathview +Architecture: any +Depends: ${shlibs:Depends} +Recommends: ocaml, libgtkmathview0 +Description: OCaml binding for libgtkmathview + This is the Ocaml binding for the GtkMathView widget, that is + currently available in the libgtkmathview0 package. + diff --git a/helm/DEVEL/lablgtkmathview/debian/copyright b/helm/DEVEL/lablgtkmathview/debian/copyright new file mode 100644 index 000000000..75643d1db --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/debian/copyright @@ -0,0 +1,33 @@ +This package was debianized by Stefano Zacchiroli on +Wed, 4 Apr 2001 23:27:07 +0200. + +It was packed from source obtained via cvs, with this CVSROOT: + :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/ + +Authors: + Luca Padovani + Claudio Sacerdoti Coen + +Copyright: + + Copyright (C) 2000, Luca Padovani . + + This file is part of lablgtkmathview, the Ocaml binding + for the GtkMathView widget. + + lablgtkmathview is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + lablgtkmathview is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with lablgtkmathview; if not, write to the Free Software + Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + + For details, send a mail to the author. + diff --git a/helm/DEVEL/lablgtkmathview/debian/dirs b/helm/DEVEL/lablgtkmathview/debian/dirs new file mode 100644 index 000000000..00a96aed3 --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/debian/dirs @@ -0,0 +1 @@ +usr/lib/ocaml diff --git a/helm/DEVEL/lablgtkmathview/debian/docs b/helm/DEVEL/lablgtkmathview/debian/docs new file mode 100644 index 000000000..e845566c0 --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/debian/docs @@ -0,0 +1 @@ +README diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules new file mode 100755 index 000000000..1f01a9948 --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/debian/rules @@ -0,0 +1,85 @@ +#!/usr/bin/make -f +# Sample debian/rules that uses debhelper. +# GNU copyright 1997 to 1999 by Joey Hess. + +# Uncomment this to turn on verbose mode. +#export DH_VERBOSE=1 + +# This is the debhelper compatability version to use. +export DH_COMPAT=2 + +configure: configure-stamp +configure-stamp: + dh_testdir + # Add here commands to configure the package. + ./configure + + touch configure-stamp + +build: configure-stamp build-stamp +build-stamp: + dh_testdir + + # Add here commands to compile the package. + $(MAKE) + -$(MAKE) opt + #/usr/bin/docbook-to-man debian/lablgtkmathview.sgml > lablgtkmathview.1 + + touch build-stamp + +clean: + dh_testdir + dh_testroot + rm -f build-stamp configure-stamp + + # Add here commands to clean up after the build process. + -$(MAKE) distclean + + dh_clean + +install: build + dh_testdir + dh_testroot + dh_clean -k + dh_installdirs + + # Add here commands to install the package into debian/lablgtkmathview. + $(MAKE) install DESTDIR=$(CURDIR)/debian/lablgtkmathview/usr/lib/ocaml + + +# Build architecture-independent files here. +binary-indep: build install +# We have nothing to do by default. + +# Build architecture-dependent files here. +binary-arch: build install + dh_testdir + dh_testroot +# dh_installdebconf + dh_installdocs + dh_installexamples + dh_installmenu +# dh_installlogrotate +# dh_installemacsen +# dh_installpam +# dh_installmime +# dh_installinit + dh_installcron + dh_installmanpages + dh_installinfo +# dh_undocumented + dh_installchangelogs ChangeLog + dh_link + dh_strip + dh_compress + dh_fixperms +# dh_makeshlibs + dh_installdeb +# dh_perl + dh_shlibdeps + dh_gencontrol + dh_md5sums + dh_builddeb + +binary: binary-indep binary-arch +.PHONY: build clean binary-indep binary-arch binary install configure diff --git a/helm/DEVEL/mlminidom/debian/changelog b/helm/DEVEL/mlminidom/debian/changelog new file mode 100644 index 000000000..450dda842 --- /dev/null +++ b/helm/DEVEL/mlminidom/debian/changelog @@ -0,0 +1,41 @@ +mlminidom (0.2.1-2) unstable; urgency=low + + * Bug fix: moved automagically generated configure from diff.gz to + original tar.gz archive. + + -- Stefano Zacchiroli Tue, 20 Nov 2001 01:06:27 +0100 + +mlminidom (0.2.1-1) unstable; urgency=low + + * New upstream release + + -- Stefano Zacchiroli Sat, 17 Nov 2001 09:24:02 +0100 + +mlminidom (0.2.0-1) unstable; urgency=low + + * New upstream release + + -- Stefano Zacchiroli Tue, 13 Nov 2001 19:41:58 +0100 + +mlminidom (0.1.0-3) unstable; urgency=low + + * Fixed build on architecture which doesn't have native code compiler + (closes: Bug#104702). + + -- Stefano Zacchiroli Tue, 21 Aug 2001 11:14:51 +0200 + +mlminidom (0.1.0-2) unstable; urgency=low + + * Added build-dep on libxml2-dev (closes: Bug#9887). + + -- Stefano Zacchiroli Mon, 28 May 2001 12:28:25 +0200 + +mlminidom (0.1.0-1) unstable; urgency=low + + * Initial Release (closes: Bug#93106). + + -- Stefano Zacchiroli Wed, 4 Apr 2001 22:50:43 +0200 + +Local variables: +mode: debian-changelog +End: diff --git a/helm/DEVEL/mlminidom/debian/control b/helm/DEVEL/mlminidom/debian/control new file mode 100644 index 000000000..0710f9082 --- /dev/null +++ b/helm/DEVEL/mlminidom/debian/control @@ -0,0 +1,14 @@ +Source: mlminidom +Section: devel +Priority: optional +Maintainer: Stefano Zacchiroli +Build-Depends: debhelper (>> 2.0.0), ocaml, libglib1.2-dev, libminidom-dev, libxml2-dev, ocaml-findlib +Standards-Version: 3.5.2 + +Package: mlminidom +Architecture: any +Depends: ${shlibs:Depends} +Recommends: ocaml, libminidom0 +Description: OCaml binding for minidom + This is the OCaml binding for minidom, that is currently available in + the libminidom0 package. diff --git a/helm/DEVEL/mlminidom/debian/copyright b/helm/DEVEL/mlminidom/debian/copyright new file mode 100644 index 000000000..458a47028 --- /dev/null +++ b/helm/DEVEL/mlminidom/debian/copyright @@ -0,0 +1,31 @@ +This package was debianized by Stefano Zacchiroli on +Wed, 4 Apr 2001 22:50:43 +0200. + +It was packed from source obtained via cvs, with this CVSROOT: + :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/ + +Upstream Author(s): + Luca Padovani + Claudio Sacerdoti Coen + +Copyright: + Copyright (C) 2000, Luca Padovani . + + This file is part of mlminidom, the Ocaml binding for minidom. + + mlminidom is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. + + mlminidom is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with mlminidom; if not, write to the Free Software + Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + + For details, send a mail to the author. + diff --git a/helm/DEVEL/mlminidom/debian/dirs b/helm/DEVEL/mlminidom/debian/dirs new file mode 100644 index 000000000..00a96aed3 --- /dev/null +++ b/helm/DEVEL/mlminidom/debian/dirs @@ -0,0 +1 @@ +usr/lib/ocaml diff --git a/helm/DEVEL/mlminidom/debian/docs b/helm/DEVEL/mlminidom/debian/docs new file mode 100644 index 000000000..e845566c0 --- /dev/null +++ b/helm/DEVEL/mlminidom/debian/docs @@ -0,0 +1 @@ +README diff --git a/helm/DEVEL/mlminidom/debian/rules b/helm/DEVEL/mlminidom/debian/rules new file mode 100755 index 000000000..f01db16c7 --- /dev/null +++ b/helm/DEVEL/mlminidom/debian/rules @@ -0,0 +1,85 @@ +#!/usr/bin/make -f +# Sample debian/rules that uses debhelper. +# GNU copyright 1997 to 1999 by Joey Hess. + +# Uncomment this to turn on verbose mode. +#export DH_VERBOSE=1 + +# This is the debhelper compatability version to use. +export DH_COMPAT=2 + +configure: configure-stamp +configure-stamp: + dh_testdir + # Add here commands to configure the package. + ./configure + + touch configure-stamp + +build: configure-stamp build-stamp +build-stamp: + dh_testdir + + # Add here commands to compile the package. + $(MAKE) + -$(MAKE) opt + #/usr/bin/docbook-to-man debian/mlminidom.sgml > mlminidom.1 + + touch build-stamp + +clean: + dh_testdir + dh_testroot + rm -f build-stamp configure-stamp + + # Add here commands to clean up after the build process. + -$(MAKE) distclean + + dh_clean + +install: build + dh_testdir + dh_testroot + dh_clean -k + dh_installdirs + + # Add here commands to install the package into debian/mlminidom. + $(MAKE) install DESTDIR=$(CURDIR)/debian/mlminidom/usr/lib/ocaml + + +# Build architecture-independent files here. +binary-indep: build install +# We have nothing to do by default. + +# Build architecture-dependent files here. +binary-arch: build install + dh_testdir + dh_testroot +# dh_installdebconf + dh_installdocs + dh_installexamples + dh_installmenu +# dh_installlogrotate +# dh_installemacsen +# dh_installpam +# dh_installmime +# dh_installinit + dh_installcron + dh_installmanpages + dh_installinfo +# dh_undocumented + dh_installchangelogs ChangeLog + dh_link + dh_strip + dh_compress + dh_fixperms +# dh_makeshlibs + dh_installdeb +# dh_perl + dh_shlibdeps + dh_gencontrol + dh_md5sums + dh_builddeb + +binary: binary-indep binary-arch +.PHONY: build clean binary-indep binary-arch binary install configure