]> matita.cs.unibo.it Git - helm.git/commitdiff
added debian stuff, first release
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Apr 2003 13:54:29 +0000 (13:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Apr 2003 13:54:29 +0000 (13:54 +0000)
helm/DEVEL/mathml_editor/debian/changelog [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/control [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/copyright [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/docs [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/libeditex-dev.files [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/libeditex0.files [new file with mode: 0644]
helm/DEVEL/mathml_editor/debian/rules [new file with mode: 0755]

diff --git a/helm/DEVEL/mathml_editor/debian/changelog b/helm/DEVEL/mathml_editor/debian/changelog
new file mode 100644 (file)
index 0000000..7d1e342
--- /dev/null
@@ -0,0 +1,6 @@
+editex (0.0.1-1) unstable; urgency=low
+
+  * Initial Release.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 02 Apr 2003 15:53:25 +0200
+
diff --git a/helm/DEVEL/mathml_editor/debian/control b/helm/DEVEL/mathml_editor/debian/control
new file mode 100644 (file)
index 0000000..d5c86a6
--- /dev/null
@@ -0,0 +1,46 @@
+Source: editex
+Priority: optional
+Maintainer: Stefano Zacchiroli <zack@debian.org>
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, libgdome2-cpp-smart-dev (>= 0.1.6), libgdome2-ocaml-dev (>= 0.1.6), libgdome2-xslt-dev (>= 0.0.4), libgdome2-xslt-ocaml-dev (>= 0.0.4), ocaml-findlib, libgtkmathview-dev (>= 0.4.1), libgtk1.2-dev, t1lib-dev
+Standards-Version: 3.5.9
+
+Package: libeditex0
+Section: libs
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: MathML editor based on TeX syntax
+ EdiTeX is a C library implementing a MathML editor based on TeX syntax.
+ .
+ This package includes the shared runtime objects.
+
+Package: libeditex-dev
+Section: devel
+Architecture: any
+Depends: libeditex0 (= ${Source-Version}), libgdome2-cpp-smart-dev (>= 0.1.6), libgdome2-xslt-dev (>= 0.0.4), libgtk1.2-dev, t1lib-dev
+Description: MathML editor based on TeX syntax
+ EdiTeX is a C library implementing a MathML editor based on TeX syntax.
+ .
+ This package includes the development files.
+
+Package: libeditex-ocaml
+Section: libs
+Architecture: any
+Depends: ocaml-base-3.06-1, libgdome2-ocaml (>= 0.1.6), libgdome2-xslt-ocaml (>= 0.0.4), liblablgtk-ocaml (>= 1.2.5), ${shlibs:Depends}
+Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax
+ EdiTeX is a C library implementing a MathML editor based on TeX syntax.
+ .
+ This are the Objective CAML bindings to EdiTeX.
+ .
+ This package includes the OCaml shared runtime objects.
+
+Package: libeditex-ocaml-dev
+Section: devel
+Architecture: any
+Depends: libeditex-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.1.6), libgdome2-xslt-ocaml-dev (>= 0.0.4), liblablgtk-ocaml-dev (>= 1.2.5)
+Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax
+ EdiTeX is a C library implementing a MathML editor based on TeX syntax.
+ .
+ This are the Objective CAML bindings to EdiTeX.
+ .
+ This package includes the OCaml development files.
+
diff --git a/helm/DEVEL/mathml_editor/debian/copyright b/helm/DEVEL/mathml_editor/debian/copyright
new file mode 100644 (file)
index 0000000..310cde4
--- /dev/null
@@ -0,0 +1,23 @@
+This package was debianized by Stefano Zacchiroli <zack@debian.org> on
+Thu, 20 Mar 2003 18:09:22 +0100.
+
+It was downloaded from:
+
+  http://www.cs.unibo.it/cgi-bin/cvsweb/helm/DEVEL/mathml_editor/
+
+Upstream Authors:
+ Luca Padovani <lpadovan@cs.unibo.it>
+ Paolo Marinelli <pmarinel@cs.unibo.it>
+
+Copyright:
+
+  This library is distributed under the term of the GNU Lesser General
+  Public License (LGPL).
+
+  This library 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
+  Lesser General Public License for more details.
+
+  On a Debian GNU/Linux system, the LGPL can be found as
+  /usr/share/common-licenses/LGPL-2.1.
diff --git a/helm/DEVEL/mathml_editor/debian/docs b/helm/DEVEL/mathml_editor/debian/docs
new file mode 100644 (file)
index 0000000..4a84a8c
--- /dev/null
@@ -0,0 +1,7 @@
+BUGS
+BUGS-GDOME2
+MODES
+NEWS
+PATTERNS
+README
+TODO
diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-dev.files b/helm/DEVEL/mathml_editor/debian/libeditex-dev.files
new file mode 100644 (file)
index 0000000..1d5afcf
--- /dev/null
@@ -0,0 +1,5 @@
+usr/lib/pkgconfig
+usr/include
+usr/lib/*.a
+usr/lib/*.la
+usr/lib/*.so
diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
new file mode 100644 (file)
index 0000000..c0bf9c7
--- /dev/null
@@ -0,0 +1,3 @@
+usr/lib/ocaml/3.06/mathml-editor
+usr/lib/ocaml/3.06/stublibs/lib*.so
+usr/lib/ocaml/3.06/stublibs/dll*.so.owner
diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files
new file mode 100644 (file)
index 0000000..2dd4e59
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml/3.06/stublibs/dll*.so
diff --git a/helm/DEVEL/mathml_editor/debian/libeditex0.files b/helm/DEVEL/mathml_editor/debian/libeditex0.files
new file mode 100644 (file)
index 0000000..213e11b
--- /dev/null
@@ -0,0 +1,2 @@
+usr/lib/*.so.*
+usr/share
diff --git a/helm/DEVEL/mathml_editor/debian/rules b/helm/DEVEL/mathml_editor/debian/rules
new file mode 100755 (executable)
index 0000000..5a76802
--- /dev/null
@@ -0,0 +1,76 @@
+#!/usr/bin/make -f
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+export DH_COMPAT=4
+
+# These are used for cross-compiling and for saving the configure script
+# from having to guess our platform (since we know it already)
+DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+       CFLAGS += -O0
+else
+       CFLAGS += -O2
+endif
+ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
+       INSTALL_PROGRAM += -s
+endif
+
+config.status: configure
+       dh_testdir
+       ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info
+
+build: build-stamp
+build-stamp:  config.status
+       dh_testdir
+
+       $(MAKE)
+
+       touch build-stamp
+
+clean:
+       dh_testdir
+       dh_testroot
+       rm -f build-stamp 
+
+       -$(MAKE) distclean
+# ifneq "$(wildcard /usr/share/misc/config.sub)" ""
+#      cp -f /usr/share/misc/config.sub config.sub
+# endif
+# ifneq "$(wildcard /usr/share/misc/config.guess)" ""
+#      cp -f /usr/share/misc/config.guess config.guess
+# endif
+
+       dh_clean
+
+install: build
+       dh_testdir
+       dh_testroot
+       dh_clean -k
+       dh_installdirs
+       $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
+       dh_movefiles
+
+binary-arch: build install
+       dh_testdir -s
+       dh_testroot -s
+       dh_installchangelogs -s ChangeLog
+       dh_installdocs -s
+#      dh_installexamples -s
+#      dh_installinfo -s
+       dh_link -s
+       dh_strip -s
+       dh_compress -s
+       dh_fixperms -s
+       dh_makeshlibs -p libeditex0
+       dh_installdeb -s
+       dh_shlibdeps -s
+       dh_gencontrol -s
+       dh_md5sums -s
+       dh_builddeb -s
+
+binary: binary-arch
+.PHONY: build clean binary-arch binary install