aboutsummaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/ChangeLog86
-rw-r--r--debian/Makefile28
-rw-r--r--debian/README.Debian7
-rw-r--r--debian/TODO11
-rw-r--r--debian/changelog154
-rw-r--r--debian/conffiles7
-rw-r--r--debian/control26
-rw-r--r--debian/copyright29
-rw-r--r--debian/postinst89
-rw-r--r--debian/prerm71
-rwxr-xr-xdebian/rules183
-rw-r--r--debian/servers.boot19
-rw-r--r--debian/shlibs15
-rw-r--r--debian/shlibs.local15
14 files changed, 740 insertions, 0 deletions
diff --git a/debian/ChangeLog b/debian/ChangeLog
new file mode 100644
index 00000000..05e175d9
--- /dev/null
+++ b/debian/ChangeLog
@@ -0,0 +1,86 @@
+2000-01-30 Marcus Brinkmann <marcus@gnu.org>
+
+ * changelog: Update to reflect Debian uploads.
+
+1999-10-09 Marcus Brinkmann <marcus@gnu.org>
+
+ * rules (BUILDARCH): Renamed to DEB_BUILD_GNU_TYPE.
+ (HOSTARCH): Renamed to DEB_HOST_GNU_TYPE.
+ (INFODIR): New variable.
+ (STAMPS_TO_CLEAN): Add stamp-config.
+ (configure): Depend on configure.in.
+ (config, stamp-config): New targets.
+ (stamp-build): Build info documentation.
+ (clean): Do not clean up build directory, it will be removed.
+ Clean documentation directory.
+ (binary-arch): Remove etc/motd.
+ Expand bash {,} syntax.
+ Gzip serverboot.
+ Install additional documentation formats.
+ Rename libexec/runsystem to libexec/runsystem.gnu.
+ Install postinst, prerm
+ (.PHONY): Add config.
+
+ * postinst, prerm: New Files.
+ * shlibs,shlibs.local: Remove libmom.
+ * changelog: Update to reflect Debian uploads.
+
+1999-06-01 Marcus Brinkmann <brinkmd@debian.org>
+
+ * TODO: Remove entry about shared library dependencies (see below).
+ Remove entry about suid-manager. We don't need to register binaries
+ which must be suid to operate.
+
+ * shlibs: New file. This makes Debian packages which use Hurd
+ libraries dependant on the Hurd package.
+ * rules: Add shlibs to the Hurd package.
+
+ * changelog: Update to reflect the Debian releases done.
+
+ * servers.boot: Remove obsolete $(default-pager) tag.
+
+ * control: Add Replaces, Conflicts login, as done with makedev.
+
+ * shlibs.local: New file. This is a work around needed for cross
+ compilation, so dpkg-shlibdeps does not make the Hurd package
+ dependant on itself.
+
+1999-05-29 Roland McGrath <roland@baalperazim.frob.com>
+
+ * rules (binary-arch): Don't remove root and etc dirs.
+
+ * conffiles: Add /etc/ttys.
+
+1999-04-28 Roland McGrath <roland@baalperazim.frob.com>
+
+ * rules (binary-arch): Add etc, etc/login subdirs to chmod cmd.
+ Use $(addprefix) fn to avoid repetition.
+
+ * conffiles: Add /etc/login files .bash_login, .bashrc, .hushlogin,
+ .profile and README.
+
+Wed Apr 28 02:44:13 1999 Thomas Bushnell, BSG <tb@mit.edu>
+
+ * TODO: New item.
+ All of these because Marcus says so.
+
+1999-04-25 Roland McGrath <roland@baalperazim.frob.com>
+
+ * control (Depends): Change shlibs to hurd cause Marcus says so.
+
+1999-04-18 Roland McGrath <roland@baalperazim.frob.com>
+
+ * rules (binary-arch): Fix $ -> $$ and \\ -> \.
+ From Marcus Brinkmann.
+
+1999-04-15 Roland McGrath <roland@baalperazim.frob.com>
+
+ * control (Provides): Add login.
+ (Replaces, Conflicts): New frobs, listing makedev.
+
+1999-03-17 Gordon Matzigkeit <gord@trick.fig.org>
+
+ * servers.boot: Clarify the default-pager description, and
+ add a default `$(default-pager)' line.
+
+ * Makefile: New file.
diff --git a/debian/Makefile b/debian/Makefile
new file mode 100644
index 00000000..7afd6dc7
--- /dev/null
+++ b/debian/Makefile
@@ -0,0 +1,28 @@
+# Makefile for Debian Hurd packaging directory
+# Copyright (C) 1999 Free Software Foundation, Inc.
+# Gordon Matzigkeit <gord@fig.org>, 1999-03-17
+#
+# This file is part of the GNU Hurd.
+#
+# The GNU Hurd 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, or (at
+# your option) any later version.
+#
+# The GNU Hurd 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 this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA.
+
+dir := debian
+makemode := misc
+
+# Just distribute the files we need.
+DIST_FILES = README.Debian TODO changelog conffiles control copyright \
+ rules servers.boot
+
+include ../Makeconf
diff --git a/debian/README.Debian b/debian/README.Debian
new file mode 100644
index 00000000..6d0c3b8b
--- /dev/null
+++ b/debian/README.Debian
@@ -0,0 +1,7 @@
+GNU Hurd for Debian
+-------------------
+
+This is the Hurd release for Debian GNU/Hurd.
+It contains essential system software and libraries.
+
+GNU Hurd Maintainers <bug-hurd@gnu.org>
diff --git a/debian/TODO b/debian/TODO
new file mode 100644
index 00000000..ba3dc95e
--- /dev/null
+++ b/debian/TODO
@@ -0,0 +1,11 @@
+* daemons/rc
+
+* Split into multiple packages, so that we can provide virtual
+ packages that correspond closer to the existing Debian GNU/Linux
+ ones. But be careful that you don't use existing packagenames, or
+ bug reports will not be assigned correctly.
+
+* A postinstallation script which sets up translators correctly.
+ Better a script that manages translators, so changes by users are honored.
+
+* Split out pic libraries, build profiling libs (when they work).
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 00000000..0bd9e4bc
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,154 @@
+hurd (19991209) unstable; urgency=low
+
+ * New snapshot from CVS.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Thu, 9 Dec 1999 23:43:23 +0100
+
+hurd (19991022) unstable; urgency=low
+
+ * New snapshot from CVS.
+ * libdiskfs/init-startup.c: Disable periodic syncing before shutting down.
+ This fixes the fs-unclean-on-reboot bug!
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Fri, 22 Oct 1999 21:32:02 +0200
+
+hurd (19991004) unstable; urgency=high
+
+ * New snapshot from CVS.
+ term: Realize bogus devices.
+ ext2fs: Important bug fixes!
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Sun, 3 Oct 1999 18:01:17 +0200
+
+hurd (19990923) unstable; urgency=low
+
+ * New snapshot from CVS.
+ MAKEDEV: pty created with mode 0666.
+ Implements pathconf for libdiskfs and libnetfs.
+ Various bug fixes.
+ * Development package now includes pic libraries.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Sun, 19 Sep 1999 19:29:00 +0200
+
+hurd (19990907) unstable; urgency=low
+
+ * New snapshot from CVS.
+ * gzip /boot/serverboot to /boot/serverboot.gz
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Mon, 23 Aug 1999 15:12:10 +0200
+
+hurd (19990725) unstable; urgency=low
+
+ * New snapshot from CVS.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Thu, 25 Jul 1999 16:16:03 +0200
+
+hurd (19990714) unstable; urgency=low
+
+ * New snapshot from CVS.
+ * debian/rules: etc/motd is in base-files, do not include it.
+ * Activate split-init.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Wed, 14 Jul 1999 16:38:00 +0200
+
+hurd (19990616) unstable; urgency=low
+
+ * New snapshot from CVS.
+ * Now contains info and ps documentation.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Thu, 17 Jun 1999 17:35:54 +0200
+
+hurd (19990524) unstable; urgency=low
+
+ * New snapshot from CVS.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Mon, 24 May 1999 15:09:45 +0200
+
+hurd (19990523) unstable; urgency=low
+
+ * New snapshot from CVS, fixes: #38062, #37670, #37878, #37944.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Mon, 24 May 1999 01:08:26 +0200
+
+hurd (19990517fixed) unstable; urgency=low
+
+ * debian/shlibs: corrected.
+ * exec/hashexec.c: Applied patch by Roland to make it work.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Sun, 17 May 1999 00:25:11 +0200
+
+hurd (19990517) unstable; urgency=low
+
+ * New snapshot from CVS.
+ * Add shlibs file.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Sun, 16 May 1999 15:28:09 +0200
+
+hurd (19990425-1) unstable; urgency=low
+
+ * Put shared library symlinks into the hurd-dev package.
+ * Clarify instructions in provided servers.boot.
+ * libfshelp/fetch-root.c: De-patched a change by tb which produced
+ strange errors.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Thu, 29 Apr 1999 22:47:51 +0200
+
+hurd (19990212-2) unstable; urgency=low
+
+ * debian/control: Added Depends line for Hurd.
+ * Update docs to reflect new group maintainership.
+ * debian/copyright: Hurd libraries are *not* under the LGPL, so add a
+ clarifying note.
+ * Put static libraries and header files into /usr/lib and /usr/include
+ for people without the /usr symlink.
+
+ -- Gordon Matzigkeit <bug-hurd@gnu.org> Wed, 17 Feb 1999 15:40:44 -0600
+
+hurd (19990212-1) unstable; urgency=low
+
+ * New upstream version from CVS.
+ * Deleted old libthreads... there's no going back now.
+
+ -- Gordon Matzigkeit <gord@debian.org> Fri, 12 Feb 1999 03:25:55 -0600
+
+hurd (19981204-1) unstable; urgency=low
+
+ * New upstream release, supposed to work with glibc 2.0.106.
+ * Commented out use of old libthreads.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Sun, 20 Dec 1998 04:24:40 +0100
+
+hurd (19980915-2) unstable; urgency=low
+
+ * exec/hashexec.c: Applied patch by Thomas Bushnell to fix make.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Fri, 6 Nov 1998 23:10:11 +0100
+
+hurd (19980915-1) unstable; urgency=low
+
+ * New upstream release.
+ * debian/rules: Strip all binaries.
+ * debian/TODO: New file.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Thu, 8 Oct 1998 03:34:40 +0200
+
+hurd (19980716-2) unstable; urgency=low
+
+ * Reverted libthreads to provide threadsafe malloc, as we use older
+ version of glibc2 for now.
+ * Do not remove size 0 files in 'rules clean', because hurd depends on
+ them.
+ * Do not build profiling libraries.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Tue, 4 Aug 1998 21:58:55 +0200
+
+hurd (19980716-1) unstable; urgency=low
+
+ * Initial Version.
+
+ -- Marcus Brinkmann <brinkmd@debian.org> Tue, 4 Aug 1998 21:58:55 +0200
+
+Local variables:
+mode: debian-changelog
+add-log-mailing-address: "bug-hurd@gnu.org"
+End:
diff --git a/debian/conffiles b/debian/conffiles
new file mode 100644
index 00000000..61edd051
--- /dev/null
+++ b/debian/conffiles
@@ -0,0 +1,7 @@
+/boot/servers.boot
+/etc/ttys
+/etc/login/.bash_login
+/etc/login/.bashrc
+/etc/login/.hushlogin
+/etc/login/.profile
+/etc/login/README
diff --git a/debian/control b/debian/control
new file mode 100644
index 00000000..9bdfb88e
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,26 @@
+Source: hurd
+Section: base
+Priority: required
+Maintainer: GNU Hurd Maintainers <bug-hurd@gnu.org>
+Standards-Version: 2.5.0.0
+
+Package: hurd
+Priority: required
+Section: base
+Essential: yes
+Depends: ${hurd:Depends}
+Provides: makedev, login
+Replaces: makedev, login
+Conflicts: makedev, login
+Architecture: hurd-i386
+Description: The GNU Hurd
+ This is the GNU Hurd package. It contains essential system software and
+ libraries.
+
+Package: hurd-dev
+Priority: standard
+Section: devel
+Architecture: hurd-i386
+Depends: hurd
+Description: The GNU Hurd (development files)
+ This package includes the header files and the static libraries.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 00000000..784f5768
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,29 @@
+This package was debianized by Marcus Brinkmann <brinkmd@debian.org>
+on Tue, 4 Aug 1998 21:52:45 +0200
+
+It is currently maintained by its upstream authors, who can be reached
+via <bug-hurd@gnu.org>.
+
+Sources are available from ftp://alpha.gnu.org/pub/hurd/src/
+
+Copyright statement:
+
+Note that the libraries distributed with the GNU Hurd are placed under
+the standard GNU General Public License (*not* the Library General
+Public License).
+
+ This program 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; version 2 dated June, 1991.
+
+ This program 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 this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+On Debian GNU/Linux systems, the complete text of the GNU General
+Public License can be found in `/usr/doc/copyright/GPL'.
diff --git a/debian/postinst b/debian/postinst
new file mode 100644
index 00000000..89c26bec
--- /dev/null
+++ b/debian/postinst
@@ -0,0 +1,89 @@
+#! /bin/sh
+# postinst.skeleton
+# Skeleton maintainer script showing all the possible cases.
+# Written by Charles Briscoe-Smith, March-June 1998. Public Domain.
+
+# Abort if any command returns an error value
+set -e
+
+# This script is called as the last step of the installation of the
+# package. All the package's files are in place, dpkg has already done
+# its automatic conffile handling, and all the packages we depend of
+# are already fully installed and configured.
+
+# The following idempotent stuff doesn't generally need protecting
+# against being run in the abort-* cases.
+
+# Install info files into the dir file.
+
+install-info --quiet --section "Hurd" "The Hurd" /usr/info/hurd.info.gz
+
+# Manage alternatives.
+
+update-alternatives --quiet \
+ --install /libexec/runsystem runsystem /libexec/runsystem.gnu 20
+
+# Take care that a "login" user exists. Useful for our login shell.
+
+if ! grep --quiet '^login:' /etc/passwd ; then
+ adduser --quiet --system --home /etc/login --gecos "Not logged in" --no-create-home login
+ chsh -s /bin/bash login
+fi
+
+case "$1" in
+ configure)
+ # Configure this package. If the package must prompt the user for
+ # information, do it here.
+
+ # There are three sub-cases:
+ if test "${2+set}" != set; then
+ # We're being installed by an ancient dpkg which doesn't remember
+ # which version was most recently configured, or even whether
+ # there is a most recently configured version.
+ :
+
+ elif test -z "$2" -o "$2" = "<unknown>"; then
+ # The package has not ever been configured on this system, or was
+ # purged since it was last configured.
+ :
+
+ else
+ # Version $2 is the most recently configured version of this
+ # package.
+ :
+
+ fi ;;
+ abort-upgrade)
+ # Back out of an attempt to upgrade this package FROM THIS VERSION
+ # to version $2. Undo the effects of "prerm upgrade $2".
+ :
+
+ ;;
+ abort-remove)
+ if test "$2" != in-favour; then
+ echo "$0: undocumented call to \`postinst $*'" 1>&2
+ exit 0
+ fi
+ # Back out of an attempt to remove this package, which was due to
+ # a conflict with package $3 (version $4). Undo the effects of
+ # "prerm remove in-favour $3 $4".
+ :
+
+ ;;
+ abort-deconfigure)
+ if test "$2" != in-favour -o "$5" != removing; then
+ echo "$0: undocumented call to \`postinst $*'" 1>&2
+ exit 0
+ fi
+ # Back out of an attempt to deconfigure this package, which was
+ # due to package $6 (version $7) which we depend on being removed
+ # to make way for package $3 (version $4). Undo the effects of
+ # "prerm deconfigure in-favour $3 $4 removing $6 $7".
+ :
+
+ ;;
+ *) echo "$0: didn't understand being called with \`$1'" 1>&2
+ exit 0;;
+esac
+
+exit 0
diff --git a/debian/prerm b/debian/prerm
new file mode 100644
index 00000000..e6adae87
--- /dev/null
+++ b/debian/prerm
@@ -0,0 +1,71 @@
+#!/bin/sh
+
+# Abort if any command returns an error value
+set -e
+
+# This script is called as the first step in removing the package from
+# the system. This includes cases where the user explicitly asked for
+# the package to be removed, upgrade, automatic removal due to conflicts,
+# and deconfiguration due to temporary removal of a depended-on package.
+
+# Info files should be uninstalled from the dir file in any case.
+install-info --quiet --remove hurd
+
+# Because we run this in almost all cases, we do it here instead below.
+
+if [ "$1" != "upgrade" ]; then
+ update-alternatives --remove runsystem /libexec/runsystem.gnu
+fi
+
+case "$1" in
+ remove)
+ # This package about to be removed.
+ :
+
+ # There are two sub-cases:
+ if test "${2+set}" = set; then
+ if test "$2" != in-favour; then
+ echo "$0: undocumented call to \`prerm $*'" 1>&2
+ exit 0
+ fi
+ # We are being removed because of a conflict with package $3
+ # (version $4), which is now being installed.
+ :
+
+ else
+ # The package is being removed in its own right.
+ :
+
+ fi
+
+
+ ;;
+
+ deconfigure)
+ if test "$2" != in-favour -o "$5" != removing; then
+ echo "$0: undocumented call to \`prerm $*'" 1>&2
+ exit 0
+ fi
+ # Package $6 (version $7) which we depend on is being removed due
+ # to a conflict with package $3 (version $4), and this package is
+ # being deconfigured until $6 can be reinstalled.
+ :
+
+ ;;
+ upgrade)
+ # Prepare to upgrade FROM THIS VERSION of this package to version $2.
+ :
+
+ ;;
+ failed-upgrade)
+ # Prepare to upgrade from version $2 of this package TO THIS VERSION.
+ # This is only used if the old version's prerm couldn't handle it,
+ # and returned non-zero. (Fix old prerm bugs here.)
+ :
+
+ ;;
+ *) echo "$0: didn't understand being called with \`$1'" 1>&2
+ exit 0;;
+esac
+
+exit 0
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 00000000..521e0b1d
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,183 @@
+#!/usr/bin/make -f
+############################ -*- Mode: Makefile -*- ###########################
+## rules ---
+## Author : Marcus Brinkmann <brinkmd@debian.org>
+## Created On : Sat, 1 Aug 1998 21:33:31 +0200
+## Created On Node : localhost
+## Last Modified By : Marcus Brinkmann
+## Last Modified On : Thu, 23 Sep 1999 01:41:38 +0200
+## Last Machine Used: localhost
+## Update Count : 2
+## Status : Unknown, Use with caution!
+## HISTORY :
+## Description :
+##
+###############################################################################
+
+# The name of the package (for example, `emacs').
+package := hurd
+
+DEB_BUILD_GNU_TYPE = $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+DEB_HOST_GNU_TYPE = $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+
+# Configuration variables (these should be pretty generic)
+CC = cc
+CFLAGS = -O2 -g -pipe -Wall
+LDFLAGS = -s
+PREFIX = /usr
+BINDIR = $(PREFIX)/bin
+MANDIR = $(PREFIX)/man
+INFODIR = $(PREFIX)/info
+DOCDIR = $(PREFIX)/doc/$(package)
+
+# Package specific stuff. The idea is to try to make the rules
+# generic (gradually).
+
+FILES_TO_CLEAN = debian/files include/*.h
+DIRS_TO_CLEAN = debian/tmp debian/$(package)-dev build
+STAMPS_TO_CLEAN = stamp-build stamp-config
+
+install_file = install -o root -g root -m 644
+install_program = install -s -o root -g root -m 755
+make_directory = install -d -o root -g root -m 755
+
+define checkdir
+ test -f debian/rules
+endef
+
+define checkroot
+ @test 0 = "`id -u`" || (echo need root priviledges; exit 1)
+endef
+
+# Next is NOT a phony target.
+
+configure: configure.in
+ aclocal
+ autoconf
+
+# The next IS a phony target.
+
+config: stamp-config
+stamp-config: configure
+ $(checkdir)
+ -mkdir build
+ cd build && ../configure --build=$(DEB_BUILD_GNU_TYPE) \
+ --host=$(DEB_HOST_GNU_TYPE) --prefix=
+ touch stamp-config
+
+all build: config stamp-build
+stamp-build:
+ $(checkdir)
+ cd build && $(MAKE) no_prof=t
+# XXX-doc
+ cd build && $(MAKE) -C doc hurd.info
+ cd build && $(MAKE) -C doc hurd.ps
+ touch stamp-build
+
+clean:
+ $(checkdir)
+# -cd build && make clean no_deps=t
+ -rm -f $(FILES_TO_CLEAN) $(STAMPS_TO_CLEAN)
+ -rm -rf $(DIRS_TO_CLEAN)
+# XXX-doc
+ -rm -f doc/hurd.d doc/hurd.info* version.texi
+ for NAME in hurd/*.h; do \
+ if [ -L $$NAME ] ; then \
+ rm -f $$NAME ; \
+ fi \
+ done
+ -rm -f core `find . \( -name '*.o' -name '*.orig' -o -name '*.rej' -o -name '*~' \
+ -o -name '*.bak' -o -name '#*#' -o -name '.*.orig' \
+ -o -name '.*.rej' -o -name '.SUMS' \) -print`
+
+binary: binary-indep binary-arch
+
+binary-indep:
+# We have nothing to do here.
+
+binary-arch: build
+ $(checkdir)
+ $(checkroot)
+ -rm -rf debian/{tmp,$(package)-dev}
+
+# first the general install
+ $(make_directory) debian/tmp/boot
+ cd build && $(MAKE) install prefix=`pwd`/../debian/tmp no_prof=t
+# kill the profiling libs
+ -rm -f debian/tmp/lib/*_p.a
+# /etc/motd is in base-files!
+ -rm -f debian/tmp/etc/motd
+# probably we'll make debug packages later, for now, strip'em
+ -strip --strip-unneeded debian/tmp/lib/lib*.so
+ -strip --strip-debug debian/tmp/lib/lib*.a
+ -strip --strip-all debian/tmp/bin/*
+ -strip --strip-all debian/tmp/sbin/*
+ -strip --strip-all debian/tmp/boot/*
+ -strip --strip-all debian/tmp/hurd/*
+ -strip --strip-all debian/tmp/libexec/*
+ chmod 0644 debian/tmp/lib/lib*.a
+ chmod 0755 $(addprefix debian/tmp/, \
+ include include/hurd \
+ lib hurd bin sbin \
+ dev libexec etc etc/login)
+
+# now distribute the files
+# first the source package
+ $(make_directory) debian/$(package)-dev/{DEBIAN,usr/{doc,bin,lib}}
+ ln -s $(package) debian/$(package)-dev/usr/doc/$(package)-dev
+ mv debian/tmp/include debian/$(package)-dev/usr/.
+ mv debian/tmp/lib/*.a debian/$(package)-dev/usr/lib/.
+ # Create development library links.
+ for file in `cd debian/tmp/lib && ls *.so.*`; do \
+ linkname=`echo "$$file" | sed 's/\..*$$/.so/'`; \
+ ln -sf /lib/$$file debian/$(package)-dev/usr/lib/$$linkname; \
+ done
+ rm -f debian/tmp/lib/*.so
+
+ dpkg-gencontrol -p$(package)-dev -Pdebian/$(package)-dev
+ chown -R root.root debian/$(package)-dev
+ dpkg --build debian/$(package)-dev ..
+
+# now the shared libs and other stuff
+ $(make_directory) debian/tmp/DEBIAN
+ $(make_directory) debian/tmp$(DOCDIR)
+ $(make_directory) debian/tmp$(INFODIR)
+
+ gzip -9fq debian/tmp/boot/serverboot
+
+# Only found in CVS, not the distribution.
+# $(install_file) BUGS debian/tmp$(DOCDIR)
+# $(install_file) TODO debian/tmp$(DOCDIR)
+ $(install_file) INSTALL debian/tmp$(DOCDIR)
+ $(install_file) NEWS debian/tmp$(DOCDIR)
+ $(install_file) README debian/tmp$(DOCDIR)
+ $(install_file) tasks debian/tmp$(DOCDIR)
+ $(install_file) ChangeLog debian/tmp$(DOCDIR)/changelog
+ $(install_file) debian/README.Debian debian/tmp$(DOCDIR)
+ $(install_file) debian/changelog debian/tmp$(DOCDIR)/changelog.Debian
+# XXX-doc
+ $(install_file) build/doc/hurd.ps debian/tmp$(DOCDIR)
+ gzip -9frq debian/tmp$(DOCDIR)/.
+ $(install_file) debian/copyright debian/tmp$(DOCDIR)
+
+# XXX-doc
+ $(install_file) build/doc/hurd.info* debian/tmp$(INFODIR)
+ -gzip -9frq debian/tmp$(INFODIR)
+
+ $(install_file) debian/servers.boot debian/tmp/boot/servers.boot
+ $(make_directory) debian/tmp/servers
+
+# libexec/runsystem is managed by update-alternatives
+ mv debian/tmp/libexec/runsystem debian/tmp/libexec/runsystem.gnu
+
+ $(install_file) debian/conffiles debian/tmp/DEBIAN/conffiles
+ $(install_file) debian/shlibs debian/tmp/DEBIAN/shlibs
+ $(install_program) debian/postinst debian/tmp/DEBIAN/postinst
+ $(install_program) debian/prerm debian/tmp/DEBIAN/prerm
+
+ dpkg-shlibdeps -p$(package) debian/tmp/bin/* debian/tmp/libexec/* debian/tmp/hurd/* debian/tmp/sbin/*
+ dpkg-gencontrol -p$(package) -Pdebian/tmp
+ chown -R root.root debian/tmp
+ dpkg --build debian/tmp ..
+
+.PHONY: build config clean binary-indep binary-arch binary
diff --git a/debian/servers.boot b/debian/servers.boot
new file mode 100644
index 00000000..1ddd7b91
--- /dev/null
+++ b/debian/servers.boot
@@ -0,0 +1,19 @@
+# GNU Mach boot script for Debian GNU/Hurd. Each line specifies a
+# file for serverboot to load (the first word), and actions to be done
+# with it.
+
+# First, the bootstrap filesystem. It needs several ports as arguments,
+# as well as the user flags from the boot loader.
+/hurd/ext2fs.static --bootflags=${boot-args} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -Tdevice ${root-device} $(task-create) $(task-resume)
+
+# Now the exec server; to load the dynamically-linked exec server
+# program, we have serverboot in fact load and run ld.so, which in
+# turn loads and runs /hurd/exec. This task is created, and its task
+# port saved in ${exec-task} to be passed to the fs above, but it is
+# left suspended; the fs will resume the exec task once it is ready.
+/lib/ld.so.1 /hurd/exec $(exec-task=task-create)
+
+# To swap to a Linux swap partition, use something like the following.
+# You can also add swap partitions to /etc/fstab.
+#/dev/hd0s2 $(add-linux-paging-file)
+
diff --git a/debian/shlibs b/debian/shlibs
new file mode 100644
index 00000000..267f4976
--- /dev/null
+++ b/debian/shlibs
@@ -0,0 +1,15 @@
+libshouldbeinlibc 0.2 hurd
+libftpconn 0.2 hurd
+libports 0.2 hurd
+libthreads 0.2 hurd
+libhurdbugaddr 0.2 hurd
+libstore 0.2 hurd
+libihash 0.2 hurd
+libpipe 0.2 hurd
+libtrivfs 0.2 hurd
+libpager 0.2 hurd
+libnetfs 0.2 hurd
+libiohelp 0.2 hurd
+libfshelp 0.2 hurd
+libps 0.2 hurd
+libdiskfs 0.2 hurd
diff --git a/debian/shlibs.local b/debian/shlibs.local
new file mode 100644
index 00000000..910a73c7
--- /dev/null
+++ b/debian/shlibs.local
@@ -0,0 +1,15 @@
+libshouldbeinlibc 0.2
+libftpconn 0.2
+libports 0.2
+libthreads 0.2
+libhurdbugaddr 0.2
+libstore 0.2
+libihash 0.2
+libpipe 0.2
+libtrivfs 0.2
+libpager 0.2
+libnetfs 0.2
+libiohelp 0.2
+libfshelp 0.2
+libps 0.2
+libdiskfs 0.2