mirror of
https://github.com/void-linux/void-packages.git
synced 2025-07-30 09:22:57 +02:00
polyml: fix conflicts.
This commit is contained in:
parent
f85160eb06
commit
e84e92729f
1 changed files with 2 additions and 2 deletions
|
@ -1,12 +1,12 @@
|
||||||
# Template file for 'polyml'
|
# Template file for 'polyml'
|
||||||
pkgname=polyml
|
pkgname=polyml
|
||||||
version=5.5.2
|
version=5.5.2
|
||||||
revision=1
|
revision=2
|
||||||
wrksrc="${pkgname}.${version}"
|
wrksrc="${pkgname}.${version}"
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--with-system-libffi --enable-shared"
|
configure_args="--with-system-libffi --enable-shared"
|
||||||
makedepends="gmp-devel libffi-devel"
|
makedepends="gmp-devel libffi-devel"
|
||||||
conflicts="mesa-demos" # /usr/bin/poly
|
conflicts="mesa-demos>=0" # /usr/bin/poly
|
||||||
short_desc="The Poly/ML Standard ML (SML) implementation"
|
short_desc="The Poly/ML Standard ML (SML) implementation"
|
||||||
maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
|
maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
|
||||||
license="LGPL-2.1"
|
license="LGPL-2.1"
|
||||||
|
|
Loading…
Add table
Reference in a new issue