FaCiLe

Download Source:	http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz

---

Introduction to FaCiLe

FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

Project Homepage: http://www.recherche.enac.fr/opti/facile/

Dependencies

Required

• Objective_Caml

Non-Multilib

Compile the package:

./configure &&
make

Install the package

make install

Multilib

Note

The following works fine under ocaml 3.11.0 and I suspect it will also work under ocaml 3.10.2. If this works for you and functionality tests out OK, then please remove this note. I think the 32Bit procedure will also work for N32, should you manage to figure out how to build ocaml for that platform. (Now would be a fine time to migrate the ocaml build to Gnu Autotools.)

32Bit

Compile the package:

export USE_ARCH=32 &&
./configure &&
make &&
unset USE_ARCH

Install the package:

export USE_ARCH=32 &&
make install &&
unset USE_ARCH

N32

To Do...

64Bit

Compile the package:

export USE_ARCH=64 &&
./configure &&
make &&
unset USE_ARCH

Install the package:

export USE_ARCH=64 &&
make install &&
unset USE_ARCH