diff options
author | Carlos Aznarán Laos | 2022-12-09 13:31:54 -0500 |
---|---|---|
committer | Carlos Aznarán Laos | 2022-12-09 13:31:54 -0500 |
commit | 7fa007079214a608953ac7a3320ba013a7b48dfb (patch) | |
tree | 996a69eead4a6b9bb316e5ee06423ea8820f39cc | |
parent | 92be3d470774e04ada4d2317cee7e8fd91c43f9e (diff) | |
download | aur-7fa007079214a608953ac7a3320ba013a7b48dfb.tar.gz |
Fix dune.module
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -19,9 +19,13 @@ sha512sums=('27836fe2c6373fcbb5deed4a2a564a751809211b5061f75a36a78e2b13d029ddf52 'SKIP') validpgpkeys=('2AA99AA4E2D6214E6EA01C9A4AF42916F6E5B1CF') # Christoph Grüninger <gruenich@dune-project.org> +prepare() { + sed -i 's/^Version: '"${pkgver%%.0}"'/Version: '"${pkgver%%.0}"'.0/' ${pkgname}-${pkgver}/dune.module +} + build() { cmake \ - -S ${pkgname}-${_tarver} \ + -S ${pkgname}-${pkgver} \ -B build-cmake \ -DCMAKE_BUILD_TYPE=None \ -DCMAKE_INSTALL_PREFIX=/usr \ @@ -40,6 +44,6 @@ build() { package() { DESTDIR="${pkgdir}" cmake --build build-cmake --target install - install -Dm644 ${pkgname}-${_tarver}/COPYING "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" + install -Dm644 ${pkgname}-${pkgver}/COPYING "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" find "${pkgdir}" -type d -empty -delete } |