FaCiLe - Revision history

Jciccone at 12:32, 13 April 2009

2009-04-13T12:32:51Z

← Older revision		Revision as of 12:32, 13 April 2009
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]]

Tdshepard: Added 32Bit and 64Bit multilib build.

2009-04-13T04:27:21Z

Added 32Bit and 64Bit multilib build.

@@ Line 27: / Line 27: @@
 == Multilib ==
-TO DO
+{{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.)}}
 [[Category:Programming]]

Jciccone at 23:41, 19 March 2009

2009-03-19T23:41:34Z

← Older revision		Revision as of 23:41, 19 March 2009
Line 28:		Line 28:

	TO DO		TO DO

			[[Category:Programming]]

Jciccone at 12:13, 31 October 2008

2008-10-31T12:13:14Z

← Older revision		Revision as of 12:13, 31 October 2008
Line 2:		Line 2:
	\|-valign="top"		\|-valign="top"
	!Download Source:		!Download Source:
	\| http://www.recherche.enac.fr/opti/facile/distrib/facile-{{~~Facile~~-Version}}.tar.gz		\| http://www.recherche.enac.fr/opti/facile/distrib/facile-{{FaCiLe-Version}}.tar.gz
	\|}		\|}

Jciccone: Facile moved to FaCiLe

2008-10-31T12:12:58Z

Facile moved to FaCiLe

← Older revision	Revision as of 12:12, 31 October 2008
(No difference)

Jciccone at 12:05, 31 October 2008

2008-10-31T12:05:23Z

← Older revision		Revision as of 12:05, 31 October 2008
Line 2:		Line 2:
	\|-valign="top"		\|-valign="top"
	!Download Source:		!Download Source:
	\| http://www.recherche.enac.fr/opti/facile/distrib/facile-~~1.1~~.tar.gz		\| http://www.recherche.enac.fr/opti/facile/distrib/facile-{{Facile-Version}}.tar.gz
	\|}		\|}

Mungo: New Page

2008-10-31T08:24:43Z

New Page

New page

{| style="text-align: left; background-color: AliceBlue;"
|-valign="top"
!Download Source:
| http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz
|}

----

{{Package-Introduction|FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.|http://www.recherche.enac.fr/opti/facile/}}

== Dependencies ==

=== Required ===
* [[Objective_Caml]]

== Non-Multilib ==

Compile the package:

./configure &&
make

Install the package

make install

== Multilib ==

TO DO