Mark Rader c9d004
# Some ideas for this spec file taken from a prior attempt by Richard
Mark Rader c9d004
# W. M. Jones
Mark Rader c9d004
Mark Rader c9d004
#  General Information
Mark Rader c9d004
# This program has its own version of cil, there is an ocaml-cil upon which this
Mark Rader c9d004
# based, however the version contained in this package has custom mods that
Mark Rader c9d004
# are not availible with the ocaml-cil because the upstream has
Mark Rader c9d004
# forked their own version of cil.
Mark Rader c9d004
Mark Rader c9d004
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
Jerry James 6e23d3
%if ! %opt
0da8b3
%global debug_package %{nil}
Mark Rader c9d004
%endif
Mark Rader c9d004
9e00f5
%global pkgversion Sodium-20150201
Mark Rader c9d004
Mark Rader c9d004
Name:           frama-c
9e00f5
Version:        1.11
701ecf
Release:        10%{?dist}
Mark Rader c9d004
Summary:        Framework for source code analysis of C software
Mark Rader c9d004
91f4bb
# Licensing breakdown in source file frama-c-1.6-licensing
91f4bb
License:        LGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
91f4bb
URL:            http://frama-c.com/
91f4bb
Source0:        http://frama-c.com/download/%{name}-%{pkgversion}.tar.gz
Jerry James 6e23d3
Source1:        http://frama-c.com/download/%{name}-%{pkgversion}_api.tar.gz
Jerry James 6e23d3
Source2:        frama-c-1.6.licensing
Jerry James 6e23d3
Source3:        %{name}-gui.desktop
Jerry James 6e23d3
Source4:        %{name}-gui.appdata.xml
Jerry James 6e23d3
Source5:        acsl.el
Jerry James 6e23d3
Source6:        http://frama-c.com/download/user-manual-%{pkgversion}.pdf
Jerry James 6e23d3
Source7:        http://frama-c.com/download/plugin-development-guide-%{pkgversion}.pdf
Jerry James 6e23d3
Source8:        http://frama-c.com/download/acsl-implementation-%{pkgversion}.pdf
Jerry James 6e23d3
Source9:        http://frama-c.com/download/aorai-manual-%{pkgversion}.pdf
Jerry James 6e23d3
Source10:       http://frama-c.com/download/metrics-manual-%{pkgversion}.pdf
Jerry James 6e23d3
Source11:       http://frama-c.com/download/rte-manual-%{pkgversion}.pdf
Jerry James 6e23d3
Source12:       http://frama-c.com/download/value-analysis-%{pkgversion}.pdf
Jerry James 6e23d3
Source13:       http://frama-c.com/download/wp-manual-%{pkgversion}.pdf
Jerry James b8205e
# Icons created with gimp from the official upstream icon
Jerry James b8205e
Source14:       %{name}-icons.tar.xz
9e00f5
# Add back a Neon function removed in Sodium that why still needs
9e00f5
Patch0:         %{name}-why.patch
b14db1
d253b2
BuildRequires:  alt-ergo
d253b2
BuildRequires:  coq
91f4bb
BuildRequires:  desktop-file-utils
Jerry James abb442
BuildRequires:  emacs xemacs-nox
91f4bb
BuildRequires:  graphviz
91f4bb
BuildRequires:  gtksourceview2-devel
91f4bb
BuildRequires:  libgnomecanvas-devel
91f4bb
BuildRequires:  ltl2ba
91f4bb
BuildRequires:  ocaml
Jerry James 6e23d3
BuildRequires:  ocaml-findlib
91f4bb
BuildRequires:  ocaml-lablgtk-devel
Jerry James 3060ea
BuildRequires:  ocaml-ocamldoc
91f4bb
BuildRequires:  ocaml-ocamlgraph-devel
Jerry James 455e71
BuildRequires:  ocaml-zarith-devel
Jerry James 6e23d3
BuildRequires:  why3
91f4bb
91f4bb
Requires:       cpp
91f4bb
Requires:       graphviz
Jerry James b8205e
Requires:       hicolor-icon-theme
91f4bb
Requires:       ltl2ba
Mark Rader c9d004
91f4bb
# Filter out bogus requires
9e00f5
%global __requires_exclude ocaml\\\((CfgTypes|GtkSourceView2_types|Ltlast|Marks|Mcfg|Memory|Promelaast)\\\)
Mark Rader c9d004
Mark Rader c9d004
%description
Mark Rader c9d004
Frama-C is a suite of tools dedicated to the analysis of the source
Mark Rader c9d004
code of software written in C.
Mark Rader c9d004
Mark Rader c9d004
Frama-C gathers several static analysis techniques in a single
Mark Rader c9d004
collaborative framework. The collaborative approach of Frama-C allows
Mark Rader c9d004
static analyzers to build upon the results already computed by other
Mark Rader c9d004
analyzers in the framework. Thanks to this approach, Frama-C provides
Mark Rader c9d004
sophisticated tools, such as a slicer and dependency analysis.
Mark Rader c9d004
91f4bb
%package doc
91f4bb
Summary:        Large documentation files for %{name}
91f4bb
Group:          Documentation 
91f4bb
Requires:       %{name} = %{version}-%{release}
91f4bb
BuildArch:      noarch
91f4bb
91f4bb
%description doc
91f4bb
Large documentation files for %{name}.
91f4bb
91f4bb
%package emacs
91f4bb
Summary:        Emacs support file for ACSL markup
91f4bb
Group:          Development/Languages
91f4bb
License:        LGPLv2
91f4bb
Requires:       %{name} = %{version}-%{release}
91f4bb
Requires:       emacs(bin)
91f4bb
BuildArch:      noarch
91f4bb
8a4b4f
# This can be removed after F-23 reaches EOL.
8a4b4f
Obsoletes:      %{name}-emacs-el < 1.11-9
8a4b4f
Provides:       %{name}-emacs-el = %{version}-%{release}
8a4b4f
91f4bb
%description emacs
91f4bb
This package contains an Emacs support file for working with C source
91f4bb
files marked up with ACSL.
91f4bb
91f4bb
%package xemacs
91f4bb
Summary:        XEmacs support file for ACSL markup
91f4bb
Group:          Development/Languages
91f4bb
License:        LGPLv2
91f4bb
Requires:       %{name} = %{version}-%{release}
91f4bb
Requires:       xemacs(bin), xemacs-packages-extra
91f4bb
BuildArch:      noarch
91f4bb
8a4b4f
# This can be removed after F-23 reaches EOL.
8a4b4f
Obsoletes:      %{name}-xemacs-el < 1.11-9
8a4b4f
Provides:       %{name}-xemacs-el = %{version}-%{release}
8a4b4f
91f4bb
%description xemacs
91f4bb
This package contains an XEmacs support file for working with C source
91f4bb
files marked up with ACSL.
91f4bb
Mark Rader c9d004
%prep
Jerry James 6e23d3
%setup -q -n %{name}-%{pkgversion}
Jerry James 6e23d3
%setup -q -T -D -a 1 -n %{name}-%{pkgversion}
Jerry James b8205e
%setup -q -T -D -a 14 -n %{name}-%{pkgversion}
Jerry James e40356
%patch0
Jerry James 6e23d3
Jerry James 6e23d3
# Copy in the manuals
Jerry James 6e23d3
mkdir doc/manuals
Jerry James 6e23d3
cp -p %{SOURCE6} %{SOURCE7} %{SOURCE8} %{SOURCE9} %{SOURCE10} %{SOURCE11} \
Jerry James 6e23d3
   %{SOURCE12} %{SOURCE13} doc/manuals
b14db1
Jerry James 6e23d3
# Do not use the bundled version of ocamlgraph
Jerry James 6e23d3
rm -f ocamlgraph.tar.gz
Mark Rader c9d004
Jerry James 3f558f
# Enable debuginfo
Jerry James 3f558f
sed -i 's/ -pack/ -g&/;s/^OPT.*=/& -g/' src/wp/qed/src/Makefile
Jerry James 3f558f
Jerry James fd1f8d
# Link with the Fedora LDFLAGS
9e00f5
for flag in $RPM_LD_FLAGS; do
9e00f5
  sed -i "/OLINKFLAGS/s|-linkall|& -ccopt $flag|" Makefile
9e00f5
done
Jerry James fd1f8d
Jerry James 6e23d3
# Preserve timestamps when installing
Jerry James 6e23d3
sed -ri 's/^CP[[:blank:]]+=.*/& -p/' share/Makefile.common
Jerry James 6e23d3
Jerry James 6e23d3
# Remove spurious executable bits
Jerry James 6e23d3
find -O3 . -perm /0111 \( -name \*.ml -o -name \*.mli \) | xargs chmod 0644
Jerry James 6e23d3
9e00f5
# Build buckx with the right flags
9e00f5
sed -i "s|-O3 -Wall|%{optflags} -fPIC|" Makefile
Jerry James 6e23d3
Mark Rader c9d004
%build
Mark Rader c9d004
# This option prints the actual make commands so we can see what's
Mark Rader c9d004
# happening (eg: for debugging the spec file)
Jerry James 6e23d3
%configure --enable-verbosemake
Jerry James fd1f8d
make
Mark Rader c9d004
Mark Rader c9d004
%install
Jerry James 6e23d3
# Prevent rebuilds containing the buildroot when installing
Jerry James 6e23d3
sed -i.orig 's/^headers::/headers:/' Makefile
Jerry James 6e23d3
touch -r Makefile.orig Makefile
Jerry James 6e23d3
sed -i.orig '/^headers::/,/^$/d' src/aorai/Makefile
Jerry James 6e23d3
touch -r src/aorai/Makefile.orig src/aorai/Makefile
bee1f8
Jerry James 6e23d3
make install DESTDIR=%{buildroot}
Jerry James 6e23d3
Jerry James 6e23d3
%if %opt
Jerry James 6e23d3
mv -f %{buildroot}%{_bindir}/ptests.opt %{buildroot}%{_bindir}/ptests
Jerry James 6e23d3
%else
bee1f8
mv -f %{buildroot}%{_bindir}/frama-c.byte %{buildroot}%{_bindir}/frama-c
bee1f8
mv -f %{buildroot}%{_bindir}/frama-c-gui.byte %{buildroot}%{_bindir}/frama-c-gui
Jerry James 6e23d3
mv -f %{buildroot}%{_bindir}/ptests.byte %{buildroot}%{_bindir}/ptests
Jerry James b2e712
%endif
0da8b3
0da8b3
# Install the desktop file
Jerry James 6e23d3
desktop-file-install --dir=%{buildroot}%{_datadir}/applications/ %{SOURCE3}
0da8b3
0da8b3
# Install the AppData file
0da8b3
mkdir -p %{buildroot}%{_datadir}/appdata
Jerry James 6e23d3
install -pm 644 %{SOURCE4} %{buildroot}%{_datadir}/appdata
Mark Rader c9d004
Jerry James b8205e
# Install the icons
Jerry James b8205e
mkdir -p %{buildroot}%{_datadir}/icons
Jerry James b8205e
cp -a icons %{buildroot}%{_datadir}/icons/hicolor
Jerry James b8205e
91f4bb
# Install and bytecompile the XEmacs file
91f4bb
mkdir -p %{buildroot}%{_xemacs_sitelispdir}
91f4bb
cp -p share/acsl.el %{buildroot}%{_xemacs_sitelispdir}
Jerry James 90e85b
pushd %{buildroot}%{_xemacs_sitelispdir}
91f4bb
%{_xemacs_bytecompile} acsl.el
91f4bb
mkdir -p %{buildroot}%{_xemacs_sitestartdir}
Jerry James 6e23d3
cp -p %{SOURCE5} %{buildroot}%{_xemacs_sitestartdir}
91f4bb
91f4bb
# Install and bytecompile the Emacs file
91f4bb
mkdir -p %{buildroot}%{_emacs_sitelispdir}
91f4bb
mv %{buildroot}%{_datadir}/frama-c/acsl.el %{buildroot}%{_emacs_sitelispdir}
d253b2
chmod a-x %{buildroot}%{_emacs_sitelispdir}/acsl.el
91f4bb
cd %{buildroot}%{_emacs_sitelispdir}
91f4bb
%{_emacs_bytecompile} acsl.el
91f4bb
mkdir -p %{buildroot}%{_emacs_sitestartdir}
Jerry James 6e23d3
cp -p %{SOURCE5} %{buildroot}%{_emacs_sitestartdir}
Jerry James 90e85b
popd
Mark Rader c9d004
Jerry James 3f558f
# Remove files we don't actually want
Jerry James 3f558f
rm -f %{buildroot}%{_libdir}/frama-c/*.{cmo,cmx,o}
Jerry James 3f558f
d253b2
# The install step adds lots of spurious executable bits
d253b2
find %{buildroot}%{_datadir}/frama-c -type f -perm /0111 | \
Jerry James 3f558f
xargs chmod a-x %{buildroot}%{_mandir}/man1/*
d253b2
Jerry James b8205e
# Remove spurious executable bits on generated files
Jerry James b8205e
chmod 0644 src/lib/dynlink_common_interface.ml src/lib/integer.ml
Jerry James b8205e
Jerry James b8205e
%post
Jerry James b8205e
update-desktop-database &> /dev/null || :
Jerry James b8205e
touch --no-create %{_datadir}/icons/hicolor &>/dev/null
Jerry James b8205e
gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
Jerry James b8205e
Jerry James b8205e
%postun
Jerry James b8205e
update-desktop-database &> /dev/null || :
Jerry James b8205e
touch --no-create %{_datadir}/icons/hicolor &>/dev/null
Jerry James b8205e
gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
Jerry James b8205e
Mark Rader c9d004
%files
Jerry James 50aea5
%doc VERSION
Jerry James 50aea5
%license licenses/*
Mark Rader c9d004
%{_bindir}/*
Jerry James 94bf6f
%if %opt
Mark Rader c9d004
%exclude %{_bindir}/frama-c.byte
Mark Rader c9d004
%exclude %{_bindir}/frama-c-gui.byte
Mark Rader c9d004
%exclude %{_bindir}/ptests.byte
Jerry James 94bf6f
%endif
Jerry James 94bf6f
%{_libdir}/frama-c/
Jerry James 94bf6f
%{_datadir}/frama-c/
0da8b3
%{_datadir}/appdata/%{name}-gui.appdata.xml
Mark Rader 6c8d00
%{_datadir}/applications/*.desktop
Jerry James b8205e
%{_datadir}/icons/hicolor/*/apps/%{name}.png
Mark Rader c9d004
%{_mandir}/man1/*
Mark Rader c9d004
91f4bb
%files doc
Jerry James 6e23d3
%doc doc/code/*.{css,htm,txt}
Jerry James 6e23d3
%doc doc/manuals/acsl-implementation-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/aorai-manual-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/metrics-manual-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/plugin-development-guide-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/rte-manual-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/user-manual-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/value-analysis-%{pkgversion}.pdf
Jerry James 6e23d3
%doc doc/manuals/wp-manual-%{pkgversion}.pdf
Jerry James 6e23d3
%doc frama-c-api
91f4bb
91f4bb
%files emacs
8a4b4f
%{_emacs_sitelispdir}/acsl.el*
91f4bb
%{_emacs_sitestartdir}/acsl.el
91f4bb
91f4bb
%files xemacs
8a4b4f
%{_xemacs_sitelispdir}/acsl.el*
91f4bb
%{_xemacs_sitestartdir}/acsl.el
91f4bb
Mark Rader 6c8d00
%changelog
701ecf
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.11-10
701ecf
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
701ecf
8a4b4f
* Wed Nov 25 2015 Jerry James <loganjerry@gmail.com> - 1.11-9
8a4b4f
- Rebuild for ocaml-zarith 1.4.1
8a4b4f
981492
* Thu Jul 30 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-8
981492
- OCaml 4.02.3 rebuild.
981492
cf40aa
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-7
cf40aa
- ocaml-4.02.2 final rebuild.
cf40aa
403dc1
* Mon Jun 22 2015 Jerry James <loganjerry@gmail.com> - 1.11-6
403dc1
- Rebuild for why3 0.86.1
403dc1
3ed137
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-5
3ed137
- ocaml-4.02.2 rebuild.
3ed137
cee73d
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.11-4
cee73d
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
cee73d
44352e
* Sat May 16 2015 Jerry James <loganjerry@gmail.com> - 1.11-3
44352e
- Rebuild for why3 0.86
44352e
ed7e1f
* Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 1.11-2
ed7e1f
- Rebuild for coq 8.4pl6
ed7e1f
9e00f5
* Wed Mar 18 2015 Jerry James <loganjerry@gmail.com> - 1.11-1
9e00f5
- Update to Sodium version
9e00f5
- Drop all patches; all have been upstreamed
9e00f5
- Add -why patch to fix the why build
9e00f5
8a88b5
* Wed Feb 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.10-21
8a88b5
- ocaml-4.02.1 rebuild.
8a88b5
d78a5e
* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 1.10-20
d78a5e
- Rebuild for coq 8.4pl5
d78a5e
Jerry James 29f60d
* Tue Oct 14 2014 Jerry James <loganjerry@gmail.com> - 1.10-19
Jerry James 29f60d
- Rebuild for ocaml-zarith 1.3
Jerry James 29f60d
78d9d4
* Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 1.10-18
78d9d4
- Bump release and rebuild
78d9d4
Jerry James 5f82ef
* Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 1.10-17
Jerry James 5f82ef
- Rebuild for why3 0.85
Jerry James 5f82ef
Jerry James 62155a
* Thu Sep  4 2014 Jerry James <loganjerry@gmail.com> - 1.10-16
Jerry James 62155a
- Adapt to why3 0.84
Jerry James 62155a
Jerry James 62155a
* Tue Sep  2 2014 Jerry James <loganjerry@gmail.com> - 1.10-15
Jerry James 62155a
- Rebuild for final ocaml 4.02.0 release
Jerry James 50aea5
- Fix license handling
Jerry James 50aea5
Jerry James 62155a
* Mon Aug 25 2014 Jerry James <loganjerry@gmail.com> - 1.10-14
Jerry James 62155a
- ocaml-4.02.0+rc1 rebuild.
Jerry James 62155a
Jerry James 62155a
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.10-13
e01802
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
e01802
Jerry James 62155a
* Sat Aug 09 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-12
Jerry James 62155a
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
Jerry James 62155a
Jerry James abb442
* Mon Aug  4 2014 Jerry James <loganjerry@gmail.com> - 1.10-11
Jerry James abb442
- BR emacs instead of emacs-nox, which has gone away
Jerry James abb442
3dddd8
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-11
3dddd8
- Bump release and rebuild.
3dddd8
ca01d7
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-10
ca01d7
- Bump release and rebuild.
ca01d7
0c9bcd
* Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-9
0c9bcd
- Rebuild for OCaml 4.02.0 beta.
0c9bcd
Jerry James 9afafe
* Mon Jul 21 2014 Jerry James <loganjerry@gmail.com> - 1.10-8
Jerry James 9afafe
- Add comment to desktop file
Jerry James 9afafe
Jerry James fd1f8d
* Thu Jun 26 2014 Jerry James <loganjerry@gmail.com> - 1.10-7
Jerry James fd1f8d
- Set LDFLAGS in a less destructive way (bz 1105265)
Jerry James fd1f8d
1ededf
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.10-6
1ededf
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
1ededf
Jerry James 02a7d0
* Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 1.10-5
Jerry James 02a7d0
- Rebuild for coq 8.4pl4
Jerry James 02a7d0
Jerry James e40356
* Mon Apr 21 2014 Jerry James <loganjerry@gmail.com> - 1.10-4
Jerry James e40356
- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt
Jerry James e40356
494180
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-3
494180
- Remove ocaml_arches macro (RHBZ#1087794).
494180
Jerry James b8205e
* Mon Mar 24 2014 Jerry James <loganjerry@gmail.com> - 1.10-2
Jerry James b8205e
- Fix the icon name in the desktop file
Jerry James b8205e
- Install icons
Jerry James b8205e
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
Jerry James b8205e
- Fix permissions later, else they get reset to the bad values
Jerry James b8205e
Jerry James 6e23d3
* Mon Mar 17 2014 Jerry James <loganjerry@gmail.com> - 1.10-1
Jerry James 6e23d3
- Update to Neon version
Jerry James 6e23d3
- All patches have been upstreamed; drop them
Jerry James 6e23d3
- The manuals are no longer included in the source distribution; add as Sources
Jerry James 6e23d3
- BR ocaml-findlib instead of ocaml-findlib-devel
Jerry James 6e23d3
- BR why3 to get coq + why3 support in the wp plugin
Jerry James 6e23d3
0da8b3
* Wed Feb 26 2014 Jerry James <loganjerry@gmail.com> - 1.9-9
0da8b3
- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.
0da8b3
- Add an Appdata file.
0da8b3
89f5ee
* Wed Oct 02 2013 Richard W.M. Jones <rjones@redhat.com> - 1.9-8
89f5ee
- Rebuild for ocaml-lablgtk 2.18.
89f5ee
Jerry James 3f558f
* Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 1.9-7
Jerry James 3f558f
- Rebuild for OCaml 4.01.0
Jerry James 3f558f
- Enable debuginfo
Jerry James 3f558f
Jerry James 9df8b1
* Fri Aug  9 2013 Jerry James <loganjerry@gmail.com> - 1.9-6
Jerry James 9df8b1
- Update -fixes patch to fix startup failures on ARM
Jerry James 9df8b1
056b7f
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.9-5
056b7f
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
056b7f
Jerry James edaea4
* Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.9-4
Jerry James edaea4
- Update to 20130601 bugfix Fluorine release
Jerry James edaea4
Jerry James 730723
* Mon Jun  3 2013 Jerry James <loganjerry@gmail.com> - 1.9-3
Jerry James 730723
- Add -fixes patch to fix code generation for inductive definitions
Jerry James 730723
Jerry James cefe8d
* Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.9-2
Jerry James cefe8d
- Update to bugfix Fluorine release
Jerry James cefe8d
Jerry James 94bf6f
* Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 1.9-1
Jerry James 94bf6f
- Update to Fluorine version
Jerry James 94bf6f
- Merge -devel into the main package (bz 888865)
Jerry James 94bf6f
7105e0
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8-6
7105e0
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
7105e0
Jerry James a23933
* Mon Jan 14 2013 Jerry James <loganjerry@gmail.com> - 1.8-5
Jerry James a23933
- Rebuild for coq 8.4pl1 and alt-ergo 0.95
Jerry James a23933
Jerry James 455e71
* Mon Nov  5 2012 Jerry James <loganjerry@gmail.com> - 1.8-4
Jerry James 455e71
- Build with zarith support
Jerry James 455e71
Jerry James b09683
* Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-3
Jerry James b09683
- Update the Requires filter even more for Oxygen
Jerry James b09683
Jerry James 2a07ca
* Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-2
Jerry James 2a07ca
- Update the Requires filter for Oxygen
Jerry James 2a07ca
Jerry James 4de86c
* Fri Oct 19 2012 Jerry James <loganjerry@gmail.com> - 1.8-1
Jerry James 4de86c
- Update to Oxygen version
Jerry James 4de86c
Jerry James b2e712
* Tue Sep 11 2012 Jerry James <loganjerry@gmail.com> - 1.7-9
Jerry James b2e712
- Disable dangerous code in src/type/type.ml that leads to segfaults.
Jerry James b2e712
Jerry James d14d61
* Mon Aug 27 2012 Jerry James <loganjerry@gmail.com> - 1.7-8
Jerry James d14d61
- Use a vastly simpler patch for OCaml 4 that fixes the native build.
Jerry James d14d61
26634d
* Fri Aug  3 2012 Jerry James <loganjerry@gmail.com> - 1.7-7
26634d
- Shipping the bytecode version works better if it isn't stripped.
26634d
bee1f8
* Fri Aug  3 2012 Jerry James <loganjerry@gmail.com> - 1.7-6
bee1f8
- Use upstream's version of the ocamlgraph patch.
bee1f8
- Ship the bytecode binaries until the native breakage is diagnosed.
bee1f8
195c69
* Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.7-5
195c69
- Rebuild for OCaml 4.00.0 official.
195c69
302f71
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7-4
302f71
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
302f71
e5054d
* Mon Jan  9 2012 Jerry James <loganjerry@gmail.com> - 1.7-3
e5054d
- Rebuild for OCaml 3.12.1
e5054d
1fe283
* Tue Nov  8 2011 Jerry James <loganjerry@gmail.com> - 1.7-2
1fe283
- Rebuild to eliminate libpng dependency
1fe283
d253b2
* Tue Oct 25 2011 Jerry James <loganjerry@gmail.com> - 1.7-1
d253b2
- Update to Nitrogen version
d253b2
91f4bb
* Mon Jul 11 2011 Jerry James <loganjerry@gmail.com> - 1.6-1
91f4bb
- Update to Carbon version
91f4bb
- Removed unnecessary spec file elements (BuildRoot, etc.)
91f4bb
- Update approach to filtering provides and requires
91f4bb
- Do not filter as much; why should Require some of the filtered names
91f4bb
- Add (X)Emacs support packages
91f4bb
- Add doc subpackage to hold large manual PDFs
91f4bb
- Support for gtksourceview 1.x has been dropped
91f4bb
c26941
* Wed Apr 13 2011 Karsten Hopp <karsten@redhat.com> 1.5-3.1
c26941
- add ppc64 to archs with ocaml
c26941
a306c3
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.5-3
a306c3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
a306c3
f30d34
* Sat Jan 22 2011 Dan Horรกk <dan[at]danny.cz> - 1.5-2
f30d34
- updated the supported arch list
f30d34
Jerry James 94bf6f
* Sat Jul 17 2010 Mark Rader <msrader@gmail.com> 1.5-1
Mark Rader 6c8d00
- Upgraded Frama C to Boron version and added ltl2ba dependencies.
Mark Rader c9d004
Mark Rader c9d004
* Mon Jul 05 2010 Mark Rader <msrader@gmail.com> 1.4-4
Mark Rader c9d004
- Modified spec file to add new OCAML dependency structure for FC-13
Mark Rader c9d004
Mark Rader c9d004
* Sun Jun 06 2010 Mark Rader <msrader@gmail.com> 1.4-3
Mark Rader c9d004
- Added documentation to explain the various licensing entries.
Mark Rader c9d004
- Added .desktop file
Mark Rader c9d004
Jerry James 94bf6f
* Wed May 26 2010 Mark Rader <msrader@gmail.com> 1.4-2
Mark Rader c9d004
- Add SELinux context settings.
Mark Rader c9d004
Mark Rader c9d004
* Wed Feb 10 2010 Alan Dunn <amdunn@gmail.com> 1.4-1
Mark Rader c9d004
- Initial Fedora RPM