[arch-commits] Commit in cppo/trunk (PKGBUILD)

[Bruno Pagani]

    Date: Tuesday, November 27, 2018 @ 23:53:30
  Author: archange
Revision: 410262

Update to latest dune

Modified:
  cppo/trunk/PKGBUILD

----------+
 PKGBUILD |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-11-27 23:50:53 UTC (rev 410261)
+++ PKGBUILD	2018-11-27 23:53:30 UTC (rev 410262)
@@ -24,8 +24,7 @@
 
 package() {
     cd ${pkgname}-${pkgver}
-    # Work around install command
-    dune install --prefix="${pkgdir}"/usr/ --libdir="${pkgdir}$(ocamlfind printconf destdir)"
+    DESTDIR="${pkgdir}" dune install --prefix=/usr --libdir="$(ocamlfind printconf destdir)"
     install -Dm644 LICENSE.md -t "${pkgdir}"/usr/share/licenses/${pkgname}/
     rm -r "${pkgdir}"/usr/doc
 }