rpms/why/devel why.spec,1.7,1.8

[Richard W.M. Jones]

Author: rjones

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

Modified Files:
	why.spec 
Log Message:
Rebuild to fix dependencies.


Index: why.spec
===================================================================
RCS file: /cvs/pkgs/rpms/why/devel/why.spec,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- why.spec	8 Jan 2010 19:58:52 -0000	1.7
+++ why.spec	11 Jan 2010 22:28:29 -0000	1.8
@@ -1,6 +1,6 @@
 Name:           why
 Version:        2.23
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Why software verification platform
 
 Group:          Applications/Engineering
@@ -49,6 +49,9 @@ ExcludeArch:    ppc64
 %global has_coq 1
 %endif
 
+%global __ocaml_requires_opts -i Ast -i Cc -i Error -i Logic -i Logic_decl -i Ptree -i Types
+
+
 %description
 Why is a software verification platform that applies formal proving
 tools to annotated programs. It is currently capable of analysis of C
@@ -267,6 +270,9 @@ rm -rf %{buildroot}
 %endif
 
 %changelog
+* Mon Jan 11 2010 Richard W.M. Jones <rjones at gmail.com> - 2.23-2
+- Rebuild to fix dependencies.
+
 * Fri Jan 08 2010 Alan Dunn <amdunn at gmail.com> - 2.23-1
 - Upgrade to upstream version 2.23
 - Move execstack fixing to spec file from patch