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

Antonio Rojas arojas at gemini.archlinux.org
Tue Jan 4 15:28:38 UTC 2022


    Date: Tuesday, January 4, 2022 @ 15:28:38
  Author: arojas
Revision: 433408

Update to 1.1.4, ocaml 4.13 rebuild

Modified:
  facile/trunk/PKGBUILD

----------+
 PKGBUILD |   16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-01-04 12:36:07 UTC (rev 433407)
+++ PKGBUILD	2022-01-04 15:28:38 UTC (rev 433408)
@@ -1,8 +1,8 @@
 # Maintainer: Tobias Powalowski <tpowa at archlinux.org>
 
 pkgname=facile
-pkgver=1.1.3
-pkgrel=13
+pkgver=1.1.4
+pkgrel=1
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/"
@@ -9,17 +9,15 @@
 license=("LGPL")
 makedepends=('ocaml-compiler-libs')
 depends=()
-source=(http://facile.recherche.enac.fr/distrib/$pkgname-$pkgver.tar.gz)
-md5sums=('172c4fbea636a8fa575b988390639d8d')
+source=(https://github.com/Emmanuel-PLF/facile/archive/$pkgver/$pkgname-$pkgver.tar.gz)
+md5sums=('f68b81b7eeb0105ffa82f53b5d8ef025')
 
 build() {
-  cd "$srcdir/$pkgname-$pkgver"
-  ./configure
+  cd $pkgname-$pkgver/lib
   make
 }
 
 package() {
-  cd "$srcdir/$pkgname-$pkgver/src"
-  install -d "$pkgdir/usr/lib/ocaml/facile"
-  install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a "$pkgdir/usr/lib/ocaml/facile"
+  cd $pkgname-$pkgver/lib
+  install -Dm644 facile.cmxa facile.cmi facile.cma facile.a -t "$pkgdir/usr/lib/ocaml/facile"
 }



More information about the arch-commits mailing list