facile: rebuild with ocaml4 patch

This commit is contained in:
Neophytos 2013-10-28 10:44:04 +00:00
parent 7b01235eb2
commit 6d1144cce9
2 changed files with 40 additions and 10 deletions

View File

@ -1,25 +1,30 @@
#
# 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>
# maintainer: Neophytos Kolokotronis <tetris4@gmail.com>
pkgname=facile
pkgver=1.1
pkgrel=13
pkgrel=14
pkgdesc="A Functional Constraint Library"
arch=(i686 x86_64)
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)
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e')
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 || return 1
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

25
facile/ocaml4-fix.patch Normal file
View File

@ -0,0 +1,25 @@
diff -ur facile-1.1.old/src/facile.mli facile-1.1/src/facile.mli
--- facile-1.1.old/src/facile.mli 2004-09-08 10:51:02.000000000 +0100
+++ facile-1.1/src/facile.mli 2012-06-10 21:06:41.553916954 +0100
@@ -127,7 +127,7 @@
module Hashtbl :
sig
type ('a, 'b) t
- val create : int -> ('a, 'b) t
+ val create : ?random:bool -> int -> ('a, 'b) t
val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
val add : ('a, 'b) t -> 'a -> 'b -> unit
val find : ('a, 'b) t -> 'a -> 'b
Binary files facile-1.1.old/src/fcl_data.cmi and facile-1.1/src/fcl_data.cmi differ
diff -ur facile-1.1.old/src/fcl_data.mli facile-1.1/src/fcl_data.mli
--- facile-1.1.old/src/fcl_data.mli 2004-09-08 10:51:02.000000000 +0100
+++ facile-1.1/src/fcl_data.mli 2012-06-10 21:06:25.841590828 +0100
@@ -23,7 +23,7 @@
module Hashtbl : sig
type ('a, 'b) t
- val create : int -> ('a, 'b) t
+ val create : ?random:bool -> int -> ('a, 'b) t
val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
val add : ('a, 'b) t -> 'a -> 'b -> unit
val find : ('a, 'b) t -> 'a -> 'b