2aa10f5
# Frama-C contains a forked version of ocaml-cil.  We cannot use the Fedora
2aa10f5
# ocaml-cil package as a replacement, because Frama-C upstream has modified
2aa10f5
# their version in incompatible ways.
Mark Rader c9d0040
Mark Rader c9d0040
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
Jerry James 6e23d32
%if ! %opt
0da8b3d
%global debug_package %{nil}
Mark Rader c9d0040
%endif
Mark Rader c9d0040
e0650cd
%global pkgversion Phosphorus-20170501
Mark Rader c9d0040
Mark Rader c9d0040
Name:           frama-c
e0650cd
Version:        15.0
287d30a
Release:        6%{?dist}
Mark Rader c9d0040
Summary:        Framework for source code analysis of C software
Mark Rader c9d0040
91f4bbf
# Licensing breakdown in source file frama-c-1.6-licensing
91f4bbf
License:        LGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
91f4bbf
URL:            http://frama-c.com/
91f4bbf
Source0:        http://frama-c.com/download/%{name}-%{pkgversion}.tar.gz
Jerry James 6e23d32
Source1:        http://frama-c.com/download/%{name}-%{pkgversion}_api.tar.gz
Jerry James 6e23d32
Source2:        frama-c-1.6.licensing
Jerry James 6e23d32
Source3:        %{name}-gui.desktop
Jerry James 6e23d32
Source4:        %{name}-gui.appdata.xml
Jerry James 6e23d32
Source5:        acsl.el
Jerry James 6e23d32
Source6:        http://frama-c.com/download/user-manual-%{pkgversion}.pdf
Jerry James 6e23d32
Source7:        http://frama-c.com/download/plugin-development-guide-%{pkgversion}.pdf
Jerry James 6e23d32
Source8:        http://frama-c.com/download/acsl-implementation-%{pkgversion}.pdf
Jerry James 6e23d32
Source9:        http://frama-c.com/download/aorai-manual-%{pkgversion}.pdf
Jerry James 6e23d32
Source10:       http://frama-c.com/download/metrics-manual-%{pkgversion}.pdf
Jerry James 6e23d32
Source11:       http://frama-c.com/download/rte-manual-%{pkgversion}.pdf
Jerry James 6e23d32
Source12:       http://frama-c.com/download/value-analysis-%{pkgversion}.pdf
Jerry James 6e23d32
Source13:       http://frama-c.com/download/wp-manual-%{pkgversion}.pdf
e0650cd
Source14:       http://frama-c.com/download/e-acsl/e-acsl-manual_%{pkgversion}.pdf
Jerry James b8205e3
# Icons created with gimp from the official upstream icon
e0650cd
Source15:       %{name}-icons.tar.xz
56a03a7
eec6d1c
# Patch to fix -safe-string in OCaml 4.06.
eec6d1c
Patch1:         frama-c-15-safe-string.patch
eec6d1c
d253b21
BuildRequires:  alt-ergo
d253b21
BuildRequires:  coq
91f4bbf
BuildRequires:  desktop-file-utils
a87b909
BuildRequires:  emacs xemacs-nox xemacs-packages-base
91f4bbf
BuildRequires:  graphviz
91f4bbf
BuildRequires:  gtksourceview2-devel
91f4bbf
BuildRequires:  libgnomecanvas-devel
8a9c9ec
BuildRequires:  libtool
91f4bbf
BuildRequires:  ltl2ba
91f4bbf
BuildRequires:  ocaml
79e46fb
BuildRequires:  ocaml-apron-devel
2aa10f5
BuildRequires:  ocaml-findlib-devel
91f4bbf
BuildRequires:  ocaml-lablgtk-devel
Jerry James 3060ea8
BuildRequires:  ocaml-ocamldoc
91f4bbf
BuildRequires:  ocaml-ocamlgraph-devel
5fde914
BuildRequires:  ocaml-num-devel
Jerry James 455e714
BuildRequires:  ocaml-zarith-devel
Jerry James 6e23d32
BuildRequires:  why3
2aa10f5
BuildRequires:  z3
91f4bbf
e0650cd
Requires:       bash-completion
79e46fb
Requires:       gcc
91f4bbf
Requires:       graphviz
Jerry James b8205e3
Requires:       hicolor-icon-theme
91f4bbf
Requires:       ltl2ba
c229982
Requires:       ocaml-findlib
Mark Rader c9d0040
2aa10f5
Suggests:       alt-ergo
2aa10f5
Suggests:       coq
2aa10f5
Suggests:       z3
2aa10f5
91f4bbf
# Filter out bogus requires
2c5d614
%global __requires_exclude ocaml\\\((Callgraph_api|Cg|Clabels|Conditions|Context|Cstring|Ctypes|Definitions|GtkSourceView2_types|Lang|LogicUsage|Marks|Mcfg|Memory|Model|Mstate|Passive|Separation|Services|Sig|Uses|Vset|Warning|WpPropId)\\\)
Mark Rader c9d0040
Mark Rader c9d0040
%description
Mark Rader c9d0040
Frama-C is a suite of tools dedicated to the analysis of the source
Mark Rader c9d0040
code of software written in C.
Mark Rader c9d0040
Mark Rader c9d0040
Frama-C gathers several static analysis techniques in a single
Mark Rader c9d0040
collaborative framework. The collaborative approach of Frama-C allows
Mark Rader c9d0040
static analyzers to build upon the results already computed by other
Mark Rader c9d0040
analyzers in the framework. Thanks to this approach, Frama-C provides
Mark Rader c9d0040
sophisticated tools, such as a slicer and dependency analysis.
Mark Rader c9d0040
91f4bbf
%package doc
91f4bbf
Summary:        Large documentation files for %{name}
91f4bbf
Requires:       %{name} = %{version}-%{release}
91f4bbf
BuildArch:      noarch
91f4bbf
91f4bbf
%description doc
91f4bbf
Large documentation files for %{name}.
91f4bbf
91f4bbf
%package emacs
91f4bbf
Summary:        Emacs support file for ACSL markup
91f4bbf
License:        LGPLv2
91f4bbf
Requires:       %{name} = %{version}-%{release}
91f4bbf
Requires:       emacs(bin)
91f4bbf
BuildArch:      noarch
91f4bbf
91f4bbf
%description emacs
91f4bbf
This package contains an Emacs support file for working with C source
91f4bbf
files marked up with ACSL.
91f4bbf
91f4bbf
%package xemacs
91f4bbf
Summary:        XEmacs support file for ACSL markup
91f4bbf
License:        LGPLv2
91f4bbf
Requires:       %{name} = %{version}-%{release}
91f4bbf
Requires:       xemacs(bin), xemacs-packages-extra
91f4bbf
BuildArch:      noarch
91f4bbf
91f4bbf
%description xemacs
91f4bbf
This package contains an XEmacs support file for working with C source
91f4bbf
files marked up with ACSL.
91f4bbf
Mark Rader c9d0040
%prep
Jerry James 6e23d32
%setup -q -n %{name}-%{pkgversion}
Jerry James 6e23d32
%setup -q -T -D -a 1 -n %{name}-%{pkgversion}
e0650cd
%setup -q -T -D -a 15 -n %{name}-%{pkgversion}
eec6d1c
%patch1 -p1
56a03a7
Jerry James 6e23d32
# Copy in the manuals
Jerry James 6e23d32
mkdir doc/manuals
Jerry James 6e23d32
cp -p %{SOURCE6} %{SOURCE7} %{SOURCE8} %{SOURCE9} %{SOURCE10} %{SOURCE11} \
e0650cd
   %{SOURCE12} %{SOURCE13} %{SOURCE14} doc/manuals
b14db1a
Jerry James 6e23d32
# Do not use the bundled version of ocamlgraph
Jerry James 6e23d32
rm -f ocamlgraph.tar.gz
Mark Rader c9d0040
Jerry James 3f558f3
# Enable debuginfo
2aa10f5
sed -i 's/ -pack/ -g&/;s/^OPT.*=/& -g/' src/plugins/wp/qed/src/Makefile
Jerry James 3f558f3
Jerry James fd1f8d2
# Link with the Fedora LDFLAGS
9e00f5f
for flag in $RPM_LD_FLAGS; do
eec6d1c
  sed -i "/OLINKFLAGS/s|-linkall|& -ccopt $flag -runtime-variant _pic|" Makefile
9e00f5f
done
Jerry James fd1f8d2
Jerry James 6e23d32
# Preserve timestamps when installing
Jerry James 6e23d32
sed -ri 's/^CP[[:blank:]]+=.*/& -p/' share/Makefile.common
Jerry James 6e23d32
9e00f5f
# Build buckx with the right flags
9e00f5f
sed -i "s|-O3 -Wall|%{optflags} -fPIC|" Makefile
Jerry James 6e23d32
79e46fb
# Fix detection of why3
79e46fb
sed -i '/why3/s/\*\\) \.\*/*\\).*/' configure src/plugins/wp/configure
79e46fb
Mark Rader c9d0040
%build
Mark Rader c9d0040
# This option prints the actual make commands so we can see what's
Mark Rader c9d0040
# happening (eg: for debugging the spec file)
Jerry James 6e23d32
%configure --enable-verbosemake
Jerry James fd1f8d2
make
Mark Rader c9d0040
Mark Rader c9d0040
%install
Jerry James 6e23d32
make install DESTDIR=%{buildroot}
Jerry James 6e23d32
Jerry James 6e23d32
%if %opt
Jerry James 6e23d32
mv -f %{buildroot}%{_bindir}/ptests.opt %{buildroot}%{_bindir}/ptests
Jerry James 6e23d32
%else
bee1f8d
mv -f %{buildroot}%{_bindir}/frama-c.byte %{buildroot}%{_bindir}/frama-c
bee1f8d
mv -f %{buildroot}%{_bindir}/frama-c-gui.byte %{buildroot}%{_bindir}/frama-c-gui
Jerry James 6e23d32
mv -f %{buildroot}%{_bindir}/ptests.byte %{buildroot}%{_bindir}/ptests
Jerry James b2e712c
%endif
0da8b3d
0da8b3d
# Install the desktop file
Jerry James 6e23d32
desktop-file-install --dir=%{buildroot}%{_datadir}/applications/ %{SOURCE3}
0da8b3d
0da8b3d
# Install the AppData file
0da8b3d
mkdir -p %{buildroot}%{_datadir}/appdata
Jerry James 6e23d32
install -pm 644 %{SOURCE4} %{buildroot}%{_datadir}/appdata
Mark Rader c9d0040
Jerry James b8205e3
# Install the icons
Jerry James b8205e3
mkdir -p %{buildroot}%{_datadir}/icons
Jerry James b8205e3
cp -a icons %{buildroot}%{_datadir}/icons/hicolor
Jerry James b8205e3
e0650cd
# Install the bash completion file
e0650cd
mkdir -p %{buildroot}%{_sysconfdir}/bash_completion.d
e0650cd
cp -p share/autocomplete_frama-c \
e0650cd
   %{buildroot}%{_sysconfdir}/bash_completion.d/frama-c
e0650cd
91f4bbf
# Install and bytecompile the XEmacs file
91f4bbf
mkdir -p %{buildroot}%{_xemacs_sitelispdir}
3fe032a
cp -p share/emacs/*.el %{buildroot}%{_xemacs_sitelispdir}
Jerry James 90e85bb
pushd %{buildroot}%{_xemacs_sitelispdir}
3fe032a
%{_xemacs_bytecompile} *.el
91f4bbf
mkdir -p %{buildroot}%{_xemacs_sitestartdir}
Jerry James 6e23d32
cp -p %{SOURCE5} %{buildroot}%{_xemacs_sitestartdir}
91f4bbf
91f4bbf
# Install and bytecompile the Emacs file
91f4bbf
mkdir -p %{buildroot}%{_emacs_sitelispdir}
3fe032a
mv %{buildroot}%{_datadir}/frama-c/emacs/*.el %{buildroot}%{_emacs_sitelispdir}
3fe032a
rmdir %{buildroot}%{_datadir}/frama-c/emacs
3fe032a
chmod a-x %{buildroot}%{_emacs_sitelispdir}/*.el
91f4bbf
cd %{buildroot}%{_emacs_sitelispdir}
3fe032a
%{_emacs_bytecompile} *.el
91f4bbf
mkdir -p %{buildroot}%{_emacs_sitestartdir}
Jerry James 6e23d32
cp -p %{SOURCE5} %{buildroot}%{_emacs_sitestartdir}
Jerry James 90e85bb
popd
Mark Rader c9d0040
Jerry James 3f558f3
# Remove files we don't actually want
Jerry James 3f558f3
rm -f %{buildroot}%{_libdir}/frama-c/*.{cmo,cmx,o}
Jerry James 3f558f3
d253b21
# The install step adds lots of spurious executable bits
2aa10f5
chmod a-x %{buildroot}%{_libdir}/frama-c/*.cmi \
2aa10f5
          %{buildroot}%{_libdir}/frama-c/plugins/META* \
fc5b81a
          %{buildroot}%{_libdir}/frama-c/plugins/*.cmi \
2aa10f5
          %{buildroot}%{_libdir}/frama-c/plugins/gui/*.cm{a,i,o} \
fc5b81a
          %{buildroot}%{_libdir}/frama-c/plugins/top/*.cm{a,o,x,xa} \
2aa10f5
          %{buildroot}%{_mandir}/man1/*
2aa10f5
find %{buildroot}%{_datadir}/frama-c -type f -perm /0111 -exec chmod a-x {} +
d253b21
Jerry James b8205e3
# Remove spurious executable bits on generated files
fc5b81a
chmod 0644 src/libraries/stdlib/integer.ml src/plugins/value/domains/apron/*.ml
Jerry James b8205e3
Jerry James b8205e3
%post
Jerry James b8205e3
touch --no-create %{_datadir}/icons/hicolor &>/dev/null
Jerry James b8205e3
gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
Jerry James b8205e3
Jerry James b8205e3
%postun
Jerry James b8205e3
touch --no-create %{_datadir}/icons/hicolor &>/dev/null
Jerry James b8205e3
gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
Jerry James b8205e3
Mark Rader c9d0040
%files
Jerry James 50aea54
%doc VERSION
Jerry James 50aea54
%license licenses/*
Mark Rader c9d0040
%{_bindir}/*
Jerry James 94bf6fa
%if %opt
Mark Rader c9d0040
%exclude %{_bindir}/frama-c.byte
Mark Rader c9d0040
%exclude %{_bindir}/frama-c-gui.byte
Jerry James 94bf6fa
%endif
Jerry James 94bf6fa
%{_libdir}/frama-c/
e0650cd
%{_libdir}/libeacsl-gmp.a
e0650cd
%{_libdir}/libeacsl-jemalloc.a
Jerry James 94bf6fa
%{_datadir}/frama-c/
0da8b3d
%{_datadir}/appdata/%{name}-gui.appdata.xml
2aa10f5
%{_datadir}/applications/%{name}-gui.desktop
Jerry James b8205e3
%{_datadir}/icons/hicolor/*/apps/%{name}.png
Mark Rader c9d0040
%{_mandir}/man1/*
e0650cd
%{_sysconfdir}/bash_completion.d/frama-c
Mark Rader c9d0040
91f4bbf
%files doc
Jerry James 6e23d32
%doc doc/code/*.{css,htm,txt}
Jerry James 6e23d32
%doc doc/manuals/acsl-implementation-%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/aorai-manual-%{pkgversion}.pdf
e0650cd
%doc doc/manuals/e-acsl-manual_%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/metrics-manual-%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/plugin-development-guide-%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/rte-manual-%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/user-manual-%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/value-analysis-%{pkgversion}.pdf
Jerry James 6e23d32
%doc doc/manuals/wp-manual-%{pkgversion}.pdf
Jerry James 6e23d32
%doc frama-c-api
91f4bbf
91f4bbf
%files emacs
3fe032a
%{_emacs_sitelispdir}/*.el*
91f4bbf
%{_emacs_sitestartdir}/acsl.el
91f4bbf
91f4bbf
%files xemacs
3fe032a
%{_xemacs_sitelispdir}/*.el*
91f4bbf
%{_xemacs_sitestartdir}/acsl.el
91f4bbf
Mark Rader 6c8d007
%changelog
287d30a
* Sat Dec  9 2017 Jerry James <loganjerry@gmail.com> - 15.0-6
287d30a
- Rebuild for why3 0.88.2
287d30a
8ad8c66
* Mon Dec  4 2017 Jerry James <loganjerry@gmail.com> - 15.0-5
8ad8c66
- Rebuild for mlgmpidl
8ad8c66
a26b14e
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 15.0-4
a26b14e
- OCaml 4.06.0 rebuild.
a26b14e
8a9c9ec
* Sat Oct  7 2017 Jerry James <loganjerry@gmail.com> - 15.0-3
8a9c9ec
- Rebuild for why3 0.88.0
8a9c9ec
2c5d614
* Tue Sep 12 2017 Jerry James <loganjerry@gmail.com> - 15.0-2
2c5d614
- More excludes so that provides match requires
2c5d614
e0650cd
* Thu Sep  7 2017 Jerry James <loganjerry@gmail.com> - 15.0-1
e0650cd
- Update to Phosphorus version
e0650cd
- Switch to new upstream version numbering scheme
e0650cd
- Install the bash completion file
e0650cd
cf5edc1
* Wed Sep 06 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-6
cf5edc1
- OCaml 4.05.0 rebuild.
cf5edc1
232c127
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-5
232c127
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
232c127
522712b
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-4
522712b
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
522712b
94396ab
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-3
94396ab
- OCaml 4.04.2 rebuild.
94396ab
21e04dc
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-2
21e04dc
- OCaml 4.04.1 rebuild.
21e04dc
3fe032a
* Fri Mar 24 2017 Jerry James <loganjerry@gmail.com> - 1.14-1
3fe032a
- Update to Silicon version
3fe032a
0a9aea8
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.13-8
0a9aea8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
0a9aea8
a87b909
* Thu Jan 12 2017 Jerry James <loganjerry@gmail.com> - 1.13-7
a87b909
- Rebuild for coq 8.6
a87b909
a509a01
* Wed Nov 30 2016 Jerry James <loganjerry@gmail.com> - 1.13-6
a509a01
- Rebuild for alt-ergo 1.30
a509a01
b3dced2
* Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.13-5
b3dced2
- Rebuild for OCaml 4.04.0.
bd807bf
- Add small fixes for OCaml 4.04.0.
b3dced2
dc3349a
* Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 1.13-4
dc3349a
- Rebuild for coq 8.5pl3
dc3349a
- Remove obsolete scriptlets
dc3349a
79e46fb
* Thu Sep  1 2016 Jerry James <loganjerry@gmail.com> - 1.13-3
79e46fb
- Rebuild for why3 0.87.2
79e46fb
c229982
* Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 1.13-2
c229982
- Rebuild for coq 8.5pl2
c229982
- Require ocaml-findlib (bz 1354515)
c229982
fc5b81a
* Wed Jun  1 2016 Jerry James <loganjerry@gmail.com> - 1.13-1
fc5b81a
- Update to Aluminium version
fc5b81a
910fc9f
* Fri Apr 22 2016 Jerry James <loganjerry@gmail.com> - 1.12-4
910fc9f
- Rebuild for coq 8.5pl1
910fc9f
3576d52
* Sat Apr 16 2016 Jerry James <loganjerry@gmail.com> - 1.12-3
3576d52
- Rebuild for ocaml-ocamlgraph 1.8.7
3576d52
dbe2753
* Fri Mar 18 2016 Jerry James <loganjerry@gmail.com> - 1.12-2
dbe2753
- Rebuild for why3 0.87.0
dbe2753
2aa10f5
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 1.12-1
2aa10f5
- Update to Magnesium version
2aa10f5
- Drop unneeded -why patch
2aa10f5
701ecfa
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.11-10
701ecfa
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
701ecfa
8a4b4f6
* Wed Nov 25 2015 Jerry James <loganjerry@gmail.com> - 1.11-9
8a4b4f6
- Rebuild for ocaml-zarith 1.4.1
8a4b4f6
9814923
* Thu Jul 30 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-8
9814923
- OCaml 4.02.3 rebuild.
9814923
cf40aa1
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-7
cf40aa1
- ocaml-4.02.2 final rebuild.
cf40aa1
403dc11
* Mon Jun 22 2015 Jerry James <loganjerry@gmail.com> - 1.11-6
403dc11
- Rebuild for why3 0.86.1
403dc11
3ed1377
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-5
3ed1377
- ocaml-4.02.2 rebuild.
3ed1377
cee73d6
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.11-4
cee73d6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
cee73d6
44352e4
* Sat May 16 2015 Jerry James <loganjerry@gmail.com> - 1.11-3
44352e4
- Rebuild for why3 0.86
44352e4
ed7e1fa
* Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 1.11-2
ed7e1fa
- Rebuild for coq 8.4pl6
ed7e1fa
9e00f5f
* Wed Mar 18 2015 Jerry James <loganjerry@gmail.com> - 1.11-1
9e00f5f
- Update to Sodium version
9e00f5f
- Drop all patches; all have been upstreamed
9e00f5f
- Add -why patch to fix the why build
9e00f5f
8a88b50
* Wed Feb 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.10-21
8a88b50
- ocaml-4.02.1 rebuild.
8a88b50
d78a5e1
* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 1.10-20
d78a5e1
- Rebuild for coq 8.4pl5
d78a5e1
Jerry James 29f60d3
* Tue Oct 14 2014 Jerry James <loganjerry@gmail.com> - 1.10-19
Jerry James 29f60d3
- Rebuild for ocaml-zarith 1.3
Jerry James 29f60d3
78d9d42
* Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 1.10-18
78d9d42
- Bump release and rebuild
78d9d42
Jerry James 5f82efa
* Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 1.10-17
Jerry James 5f82efa
- Rebuild for why3 0.85
Jerry James 5f82efa
Jerry James 62155a0
* Thu Sep  4 2014 Jerry James <loganjerry@gmail.com> - 1.10-16
Jerry James 62155a0
- Adapt to why3 0.84
Jerry James 62155a0
Jerry James 62155a0
* Tue Sep  2 2014 Jerry James <loganjerry@gmail.com> - 1.10-15
Jerry James 62155a0
- Rebuild for final ocaml 4.02.0 release
Jerry James 50aea54
- Fix license handling
Jerry James 50aea54
Jerry James 62155a0
* Mon Aug 25 2014 Jerry James <loganjerry@gmail.com> - 1.10-14
Jerry James 62155a0
- ocaml-4.02.0+rc1 rebuild.
Jerry James 62155a0
Jerry James 62155a0
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.10-13
e018021
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
e018021
Jerry James 62155a0
* Sat Aug 09 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-12
Jerry James 62155a0
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
Jerry James 62155a0
Jerry James abb4427
* Mon Aug  4 2014 Jerry James <loganjerry@gmail.com> - 1.10-11
Jerry James abb4427
- BR emacs instead of emacs-nox, which has gone away
Jerry James abb4427
3dddd8c
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-11
3dddd8c
- Bump release and rebuild.
3dddd8c
ca01d72
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-10
ca01d72
- Bump release and rebuild.
ca01d72
0c9bcde
* Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-9
0c9bcde
- Rebuild for OCaml 4.02.0 beta.
0c9bcde
Jerry James 9afafea
* Mon Jul 21 2014 Jerry James <loganjerry@gmail.com> - 1.10-8
Jerry James 9afafea
- Add comment to desktop file
Jerry James 9afafea
Jerry James fd1f8d2
* Thu Jun 26 2014 Jerry James <loganjerry@gmail.com> - 1.10-7
Jerry James fd1f8d2
- Set LDFLAGS in a less destructive way (bz 1105265)
Jerry James fd1f8d2
1ededf0
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.10-6
1ededf0
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
1ededf0
Jerry James 02a7d02
* Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 1.10-5
Jerry James 02a7d02
- Rebuild for coq 8.4pl4
Jerry James 02a7d02
Jerry James e403561
* Mon Apr 21 2014 Jerry James <loganjerry@gmail.com> - 1.10-4
Jerry James e403561
- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt
Jerry James e403561
4941802
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-3
4941802
- Remove ocaml_arches macro (RHBZ#1087794).
4941802
Jerry James b8205e3
* Mon Mar 24 2014 Jerry James <loganjerry@gmail.com> - 1.10-2
Jerry James b8205e3
- Fix the icon name in the desktop file
Jerry James b8205e3
- Install icons
Jerry James b8205e3
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
Jerry James b8205e3
- Fix permissions later, else they get reset to the bad values
Jerry James b8205e3
Jerry James 6e23d32
* Mon Mar 17 2014 Jerry James <loganjerry@gmail.com> - 1.10-1
Jerry James 6e23d32
- Update to Neon version
Jerry James 6e23d32
- All patches have been upstreamed; drop them
Jerry James 6e23d32
- The manuals are no longer included in the source distribution; add as Sources
Jerry James 6e23d32
- BR ocaml-findlib instead of ocaml-findlib-devel
Jerry James 6e23d32
- BR why3 to get coq + why3 support in the wp plugin
Jerry James 6e23d32
0da8b3d
* Wed Feb 26 2014 Jerry James <loganjerry@gmail.com> - 1.9-9
0da8b3d
- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.
0da8b3d
- Add an Appdata file.
0da8b3d
89f5ee5
* Wed Oct 02 2013 Richard W.M. Jones <rjones@redhat.com> - 1.9-8
89f5ee5
- Rebuild for ocaml-lablgtk 2.18.
89f5ee5
Jerry James 3f558f3
* Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 1.9-7
Jerry James 3f558f3
- Rebuild for OCaml 4.01.0
Jerry James 3f558f3
- Enable debuginfo
Jerry James 3f558f3
Jerry James 9df8b1f
* Fri Aug  9 2013 Jerry James <loganjerry@gmail.com> - 1.9-6
Jerry James 9df8b1f
- Update -fixes patch to fix startup failures on ARM
Jerry James 9df8b1f
056b7f1
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.9-5
056b7f1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
056b7f1
Jerry James edaea40
* Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.9-4
Jerry James edaea40
- Update to 20130601 bugfix Fluorine release
Jerry James edaea40
Jerry James 7307230
* Mon Jun  3 2013 Jerry James <loganjerry@gmail.com> - 1.9-3
Jerry James 7307230
- Add -fixes patch to fix code generation for inductive definitions
Jerry James 7307230
Jerry James cefe8dc
* Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.9-2
Jerry James cefe8dc
- Update to bugfix Fluorine release
Jerry James cefe8dc
Jerry James 94bf6fa
* Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 1.9-1
Jerry James 94bf6fa
- Update to Fluorine version
Jerry James 94bf6fa
- Merge -devel into the main package (bz 888865)
Jerry James 94bf6fa
7105e03
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8-6
7105e03
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
7105e03
Jerry James a239338
* Mon Jan 14 2013 Jerry James <loganjerry@gmail.com> - 1.8-5
Jerry James a239338
- Rebuild for coq 8.4pl1 and alt-ergo 0.95
Jerry James a239338
Jerry James 455e714
* Mon Nov  5 2012 Jerry James <loganjerry@gmail.com> - 1.8-4
Jerry James 455e714
- Build with zarith support
Jerry James 455e714
Jerry James b096838
* Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-3
Jerry James b096838
- Update the Requires filter even more for Oxygen
Jerry James b096838
Jerry James 2a07ca8
* Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-2
Jerry James 2a07ca8
- Update the Requires filter for Oxygen
Jerry James 2a07ca8
Jerry James 4de86ca
* Fri Oct 19 2012 Jerry James <loganjerry@gmail.com> - 1.8-1
Jerry James 4de86ca
- Update to Oxygen version
Jerry James 4de86ca
Jerry James b2e712c
* Tue Sep 11 2012 Jerry James <loganjerry@gmail.com> - 1.7-9
Jerry James b2e712c
- Disable dangerous code in src/type/type.ml that leads to segfaults.
Jerry James b2e712c
Jerry James d14d61f
* Mon Aug 27 2012 Jerry James <loganjerry@gmail.com> - 1.7-8
Jerry James d14d61f
- Use a vastly simpler patch for OCaml 4 that fixes the native build.
Jerry James d14d61f
26634d3
* Fri Aug  3 2012 Jerry James <loganjerry@gmail.com> - 1.7-7
26634d3
- Shipping the bytecode version works better if it isn't stripped.
26634d3
bee1f8d
* Fri Aug  3 2012 Jerry James <loganjerry@gmail.com> - 1.7-6
bee1f8d
- Use upstream's version of the ocamlgraph patch.
bee1f8d
- Ship the bytecode binaries until the native breakage is diagnosed.
bee1f8d
195c699
* Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.7-5
195c699
- Rebuild for OCaml 4.00.0 official.
195c699
302f718
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7-4
302f718
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
302f718
e5054df
* Mon Jan  9 2012 Jerry James <loganjerry@gmail.com> - 1.7-3
e5054df
- Rebuild for OCaml 3.12.1
e5054df
1fe2839
* Tue Nov  8 2011 Jerry James <loganjerry@gmail.com> - 1.7-2
1fe2839
- Rebuild to eliminate libpng dependency
1fe2839
d253b21
* Tue Oct 25 2011 Jerry James <loganjerry@gmail.com> - 1.7-1
d253b21
- Update to Nitrogen version
d253b21
91f4bbf
* Mon Jul 11 2011 Jerry James <loganjerry@gmail.com> - 1.6-1
91f4bbf
- Update to Carbon version
91f4bbf
- Removed unnecessary spec file elements (BuildRoot, etc.)
91f4bbf
- Update approach to filtering provides and requires
91f4bbf
- Do not filter as much; why should Require some of the filtered names
91f4bbf
- Add (X)Emacs support packages
91f4bbf
- Add doc subpackage to hold large manual PDFs
91f4bbf
- Support for gtksourceview 1.x has been dropped
91f4bbf
c26941c
* Wed Apr 13 2011 Karsten Hopp <karsten@redhat.com> 1.5-3.1
c26941c
- add ppc64 to archs with ocaml
c26941c
a306c33
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.5-3
a306c33
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
a306c33
f30d344
* Sat Jan 22 2011 Dan HorĂ¡k <dan[at]danny.cz> - 1.5-2
f30d344
- updated the supported arch list
f30d344
Jerry James 94bf6fa
* Sat Jul 17 2010 Mark Rader <msrader@gmail.com> 1.5-1
Mark Rader 6c8d007
- Upgraded Frama C to Boron version and added ltl2ba dependencies.
Mark Rader c9d0040
Mark Rader c9d0040
* Mon Jul 05 2010 Mark Rader <msrader@gmail.com> 1.4-4
Mark Rader c9d0040
- Modified spec file to add new OCAML dependency structure for FC-13
Mark Rader c9d0040
Mark Rader c9d0040
* Sun Jun 06 2010 Mark Rader <msrader@gmail.com> 1.4-3
Mark Rader c9d0040
- Added documentation to explain the various licensing entries.
Mark Rader c9d0040
- Added .desktop file
Mark Rader c9d0040
Jerry James 94bf6fa
* Wed May 26 2010 Mark Rader <msrader@gmail.com> 1.4-2
Mark Rader c9d0040
- Add SELinux context settings.
Mark Rader c9d0040
Mark Rader c9d0040
* Wed Feb 10 2010 Alan Dunn <amdunn@gmail.com> 1.4-1
Mark Rader c9d0040
- Initial Fedora RPM