summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRafael Laboissière <rafael@debian.org>2022-07-12 12:21:43 -0300
committerRafael Laboissière <rafael@debian.org>2022-07-12 12:21:43 -0300
commitc2c898f19365e274748339d49d652d32377115a0 (patch)
tree07183065bb52670ff0b4fe7177a85ebff92693d3
parentf4e3004245c24445e6533d0a5420cf972384f99a (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/clean4
-rw-r--r--debian/control1
-rw-r--r--debian/patches/add-distclean-target.patch15
-rw-r--r--debian/patches/series1
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