]> matita.cs.unibo.it Git - helm.git/commitdiff
added debian stuff and a makefile with "dist" target
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:39:38 +0000 (13:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:39:38 +0000 (13:39 +0000)
helm/DEVEL/gdome_xslt/Makefile [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/changelog [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/control [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/copyright [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/docs [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.examples [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.files [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/rules [new file with mode: 0755]

diff --git a/helm/DEVEL/gdome_xslt/Makefile b/helm/DEVEL/gdome_xslt/Makefile
new file mode 100644 (file)
index 0000000..a92492a
--- /dev/null
@@ -0,0 +1,33 @@
+
+VERSION = 0.0.1
+NAME = libxslt-ocaml
+QNAME = $(NAME)-$(VERSION)
+DIST_DIRS = C ocaml test_files debian
+SOURCE_DIRS = C/gdome_xslt/ ocaml/gdome_xslt/
+NODIST = CVS .cvsignore
+
+all:
+
+clean:
+       -make -C ocaml/gdome_xslt/ distclean
+       -make -C C/gdome_xslt/ clean
+
+dist: clean
+
+               # copy dist stuff in dist dir
+       mkdir $(QNAME)/
+       for d in $(DIST_DIRS); do \
+               cp -a $$d $(QNAME)/; \
+       done
+
+               # remove garbage
+       -for p in $(NODIST); do \
+               find $(QNAME)/ -name $$p -exec rm -rf {} \; 2> /dev/null; \
+       done
+
+               # create tarball and remove distdir
+       tar --remove-files -czf $(QNAME).tar.gz $(QNAME)/
+       rm -rf $(QNAME)
+
+.PHONY: all clean dist
+
diff --git a/helm/DEVEL/gdome_xslt/debian/changelog b/helm/DEVEL/gdome_xslt/debian/changelog
new file mode 100644 (file)
index 0000000..81b9f72
--- /dev/null
@@ -0,0 +1,14 @@
+libxslt-ocaml (0.0.1-2) unstable; urgency=low
+
+  * Added -fPIC option when compiled some .o in order to succesfully build
+    also on HPPA (Closes: Bug#142485).
+  * Renamed binary packages to libgdome2-xslt-ocaml and -dev.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Fri, 12 Apr 2002 14:55:57 +0200
+
+libxslt-ocaml (0.0.1-1) unstable; urgency=low
+
+  * Initial Release.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sat,  6 Apr 2002 13:00:49 +0200
+
diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control
new file mode 100644 (file)
index 0000000..85cb25f
--- /dev/null
@@ -0,0 +1,31 @@
+Source: libxslt-ocaml
+Section: devel
+Priority: optional
+Maintainer: Stefano Zacchiroli <zack@debian.org>
+Build-Depends: debhelper (>> 3.0.0), ocaml, ocaml-findlib, libgdome2-ocaml-dev, libgdome2-dev, libxslt1-dev
+Standards-Version: 3.5.2
+
+Package: libgdome2-xslt-ocaml
+Architecture: any
+Depends: ocaml (>= 3.04), ocaml (<< 3.05), ${shlibs:Depends}
+Description: OCaml XSLT processing library
+ This OCaml library provides an high level API for XSLT
+ processing.
+ .
+ The underlying implementation is based on libxml, libgdome2 and
+ libxslt.
+ .
+ This package contains only the shared runtime stub libraries.
+
+Package: libgdome2-xslt-ocaml-dev
+Architecture: any
+Section: devel
+Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgdome2-xslt-ocaml (= ${Source-Version}), libxslt1-dev, libgdome2-dev
+Description: OCaml XSLT processing library
+ This OCaml library provides an high level API for XSLT
+ processing.
+ .
+ The underlying implementation is based on libxml, libgdome2 and
+ libxslt.
+ .
+ This package contains all the development stuff.
diff --git a/helm/DEVEL/gdome_xslt/debian/copyright b/helm/DEVEL/gdome_xslt/debian/copyright
new file mode 100644 (file)
index 0000000..5cafed7
--- /dev/null
@@ -0,0 +1,18 @@
+This package was debianized by Stefano Zacchiroli <zack@dalamar.krynn.it> on
+Sat,  6 Apr 2002 13:00:49 +0200.
+
+It was exported from the HELM CVS which is accesible using ViewCVS from:
+  http://www.cs.unibo.it/helm/
+
+Upstream Author:
+  Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+
+Copyright:
+
+  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/gdome_xslt/debian/docs b/helm/DEVEL/gdome_xslt/debian/docs
new file mode 100644 (file)
index 0000000..e69de29
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs
new file mode 100644 (file)
index 0000000..00a96ae
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.examples b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.examples
new file mode 100644 (file)
index 0000000..edb5d71
--- /dev/null
@@ -0,0 +1,2 @@
+ocaml/test/*
+test_files/*
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs
new file mode 100644 (file)
index 0000000..00a96ae
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.files b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.files
new file mode 100644 (file)
index 0000000..73a651e
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml/gdome2-xslt/*.so
diff --git a/helm/DEVEL/gdome_xslt/debian/rules b/helm/DEVEL/gdome_xslt/debian/rules
new file mode 100755 (executable)
index 0000000..a4d8a5b
--- /dev/null
@@ -0,0 +1,78 @@
+#!/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 compatibility version to use.
+export DH_COMPAT=3
+
+TARGETDIR = debian/libgdome2-xslt-ocaml-dev
+
+configure: configure-stamp
+configure-stamp:
+       dh_testdir
+
+       cd ocaml/gdome_xslt/; ./configure
+       touch configure-stamp
+
+
+build: build-stamp
+
+build-stamp: configure-stamp 
+       dh_testdir
+
+       $(MAKE) -C C/gdome_xslt/
+       $(MAKE) -C ocaml/gdome_xslt/
+       -if [ -x /usr/bin/ocamlopt ]; then \
+               $(MAKE) -C ocaml/gdome_xslt/ opt; \
+       fi
+
+       touch build-stamp
+
+clean:
+       dh_testdir
+       dh_testroot
+       rm -f build-stamp configure-stamp
+
+       -$(MAKE) -C ocaml/gdome_xslt/ distclean
+       -$(MAKE) -C C/gdome_xslt/ clean
+
+       dh_clean
+
+install: build
+       dh_testdir
+       dh_testroot
+       dh_clean -k
+       dh_installdirs -s
+
+    # trick: redifine CAMLLIB so that findlibd doesn't try to modify the
+       # official /var/lib/ocaml/ld.conf
+       CAMLLIB=$(CURDIR) $(MAKE) -C ocaml/gdome_xslt/ install PREFIX=$(CURDIR)/$(TARGETDIR)/usr/lib/ocaml
+
+movefiles: install
+       dh_movefiles -p libgdome2-xslt-ocaml --sourcedir=$(TARGETDIR)
+
+# Build architecture-dependent files here.
+binary-arch: build movefiles
+       dh_testdir
+       dh_testroot
+       dh_installdocs -s
+       dh_installexamples -s
+       dh_installman -s
+       dh_installinfo -s
+       dh_installchangelogs -s
+       dh_link -s
+       dh_strip -s
+       dh_compress -s
+       dh_ocamlld -p libgdome2-xslt-ocaml /usr/lib/ocaml/gdome2-xslt
+       dh_fixperms -s
+       dh_installdeb -s
+       dh_shlibdeps -s
+       dh_gencontrol -s
+       dh_md5sums -s
+       dh_builddeb -s
+
+binary: binary-arch
+.PHONY: build clean movefiles binary-arch binary install configure