diff options
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 4 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = verifast-bin pkgdesc = research prototype of a tool for formal verification of C and Java programs pkgver = 19.12 - pkgrel = 1 + pkgrel = 2 url = https://github.com/verifast/verifast arch = any license = MIT @@ -11,4 +11,3 @@ pkgbase = verifast-bin md5sums = a53d80725c9b46c7dc7dc507b6dee172 pkgname = verifast-bin - @@ -4,7 +4,7 @@ pkgname=verifast-bin _pkgname=verifast pkgver=19.12 -pkgrel=1 +pkgrel=2 pkgdesc="research prototype of a tool for formal verification of C and Java programs" arch=("any") url="https://github.com/verifast/verifast" @@ -16,10 +16,10 @@ md5sums=("235d075fa0790ad2e8401f71d9307d73" "a53d80725c9b46c7dc7dc507b6dee172") package() { install -d "${pkgdir}/usr/bin" - install -d "${pkgdir}/usr/share/licences/${_pkgname}" + install -d "${pkgdir}/usr/share/licenses/${_pkgname}" install -d "${pkgdir}/opt" - install -m644 "${srcdir}/LICENSE.md" "${pkgdir}/usr/share/licences/${_pkgname}/LICENSE" + install -m644 "${srcdir}/LICENSE.md" "${pkgdir}/usr/share/licenses/${_pkgname}/LICENSE" _destdir="/opt/${_pkgname}" destdir="${pkgdir}${_destdir}" |