diff options
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -20,11 +20,6 @@ build() { dune build --release --verbose } -check() { - cd "$srcdir/$_sourcedirectory/" - dune runtest --release --verbose -} - package() { cd "$srcdir/$_sourcedirectory/" DESTDIR="$pkgdir" dune install --prefix '/usr' --libdir '/usr/lib/ocaml' --docdir '/usr/share/doc' --mandir '/usr/share/man' --release --verbose @@ -34,5 +29,5 @@ package() { done install -dm755 "$pkgdir/usr/share/licenses/$pkgname" - ln -sf "/usr/share/doc/$pkgname/LICENSE.md" "$pkgdir/usr/share/licenses/$pkgname/LICENSE.md" + ln -sf "/usr/share/doc/$pkgname/LICENSE" "$pkgdir/usr/share/licenses/$pkgname/LICENSE" } |