diff options
author | Rafael Laboissière <rafael@debian.org> | 2022-07-12 12:21:43 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2022-07-12 12:21:43 -0300 |
commit | c2c898f19365e274748339d49d652d32377115a0 (patch) | |
tree | 07183065bb52670ff0b4fe7177a85ebff92693d3 | |
parent | f4e3004245c24445e6533d0a5420cf972384f99a (diff) |
Proper cleaning of files generated by the configure script
+ d/clean: Drop obsolete file
+ d/p/add-distclean-target.patch: New patch
+ d/control: Build-depend on dh-octave >= 1.2.3
Gbp-Dch: Full
-rw-r--r-- | debian/clean | 4 | ||||
-rw-r--r-- | debian/control | 1 | ||||
-rw-r--r-- | debian/patches/add-distclean-target.patch | 15 | ||||
-rw-r--r-- | debian/patches/series | 1 |
4 files changed, 17 insertions, 4 deletions
diff --git a/debian/clean b/debian/clean deleted file mode 100644 index 189f192..0000000 --- a/debian/clean +++ /dev/null @@ -1,4 +0,0 @@ -src/Makeconf -src/Makefile -src/config.status -src/config.log diff --git a/debian/control b/debian/control index 8f21371..2f7f4c4 100644 --- a/debian/control +++ b/debian/control @@ -4,6 +4,7 @@ Priority: optional Maintainer: Debian Octave Group <team+pkg-octave-team@tracker.debian.org> Uploaders: Rafael Laboissière <rafael@debian.org> Build-Depends: debhelper-compat (= 13), + dh-octave (>= 1.2.3), dh-sequence-octave Standards-Version: 4.6.1 Homepage: https://octave.sourceforge.io/optiminterp/ diff --git a/debian/patches/add-distclean-target.patch b/debian/patches/add-distclean-target.patch new file mode 100644 index 0000000..6b88a2c --- /dev/null +++ b/debian/patches/add-distclean-target.patch @@ -0,0 +1,15 @@ +Description: Add distclean target to src/Makefile.in +Author: Rafael Laboissière <rafael@debian.org> +Forwarded: https://savannah.gnu.org/bugs/index.php?62755 +Last-Update: 2022-07-12 + +--- octave-optiminterp-0.3.7.orig/src/Makefile.in ++++ octave-optiminterp-0.3.7/src/Makefile.in +@@ -63,4 +63,7 @@ optiminterp_wrapper.o: optiminterp_wrapp + clean: + rm -f *.o *.oct *~ *.mod + ++distclean: clean ++ -rm Makeconf Makefile config.status config.log ++ + .NOTPARALLEL: diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..62e95a2 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +add-distclean-target.patch |