4 files changed, 9 insertions, 46 deletions
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: