From 6b11bf6a55f3dbdb7474efc4d57d8ad324e2f535 Mon Sep 17 00:00:00 2001 From: Heinz Wiesinger Date: Sun, 29 Jan 2017 18:00:25 +0100 Subject: development/facile: Updated for version 1.1.3. Signed-off-by: Heinz Wiesinger --- development/facile/facile-1.1-ocaml4.patch | 26 -------------------------- development/facile/facile.SlackBuild | 19 ++++--------------- development/facile/facile.info | 8 ++++---- development/facile/slack-desc | 2 +- 4 files changed, 9 insertions(+), 46 deletions(-) delete mode 100644 development/facile/facile-1.1-ocaml4.patch (limited to 'development/facile') diff --git a/development/facile/facile-1.1-ocaml4.patch b/development/facile/facile-1.1-ocaml4.patch deleted file mode 100644 index 185d39fe98..0000000000 --- a/development/facile/facile-1.1-ocaml4.patch +++ /dev/null @@ -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 - diff --git a/development/facile/facile.SlackBuild b/development/facile/facile.SlackBuild index c6af2c1430..db7d46ca08 100644 --- a/development/facile/facile.SlackBuild +++ b/development/facile/facile.SlackBuild @@ -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 \ diff --git a/development/facile/facile.info b/development/facile/facile.info index ed0aea5574..6bcc192c8c 100644 --- a/development/facile/facile.info +++ b/development/facile/facile.info @@ -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" diff --git a/development/facile/slack-desc b/development/facile/slack-desc index 5e27e35c66..6afc68cbc3 100644 --- a/development/facile/slack-desc +++ b/development/facile/slack-desc @@ -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: -- cgit v1.2.3-65-gdbad