Difference between revisions of "FaCiLe"
From CBLFS
Jump to navigationJump to search (Added 32Bit and 64Bit multilib build.) |
|||
| Line 27: | Line 27: | ||
== 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 === | ||
| + | |||
| + | 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 | ||
[[Category:Programming]] | [[Category:Programming]] | ||
Revision as of 20:27, 12 April 2009
| Download Source: | http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz |
|---|
Contents
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
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
