From ecd10ebba000c082ca033e58b6f8cb28285941d9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 23 Aug 2022 11:19:16 +0200 Subject: [PATCH] Fix debian packaging Install debian metadata(!) --- packaging/debian/create_package.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/packaging/debian/create_package.sh b/packaging/debian/create_package.sh index 8edd0bd..049f004 100644 --- a/packaging/debian/create_package.sh +++ b/packaging/debian/create_package.sh @@ -20,6 +20,11 @@ mkdir -p "$debiandir" "$bindir" install "$bdir/opam-graph" "$bindir/opam-graph" +# install debian metadata +install -m 0644 $basedir/packaging/debian/control $debiandir/control +install -m 0644 $basedir/packaging/debian/changelog $debiandir/changelog +install -m 0644 $basedir/packaging/debian/copyright $debiandir/copyright + ARCH=$(dpkg-architecture -q DEB_TARGET_ARCH) sed -i -e "s/^Architecture:.*/Architecture: ${ARCH}/" "$debiandir"/control