mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-12 02:54:40 +08:00
26 lines
627 B
Bash
26 lines
627 B
Bash
# maintainer: Neophytos Kolokotronis <tetris4@gmail.com>
|
|
|
|
pkgname=facile
|
|
pkgver=1.1.2
|
|
pkgrel=1
|
|
pkgdesc="A Functional Constraint Library"
|
|
arch=(x86_64)
|
|
url="http://www.recherche.enac.fr/opti/facile/"
|
|
license=("LGPL")
|
|
makedepends=('ocaml')
|
|
depends=()
|
|
source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz)
|
|
md5sums=('1409fb5a725e491a6e8e60ad7484eeb1')
|
|
|
|
build() {
|
|
cd "$srcdir/$pkgname-$pkgver"
|
|
./configure
|
|
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"
|
|
}
|