summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorSander Van Balen2023-11-06 10:25:28 +0100
committerSander Van Balen2023-11-06 10:25:28 +0100
commitc36f932ed446e1b0346c51a0b15c87a2efaa9108 (patch)
tree5e82e38b96912e4e7a4f394399d5675b0ad0afed /PKGBUILD
parentaae996c5050ff7565cde5faaacc71afb49f6ad71 (diff)
downloadaur-c36f932ed446e1b0346c51a0b15c87a2efaa9108.tar.gz
fix typo in licenses dir
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index a06a5980062c..67372098cc39 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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}"