Difference between revisions of "FaCiLe"

From CBLFS
Jump to navigationJump to search
(Added 32Bit and 64Bit multilib build.)
 
Line 12: Line 12:
  
 
=== Required ===
 
=== Required ===
* [[Objective_Caml]]
+
* [[Objective Caml]]
  
 
== Non-Multilib ==
 
== Non-Multilib ==
Line 26: Line 26:
  
 
== Multilib ==
 
== 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 ===
 
=== 32Bit ===
Line 35: Line 33:
 
  export USE_ARCH=32 &&
 
  export USE_ARCH=32 &&
 
  ./configure &&
 
  ./configure &&
  make &&
+
  make
unset USE_ARCH
 
  
 
Install the package:
 
Install the package:
  
export USE_ARCH=32 &&
 
 
  make install &&
 
  make install &&
 
  unset USE_ARCH
 
  unset USE_ARCH
Line 53: Line 49:
 
  export USE_ARCH=64 &&
 
  export USE_ARCH=64 &&
 
  ./configure &&
 
  ./configure &&
  make &&
+
  make
unset USE_ARCH
 
  
 
Install the package:
 
Install the package:
  
export USE_ARCH=64 &&
 
 
  make install &&
 
  make install &&
 
  unset USE_ARCH
 
  unset USE_ARCH
  
 
[[Category:Programming]]
 
[[Category:Programming]]

Latest revision as of 05:32, 13 April 2009

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

Non-Multilib

Compile the package:

./configure &&
make

Install the package

make install

Multilib

32Bit

Compile the package:

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

Install the package:

make install &&
unset USE_ARCH

N32

To Do...

64Bit

Compile the package:

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

Install the package:

make install &&
unset USE_ARCH