development/facile: Updated for version 1.1.3.
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
This commit is contained in:
parent
8b07da5e1a
commit
6b11bf6a55
|
@ -1,26 +0,0 @@
|
|||
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
|
||||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
# Slackware build script for facile
|
||||
|
||||
# Copyright 2008-2011 Heinz Wiesinger, Amsterdam, The Netherlands
|
||||
# Copyright 2008-2017 Heinz Wiesinger, Amsterdam, The Netherlands
|
||||
# All rights reserved.
|
||||
#
|
||||
# Redistribution and use of this script, with or without modification, is
|
||||
|
@ -23,8 +23,8 @@
|
|||
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
|
||||
PRGNAM=facile
|
||||
VERSION=${VERSION:-1.1}
|
||||
BUILD=${BUILD:-2}
|
||||
VERSION=${VERSION:-1.1.3}
|
||||
BUILD=${BUILD:-1}
|
||||
TAG=${TAG:-_SBo}
|
||||
|
||||
if [ -z "$ARCH" ]; then
|
||||
|
@ -40,17 +40,9 @@ TMP=${TMP:-/tmp/SBo}
|
|||
PKG=$TMP/package-$PRGNAM
|
||||
OUTPUT=${OUTPUT:-/tmp}
|
||||
|
||||
if [ "$ARCH" = "i486" ]; then
|
||||
SLKCFLAGS="-O2 -march=i486 -mtune=i686"
|
||||
LIBDIRSUFFIX=""
|
||||
elif [ "$ARCH" = "i686" ]; then
|
||||
SLKCFLAGS="-O2 -march=i686 -mtune=i686"
|
||||
LIBDIRSUFFIX=""
|
||||
elif [ "$ARCH" = "x86_64" ]; then
|
||||
SLKCFLAGS="-O2 -fPIC"
|
||||
if [ "$ARCH" = "x86_64" ]; then
|
||||
LIBDIRSUFFIX="64"
|
||||
else
|
||||
SLKCFLAGS="-O2"
|
||||
LIBDIRSUFFIX=""
|
||||
fi
|
||||
|
||||
|
@ -69,9 +61,6 @@ find -L . \
|
|||
\( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
|
||||
-o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
|
||||
|
||||
# patch to build against ocaml >= 4
|
||||
patch -p1 < $CWD/facile-1.1-ocaml4.patch
|
||||
|
||||
mkdir -p $PKG/usr/lib$LIBDIRSUFFIX/ocaml/facile
|
||||
|
||||
./configure \
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
PRGNAM="facile"
|
||||
VERSION="1.1"
|
||||
HOMEPAGE="http://www.recherche.enac.fr/opti/facile/"
|
||||
DOWNLOAD="http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz"
|
||||
MD5SUM="ab673e1fc0859a42bcb639a02c2d7e9e"
|
||||
VERSION="1.1.3"
|
||||
HOMEPAGE="http://opti.recherche.enac.fr/facile/"
|
||||
DOWNLOAD="http://opti.recherche.enac.fr/facile/distrib/facile-1.1.3.tar.gz"
|
||||
MD5SUM="172c4fbea636a8fa575b988390639d8d"
|
||||
DOWNLOAD_x86_64=""
|
||||
MD5SUM_x86_64=""
|
||||
REQUIRES="ocaml"
|
||||
|
|
|
@ -11,7 +11,7 @@ facile:
|
|||
facile: FaCiLe is a Functional Constraint Library implemented in Objective
|
||||
facile: Caml.
|
||||
facile:
|
||||
facile: Homepage: http://www.recherche.enac.fr/opti/facile/
|
||||
facile: Homepage: http://opti.recherche.enac.fr/facile/
|
||||
facile:
|
||||
facile:
|
||||
facile:
|
||||
|
|
Loading…
Reference in New Issue