FaCiLe: Difference between revisions

From CBLFS
Jump to navigationJump to search
Tdshepard (talk | contribs)
Added 32Bit and 64Bit multilib build.
No edit summary
 
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 04: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
Retrieved from "?title=FaCiLe&oldid=18161"