rpms/kdeedu/devel kdeedu.spec,1.215,1.216

[Rex Dieter]

Author: rdieter

Update of /cvs/pkgs/rpms/kdeedu/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv1552

Modified Files:
	kdeedu.spec 
Log Message:
(temporarily) disable ocaml/facile support (f13)



Index: kdeedu.spec
===================================================================
RCS file: /cvs/pkgs/rpms/kdeedu/devel/kdeedu.spec,v
retrieving revision 1.215
retrieving revision 1.216
diff -u -p -r1.215 -r1.216
--- kdeedu.spec	2 Dec 2009 11:59:14 -0000	1.215
+++ kdeedu.spec	11 Dec 2009 14:01:49 -0000	1.216
@@ -1,8 +1,14 @@
 # The Kalzium solver needs OCaml with native compilation support (ocamlopt) and
 # ocaml-facile.
 %ifarch alpha %{ix86} ia64 x86_64 ppc ppc64 sparc sparcv9
+%if 0%{?fedora} > 12
+# re-enable when fixed:
+# https://bugzilla.redhat.com/show_bug.cgi?id=545116
+%define with_facile 0
+%else
 %define with_facile 1
 %endif
+%endif
 
 Name:    kdeedu
 Summary: Educational/Edutainment applications