Fix debian packaging
Install debian metadata(!)
This commit is contained in:
parent
67ca4b4742
commit
ecd10ebba0
1 changed files with 5 additions and 0 deletions
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in a new issue