|
|
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
|