mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-05 09:37:14 +08:00
27 lines
756 B
Bash
27 lines
756 B
Bash
#
|
|
# Platform Packages for Chakra, part of chakra-project.org
|
|
#
|
|
# maintainer (i686): Phil Miller <philm[at]chakra-project[dog]org>
|
|
# maintainer (x86_64): Andrei Nistor <coder[dot]tux[at]ceata[dot]org>
|
|
|
|
pkgname=facile
|
|
pkgver=1.1
|
|
pkgrel=13
|
|
pkgdesc="A Functional Constraint Library"
|
|
arch=(i686 x86_64)
|
|
url="http://www.recherche.enac.fr/opti/facile/"
|
|
license="LGPL"
|
|
makedepends=('ocaml')
|
|
depends=()
|
|
source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz)
|
|
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e')
|
|
|
|
build() {
|
|
cd $startdir/src/$pkgname-$pkgver
|
|
./configure
|
|
make || return 1
|
|
mkdir -p $startdir/pkg/usr/lib/ocaml/facile
|
|
cd src
|
|
install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a $startdir/pkg/usr/lib/ocaml/facile
|
|
}
|