mirror of
https://github.com/void-linux/void-packages.git
synced 2025-08-03 19:32:57 +02:00
libedit-devel: avoid conflict with readline-devel
Closes: #9990 [via git-merge-pr]
This commit is contained in:
parent
71cc21c6f9
commit
556d1c2b7d
1 changed files with 3 additions and 1 deletions
|
@ -3,7 +3,7 @@ pkgname=libedit
|
||||||
_datever=20170329
|
_datever=20170329
|
||||||
_distver=3.1
|
_distver=3.1
|
||||||
version=${_datever}.${_distver}
|
version=${_datever}.${_distver}
|
||||||
revision=1
|
revision=2
|
||||||
wrksrc="${pkgname}-${_datever}-${_distver}"
|
wrksrc="${pkgname}-${_datever}-${_distver}"
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
makedepends="ncurses-devel"
|
makedepends="ncurses-devel"
|
||||||
|
@ -16,6 +16,8 @@ checksum=91f2d90fbd2a048ff6dad7131d9a39e690fd8a8fd982a353f1333dd4017dd4be
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
vlicense COPYING
|
vlicense COPYING
|
||||||
|
# history.3 conflicts with readline-devel
|
||||||
|
rm ${DESTDIR}/usr/share/man/man3/history.3
|
||||||
}
|
}
|
||||||
|
|
||||||
libedit-devel_package() {
|
libedit-devel_package() {
|
||||||
|
|
Loading…
Add table
Reference in a new issue