mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-09 00:23:52 +02:00
ocaml: nopie=yes.
This commit is contained in:
parent
116c2d4fb7
commit
5956f49f3e
1 changed files with 1 additions and 0 deletions
|
@ -10,6 +10,7 @@ license="QPL-1, LGPL-2"
|
||||||
distfiles="https://github.com/${pkgname}/${pkgname}/archive/${version}.tar.gz"
|
distfiles="https://github.com/${pkgname}/${pkgname}/archive/${version}.tar.gz"
|
||||||
checksum=fef80a338099bffc56e4d1ef35146336195a4a9e2086e8cd186c402805503a0a
|
checksum=fef80a338099bffc56e4d1ef35146336195a4a9e2086e8cd186c402805503a0a
|
||||||
nocross=yes
|
nocross=yes
|
||||||
|
nopie=yes
|
||||||
|
|
||||||
do_configure() {
|
do_configure() {
|
||||||
./configure -prefix /usr -mandir /usr/share/man
|
./configure -prefix /usr -mandir /usr/share/man
|
||||||
|
|
Loading…
Add table
Reference in a new issue