diff options
author | David Bremner <bremner@debian.org> | 2024-02-24 08:42:25 -0400 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2024-02-24 08:42:25 -0400 |
commit | 601f447e98cdcf3ed9586fe8833896d533b368db (patch) | |
tree | 3269e548b2d0e83354c107fa801f551d0ff491e1 /debian | |
parent | a07560a9d8c0d238f0d266e01e21c202159cac5b (diff) |
debian: drop obsolete patch management code
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/debian/rules b/debian/rules index f026789a01..a39b041d40 100755 --- a/debian/rules +++ b/debian/rules @@ -56,37 +56,6 @@ DEB_DH_BUILDDEB_ARGS := -- -Zxz # do not strip mred, as this fails on some arches DEB_DH_STRIP_ARGS_racket := -Xbin/mzscheme -Xbin/mred -DEB_MAKE_INSTALL_TARGET= . - -common-install-arch:: do-install-arch -common-install-indep:: do-install-indep - -do-install-arch: PLT_EXTRA=--no-docs -do-install-arch: - $(DEB_MAKE_ENVVARS) $(MAKE) -C $(DEB_BUILDDIR) install DESTDIR=$(CURDIR)/debian/tmp - rm -f $(CURDIR)/debian/tmp/usr/bin/planet - -do-install-indep: PLT_EXTRA=--no-launcher --no-install --no-post-install -do-install-indep: - $(DEB_MAKE_ENVVARS) $(MAKE) -C $(DEB_BUILDDIR) install DESTDIR=$(CURDIR)/debian/tmp - -cleanbuilddir/racket:: - rm -rf build - rm -rf include # This got created at build-time - rm -f debian/mzconfig.h debian/racket-arch.mk debian/racket-arch.mk: debian/racket-arch.c touch debian/mzconfig.h && cpp -Isrc -Idebian -o - $< | tail -1 > $@ - -get-orig-source: - git archive --format=tar --prefix=racket-${UPSTREAM}/ upstream/${UPSTREAM} | gzip -9 > ../${ORIG} - -PATCH_EXPORT_SCRIPT = /usr/share/gitpkg/hooks/quilt-patches-deb-export-hook - -export-patches: - [ ! -r debian/patches ] || \ - grep "^\#.*$(notdir $(PATCH_EXPORT_SCRIPT))" debian/patches/series - rm -rf debian/patches - bash $(PATCH_EXPORT_SCRIPT) - -.PHONY: git-orig-source export-patches |