mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-03 13:07:13 +08:00
32 lines
862 B
Bash
32 lines
862 B
Bash
# maintainer: Neophytos Kolokotronis <tetris4@gmail.com>
|
|
|
|
pkgname=facile
|
|
pkgver=1.1
|
|
pkgrel=14
|
|
pkgdesc="A Functional Constraint Library"
|
|
arch=('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"
|
|
'ocaml4-fix.patch')
|
|
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
|
|
'85fe830895f2059bbbf88895c98877f8')
|
|
|
|
build() {
|
|
cd ${srcdir}/$pkgname-$pkgver
|
|
#fix ocaml4 issues when compiling kdeedu-kalzium: https://groups.google.com/forum/#!topic/chakra-devel/hf582tdtVuA
|
|
patch -Np1 -i ../ocaml4-fix.patch
|
|
|
|
./configure
|
|
make
|
|
}
|
|
|
|
package() {
|
|
cd ${srcdir}/$pkgname-$pkgver
|
|
mkdir -p ${pkgdir}/usr/lib/ocaml/facile
|
|
cd src
|
|
install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a ${pkgdir}/usr/lib/ocaml/facile
|
|
}
|