[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