diff --git a/kdeedu.spec b/kdeedu.spec
index 82c120c..6372904 100644
--- a/kdeedu.spec
+++ b/kdeedu.spec
@@ -1,7 +1,19 @@
+# The Kalzium solver needs OCaml with native compilation support (ocamlopt) and
+# ocaml-facile.
+%if 0%{?fedora} > 8
+%ifarch alpha %{ix86} ia64 x86_64 ppc ppc64 sparc sparcv9
+%define with_facile 1
+%endif
+%if 0%{?fedora} == 8
+%ifarch alpha %{ix86} ia64 x86_64 ppc sparc sparcv9
+%define with_facile 1
+%endif
+%endif
+
 Name:    kdeedu
 Summary: Educational/Edutainment applications 
 Version: 4.0.2
-Release: 4%{?dist}
+Release: 5%{?dist}
 
 License: GPLv2
 Group:	 Amusements/Games
@@ -39,16 +51,15 @@ BuildRequires: kdelibs4-devel >= %{version}
 BuildRequires: kde-filesystem
 BuildRequires: libnova-devel
 BuildRequires: libusb-devel
-# FIXME: OCaml is needed by Kalzium <http://caml.inria.fr/>
-#ifarch alpha armv4l %{ix86} ia64 x86_64 ppc sparc
-#BuildRequires: ocaml(compiler)
-#endif
+%if 0%{?with_facile}
+BuildRequires: ocaml(compiler)
+BuildRequires: ocaml-facile-devel
+%endif
 BuildRequires: openbabel-devel
 BuildRequires: pcre-devel
 BuildRequires: python-devel python
 BuildRequires: readline-devel
 ## BR's FIXME/TODO:
-#+ LibFacile: libfacile is needed by Kalzium <http://www.recherche.enac.fr/log/facile/>
 #+ libsbigudrv, 1.00: SBIG Universal Driver is needed by KStars <http://indi.sourceforge.net/>
 
 %{?_kde4_macros_api:Requires: kde4-macros(api) = %{_kde4_macros_api} }
@@ -168,6 +179,9 @@ rm -rf %{buildroot}
 
 
 %changelog
+* Fri Mar 21 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> 4.0.2-5
+- BR ocaml(compiler) and ocaml-facile-devel (for Kalzium)
+
 * Wed Mar 19 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> 4.0.2-4
 - add BR eigen-devel (for Kalzium)
 - update file list (add avogadro-kalzium files)