|
|
09b853b |
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
|
|
|
99b5ee0 |
%global tex_dir %{_texmf}/tex/latex
|
|
Jerry James |
13c9cab |
%if !%{opt}
|
|
Jerry James |
13c9cab |
%global debug_package %{nil}
|
|
|
b486518 |
%endif
|
|
|
b486518 |
|
|
|
70caa8f |
# Upstream includes option for generation of optimized binaries,
|
|
|
70caa8f |
# however, specifically generates bytecode versions for certain
|
|
|
70caa8f |
# executables even when optimized option is set, namely the following:
|
|
|
70caa8f |
|
|
|
70caa8f |
# coq-tex, coq_makefile, coq-interface, coqwc, coqdoc, parser, coqdep,
|
|
|
70caa8f |
# gallina
|
|
|
70caa8f |
|
|
|
70caa8f |
# (coqtop.byte, coqide.byte binaries are also made available.)
|
|
|
70caa8f |
|
|
|
70caa8f |
# .coqide-gtk2rc also produces an rpmlint warning due to its name,
|
|
|
70caa8f |
# however, this name is proper as per the Coq documentation
|
|
|
70caa8f |
|
|
|
f181a00 |
Name: coq
|
|
|
dc69964 |
Version: 8.6.1
|
|
|
dc69964 |
Release: 1%{?dist}
|
|
|
09b853b |
Summary: Proof management system
|
|
|
f181a00 |
|
|
|
f181a00 |
License: LGPLv2
|
|
|
cbe14a3 |
URL: https://coq.inria.fr/
|
|
|
cbe14a3 |
Source0: https://coq.inria.fr/distrib/V%{version}/files/%{name}-%{version}.tar.gz
|
|
|
f181a00 |
Source1: coqide.desktop
|
|
|
f181a00 |
Source2: README.coq-emacs
|
|
|
dd74bac |
Source4: coq.xml
|
|
Jerry James |
13c9cab |
Source5: coqide.appdata.xml
|
|
|
09b853b |
|
|
|
de086fe |
BuildRequires: ocaml
|
|
|
cbe14a3 |
BuildRequires: ocaml-camlp4-devel
|
|
|
06d597b |
BuildRequires: ocaml-findlib
|
|
|
de086fe |
BuildRequires: ocaml-lablgtk-devel
|
|
Jerry James |
251a541 |
BuildRequires: csdp-tools
|
|
|
de086fe |
BuildRequires: desktop-file-utils
|
|
|
2ba1c54 |
BuildRequires: emacs
|
|
|
de086fe |
BuildRequires: emacs-proofgeneral
|
|
|
cbe14a3 |
BuildRequires: gtksourceview2-devel
|
|
|
de086fe |
|
|
|
f181a00 |
# For documentation
|
|
|
b486518 |
BuildRequires: hevea
|
|
|
cbe14a3 |
BuildRequires: ImageMagick
|
|
|
de086fe |
BuildRequires: tex(latex)
|
|
|
de086fe |
BuildRequires: tex(comment.sty)
|
|
|
de086fe |
BuildRequires: tex(epic.sty)
|
|
|
de086fe |
BuildRequires: tex(fullpage.sty)
|
|
|
de086fe |
BuildRequires: tex(moreverb.sty)
|
|
|
de086fe |
BuildRequires: tex(multirow.sty)
|
|
|
de086fe |
BuildRequires: tex(stmaryrd.sty)
|
|
|
de086fe |
BuildRequires: tex(utf8x.def)
|
|
|
de086fe |
BuildRequires: tex-cm-super
|
|
|
de086fe |
BuildRequires: tex-courier
|
|
|
de086fe |
BuildRequires: tex-ec
|
|
|
de086fe |
BuildRequires: tex-helvetic
|
|
|
de086fe |
BuildRequires: tex-symbol
|
|
|
de086fe |
BuildRequires: tex-times
|
|
|
de086fe |
BuildRequires: tex-zapfchan
|
|
|
de086fe |
BuildRequires: tex-zapfding
|
|
|
cbe14a3 |
BuildRequires: transfig
|
|
|
de086fe |
|
|
Jerry James |
251a541 |
Requires: csdp-tools
|
|
|
99b5ee0 |
Requires: texlive-base
|
|
|
09b853b |
|
|
|
06d597b |
# Exclude 2 private ocaml interfaces that we don't Provide, and a Provides that
|
|
|
f256970 |
# the automatic generator is failing to produce for ocaml-lablgtk
|
|
|
06d597b |
%global __requires_exclude ocaml\\\((Interface|Sos_types|GtkSourceView2_types)\\\)
|
|
|
cbe14a3 |
|
|
|
70caa8f |
%description
|
|
|
70caa8f |
Coq is a formal proof management system. It allows for the development
|
|
|
70caa8f |
of theorems through first order logic that are mechanically checked by
|
|
|
70caa8f |
the machine. Sets of definitions and theorems can be saved as compiled
|
|
|
70caa8f |
modules and loaded into the system.
|
|
|
70caa8f |
|
|
|
70caa8f |
This package provides the main Coq binary without an optional IDE,
|
|
|
70caa8f |
Coqide.
|
|
|
70caa8f |
|
|
|
70caa8f |
# The IDE's package name will become "coq-coqide". That way,
|
|
|
70caa8f |
# searching for either "coqide" (the Ubuntu/Debian package name, and
|
|
|
70caa8f |
# also the full name of the IDE) or "coq" and "ide" will find
|
|
|
70caa8f |
# this. (If the package were named "coq-ide", the former would fail.)
|
|
|
70caa8f |
%package coqide
|
|
|
f181a00 |
Summary: Coqide IDE for Coq proof management system
|
|
|
09b853b |
Requires: %{name} = %{version}-%{release}, xdg-utils
|
|
|
70caa8f |
|
|
|
70caa8f |
%description coqide
|
|
|
70caa8f |
Coq is a formal proof management system. It allows for the development
|
|
|
70caa8f |
of theorems through first order logic that are mechanically checked by
|
|
|
70caa8f |
the machine. Sets of definitions and theorems can be saved as compiled
|
|
|
70caa8f |
modules and loaded into the system.
|
|
|
70caa8f |
|
|
|
70caa8f |
This package provides Coqide, a lightweight IDE for Coq.
|
|
|
70caa8f |
|
|
|
70caa8f |
%package doc
|
|
|
f181a00 |
License: Open Publication
|
|
|
f181a00 |
Summary: Documentation for Coq proof management system
|
|
|
09b853b |
BuildArch: noarch
|
|
|
70caa8f |
|
|
|
70caa8f |
%description doc
|
|
|
70caa8f |
Coq is a formal proof management system. It allows for the development
|
|
|
70caa8f |
of theorems through first order logic that are mechanically checked by
|
|
|
70caa8f |
the machine. Sets of definitions and theorems can be saved as compiled
|
|
|
70caa8f |
modules and loaded into the system.
|
|
|
70caa8f |
|
|
|
70caa8f |
This package provides documentation and tutorials for the system. The
|
|
|
70caa8f |
main documentation comes in two parts: the main Library documentation,
|
|
|
09b853b |
which describes all Coq.* modules, and the Reference Manual, which
|
|
|
70caa8f |
gives a more complete description of the whole system. Included are
|
|
|
70caa8f |
also HTML versions of both. Furthermore, there are two tutorials, the
|
|
|
70caa8f |
main one, and one specifically on recursive types. The example code
|
|
|
70caa8f |
for the latter is also included.
|
|
|
70caa8f |
|
|
|
70caa8f |
%package emacs
|
|
|
09b853b |
Summary: GNU Emacs support for Coq proof management system
|
|
|
09b853b |
Requires: %{name} = %{version}-%{release}
|
|
|
09b853b |
Requires: emacs(bin) >= %{_emacs_version}
|
|
|
09b853b |
Requires: emacs-proofgeneral
|
|
|
09b853b |
BuildArch: noarch
|
|
|
70caa8f |
|
|
|
70caa8f |
%description emacs
|
|
|
09b853b |
This package provides GNU Emacs mode files for formatting Coq input.
|
|
|
70caa8f |
|
|
|
09b853b |
%prep
|
|
|
b486518 |
%setup -q
|
|
|
8dd82f7 |
|
|
|
7bc5fec |
cp -p %SOURCE1 %SOURCE2 .
|
|
|
70caa8f |
|
|
Jerry James |
1de423f |
# Fix a Makefile rule that causes installation to fail
|
|
|
06d597b |
sed -ri '/FULLCONFIGDIR/s/OLDROOT|COQINSTALLPREFIX/&2/g' Makefile.install
|
|
Jerry James |
1de423f |
|
|
|
9a656d1 |
# Use relro due to network use. Also fix broken CAML_LD_LIBRARY_PATH.
|
|
|
9a656d1 |
sed -e 's/-lunix/& -ccopt -Wl,-z,relro/' \
|
|
|
cbe14a3 |
-e "s,'%s/kernel/byterun',%s/kernel/byterun," \
|
|
|
cbe14a3 |
-i configure.ml
|
|
Jerry James |
4006cf3 |
|
|
|
70caa8f |
%build
|
|
|
70caa8f |
# Define opt flag based upon prior opt detection and restrictions
|
|
|
70caa8f |
%if %{opt}
|
|
|
cbe14a3 |
%global opt_option -native-compiler yes -natdynlink yes
|
|
|
70caa8f |
%else
|
|
Jerry James |
251a541 |
%global opt_option -byte-only
|
|
|
70caa8f |
%endif
|
|
|
70caa8f |
|
|
|
688d057 |
%global coqdocdir %{?_pkgdocdir}%{!?_pkgdocdir:%{_docdir}/coq-%{version}}
|
|
|
f181a00 |
|
|
|
09b853b |
./configure -prefix %{_prefix} \
|
|
|
09b853b |
-libdir %{_libdir}/coq \
|
|
|
09b853b |
-bindir %{_bindir} \
|
|
|
09b853b |
-mandir %{_mandir} \
|
|
|
09b853b |
-docdir %{coqdocdir} \
|
|
Jerry James |
1de423f |
-configdir %{_sysconfdir}/xdg/%{name} \
|
|
Jerry James |
251a541 |
-emacslib %{_emacs_sitelispdir} \
|
|
Jerry James |
251a541 |
-lablgtkdir %{_libdir}/ocaml/lablgtk2 \
|
|
|
09b853b |
-coqdocdir %{tex_dir} \
|
|
Jerry James |
b0d944c |
-debug \
|
|
Jerry James |
b0d944c |
%{opt_option} \
|
|
|
09b853b |
-browser "xdg-open %s" \
|
|
|
cbe14a3 |
-with-doc yes
|
|
|
48f8ea1 |
|
|
|
5bf494c |
export LD_LIBRARY_PATH=%{_libdir}/ocaml/stublibs
|
|
|
5bf494c |
|
|
Jerry James |
13c9cab |
export CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun:${CAML_LD_LIBRARY_PATH}
|
|
|
6826838 |
make world VERBOSE=1
|
|
|
70caa8f |
|
|
|
70caa8f |
%install
|
|
Jerry James |
1de423f |
make COQINSTALLPREFIX="%{buildroot}%{_prefix}" OLDROOT="%{_prefix}" \
|
|
Jerry James |
1de423f |
COQINSTALLPREFIX2="%{buildroot}%{_sysconfdir}" OLDROOT2="%{_sysconfdir}" \
|
|
Jerry James |
1de423f |
install
|
|
|
70caa8f |
|
|
|
09b853b |
%global coqdatadir %{_libdir}/coq
|
|
|
70caa8f |
%if %(test -d %{buildroot}%{coqdatadir} && echo 1 || echo 0) != 1
|
|
|
70caa8f |
mkdir -p %{buildroot}%{coqdatadir}
|
|
|
70caa8f |
%endif
|
|
|
70caa8f |
|
|
|
cbe14a3 |
# Fix permissions
|
|
|
cbe14a3 |
if [ -e %{coqdatadir}/dllcoqrun.so ]; then
|
|
|
cbe14a3 |
chmod a+x %{coqdatadir}/dllcoqrun.so
|
|
|
cbe14a3 |
fi
|
|
|
cbe14a3 |
|
|
|
cbe14a3 |
# Install desktop icon and menu entry
|
|
Richard Hughes |
ee3c0b1 |
mkdir -p %{buildroot}%{_datadir}/pixmaps
|
|
Richard Hughes |
ee3c0b1 |
install -pm 644 %{buildroot}%{_datadir}/coq/coq.png %{buildroot}%{_datadir}/pixmaps/coq.png
|
|
Richard Hughes |
ee3c0b1 |
sed -i -e 's|ICON-LOCATION-BASE|%{_datadir}/pixmaps/coq.png|' coqide.desktop
|
|
Jerry James |
13c9cab |
desktop-file-install --dir=%{buildroot}%{_datadir}/applications coqide.desktop
|
|
Jerry James |
13c9cab |
|
|
Jerry James |
13c9cab |
# Install AppData file
|
|
Jerry James |
13c9cab |
mkdir -p %{buildroot}%{_datadir}/appdata
|
|
Jerry James |
13c9cab |
install -pm 644 %{SOURCE5} %{buildroot}%{_datadir}/appdata
|
|
|
70caa8f |
|
|
|
09b853b |
# Make a MIME type for .v files
|
|
|
09b853b |
mkdir -p %{buildroot}%{_datadir}/mime/packages
|
|
|
6f1634f |
cp -p %{SOURCE4} %{buildroot}%{_datadir}/mime/packages
|
|
|
09b853b |
|
|
|
87f56ea |
# Install main Coq .v files
|
|
|
b486518 |
for f in `find plugins theories -name '*.v' -type f`; do
|
|
|
48f8ea1 |
mkdir -p %{buildroot}%{coqdatadir}/`dirname $f` && cp -p $f %{buildroot}%{coqdatadir}/`dirname $f`
|
|
|
87f56ea |
done
|
|
|
87f56ea |
|
|
|
70caa8f |
# Install tutorial code
|
|
|
cb1e9d8 |
%global tutorialcodedir %{coqdatadir}/RecTutorial
|
|
|
b486518 |
if [ ! -d %{buildroot}%{tutorialcodedir} ]; then
|
|
|
b486518 |
mkdir -p %{buildroot}%{tutorialcodedir}
|
|
|
b486518 |
fi
|
|
|
09b853b |
cp -p doc/RecTutorial/RecTutorial.v %{buildroot}%{tutorialcodedir}
|
|
|
09b853b |
ln -s %{tutorialcodedir} %{buildroot}%{coqdatadir}/RecTutorial
|
|
|
09b853b |
|
|
|
f181a00 |
# Install documentation not installed by install-doc in Makefile
|
|
|
06d597b |
for f in CHANGES COMPATIBILITY CREDITS README.doc README.md;
|
|
|
09b853b |
do cp -p $f %{buildroot}%{coqdocdir};
|
|
|
f181a00 |
done
|
|
|
70caa8f |
|
|
|
09b853b |
# We don't need both PostScript and PDF documentation
|
|
|
09b853b |
rm -fr %{buildroot}%{coqdocdir}/ps
|
|
|
774db2a |
|
|
|
f181a00 |
# Don't install libcoqrun.a (it might not exist, but get rid of it if it does)
|
|
|
f181a00 |
rm -f %{buildroot}%{coqdatadir}/libcoqrun.a
|
|
|
f181a00 |
|
|
|
09b853b |
# Move Emacs support files to a subdir and byte compile
|
|
|
09b853b |
mkdir -p %{buildroot}%{_emacs_sitelispdir}/coq
|
|
|
09b853b |
cd %{buildroot}%{_emacs_sitelispdir}/coq
|
|
|
09b853b |
mv ../*.el .
|
|
|
09b853b |
%{_emacs_bytecompile} *.el
|
|
|
09b853b |
|
|
|
70caa8f |
%files
|
|
|
f181a00 |
# DON'T use the doc macro here or else it wipes out all the other documentation installed!
|
|
Jerry James |
2b31845 |
%license COPYRIGHT LICENSE
|
|
|
f181a00 |
%{_mandir}/man1/*
|
|
|
87f56ea |
%{coqdatadir}
|
|
Jerry James |
1de423f |
%{_datadir}/%{name}/
|
|
|
70caa8f |
%{_bindir}/coq*
|
|
|
70caa8f |
%{_bindir}/gallina
|
|
|
70caa8f |
%exclude %{_bindir}/coqide*
|
|
|
87f56ea |
%exclude %{coqdatadir}/ide
|
|
|
70caa8f |
%if %{opt}
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/*/*.cmxa
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/*/*.a
|
|
|
70caa8f |
%endif
|
|
|
9887d05 |
%{tex_dir}/coqdoc.sty
|
|
|
f181a00 |
# A few documentation files here should stay in the main package (and
|
|
|
f181a00 |
# are excluded from doc), but the bulk of the documentation is in the
|
|
|
f181a00 |
# doc subpackage
|
|
|
f181a00 |
%dir %{coqdocdir}
|
|
|
f181a00 |
%{coqdocdir}/CHANGES
|
|
|
f181a00 |
%{coqdocdir}/COMPATIBILITY
|
|
|
f181a00 |
%{coqdocdir}/CREDITS
|
|
|
06d597b |
%{coqdocdir}/README.doc
|
|
|
06d597b |
%{coqdocdir}/README.md
|
|
|
70caa8f |
|
|
|
70caa8f |
%files coqide
|
|
|
cbe14a3 |
%doc ide/FAQ
|
|
|
70caa8f |
%{_bindir}/coqide*
|
|
Richard Hughes |
ee3c0b1 |
%{_datadir}/pixmaps/coq.png
|
|
Jerry James |
1de423f |
%{_sysconfdir}/xdg/%{name}/
|
|
|
48f8ea1 |
%{coqdatadir}/ide
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/ide/ide.cmxa
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/ide/ide.a
|
|
Jerry James |
13c9cab |
%{_datadir}/appdata/coqide.appdata.xml
|
|
|
d92002f |
%{_datadir}/applications/coqide.desktop
|
|
|
dd74bac |
%{_datadir}/mime/packages/coq.xml
|
|
|
70caa8f |
|
|
|
70caa8f |
%files doc
|
|
|
f181a00 |
%{coqdocdir}/*
|
|
|
f181a00 |
%exclude %{coqdocdir}/CHANGES
|
|
|
f181a00 |
%exclude %{coqdocdir}/COMPATIBILITY
|
|
|
f181a00 |
%exclude %{coqdocdir}/CREDITS
|
|
|
06d597b |
%exclude %{coqdocdir}/README.doc
|
|
|
06d597b |
%exclude %{coqdocdir}/README.md
|
|
|
70caa8f |
|
|
|
70caa8f |
%files emacs
|
|
|
70caa8f |
%doc README.coq-emacs
|
|
|
cbe14a3 |
%{_emacs_sitelispdir}/coq/
|
|
|
09b853b |
|
|
|
70caa8f |
%changelog
|
|
|
dc69964 |
* Mon Aug 07 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6.1-1
|
|
|
dc69964 |
- New upstream version 8.6.1.
|
|
|
dc69964 |
- Remove patch now upstream.
|
|
|
229e573 |
- OCaml 4.05.0 rebuild.
|
|
|
229e573 |
|
|
|
19f5b30 |
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 8.6-7
|
|
|
19f5b30 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
|
19f5b30 |
|
|
|
c6ea642 |
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 8.6-6
|
|
|
c6ea642 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
c6ea642 |
|
|
|
2361d7d |
* Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6-5
|
|
|
2361d7d |
- OCaml 4.04.2 rebuild.
|
|
|
2361d7d |
|
|
|
c0b0abb |
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6-4
|
|
|
c0b0abb |
- Bump release and rebuild.
|
|
|
c0b0abb |
|
|
|
4adf3b5 |
* Thu May 11 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6-3
|
|
|
4adf3b5 |
- OCaml 4.04.1 rebuild.
|
|
|
4adf3b5 |
|
|
|
9ee358a |
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 8.6-2
|
|
|
9ee358a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
9ee358a |
|
|
|
06d597b |
* Thu Jan 12 2017 Jerry James <loganjerry@gmail.com> - 8.6-1
|
|
|
06d597b |
- New upstream release
|
|
|
06d597b |
|
|
|
91467c8 |
* Sat Nov 05 2016 Richard W.M. Jones <rjones@redhat.com> - 8.5pl3-2
|
|
|
91467c8 |
- Rebuild for OCaml 4.04.0.
|
|
|
91467c8 |
|
|
|
99b5ee0 |
* Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 8.5pl3-1
|
|
|
99b5ee0 |
- New upstream release
|
|
|
99b5ee0 |
- Remove obsolete scriptlets
|
|
|
99b5ee0 |
- Fix install path for coqdoc.sty
|
|
|
99b5ee0 |
|
|
|
b928f27 |
* Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 8.5pl2-1
|
|
|
b928f27 |
- New upstream release
|
|
|
b928f27 |
|
|
|
d0b6d47 |
* Fri Apr 22 2016 Jerry James <loganjerry@gmail.com> - 8.5pl1-1
|
|
|
d0b6d47 |
- New upstream release
|
|
|
d0b6d47 |
|
|
|
f256970 |
* Sat Feb 13 2016 Jerry James <loganjerry@gmail.com> - 8.5-2
|
|
|
f256970 |
- Workaround ocaml dep generator failure with ocaml-lablgtk
|
|
|
f256970 |
|
|
|
cbe14a3 |
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 8.5-1
|
|
|
cbe14a3 |
- New upstream release
|
|
|
cbe14a3 |
- Use camlp4 in preference to camlp5
|
|
|
cbe14a3 |
- Absorb -emacs-el into -emacs according to current guidelines
|
|
|
cbe14a3 |
- Update appdata for latest specification
|
|
|
cbe14a3 |
|
|
|
561d897 |
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 8.4pl6-6
|
|
|
561d897 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
561d897 |
|
|
|
f49eb37 |
* Thu Jul 30 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl6-5
|
|
|
f49eb37 |
- OCaml 4.02.3 rebuild.
|
|
|
f49eb37 |
|
|
|
054548b |
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl6-4
|
|
|
054548b |
- ocaml-4.02.2 final rebuild.
|
|
|
054548b |
|
|
|
c24a592 |
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl6-3
|
|
|
c24a592 |
- ocaml-4.02.2 rebuild.
|
|
|
c24a592 |
|
|
|
fb083cf |
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl6-2
|
|
|
fb083cf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
fb083cf |
|
|
|
9a656d1 |
* Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 8.4pl6-1
|
|
|
9a656d1 |
- New upstream release
|
|
|
9a656d1 |
- Drop upstreamed -fix-ints patch
|
|
|
9a656d1 |
- Update appdata URLs
|
|
|
9a656d1 |
|
|
|
e39408b |
* Mon Feb 16 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl5-4
|
|
|
e39408b |
- Bump release and rebuild.
|
|
|
e39408b |
|
|
|
2c0cca9 |
* Mon Feb 16 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl5-3
|
|
|
2c0cca9 |
- ocaml-4.02.1 rebuild.
|
|
|
2c0cca9 |
|
|
Jerry James |
72fecbc |
* Thu Nov 6 2014 Jerry James <loganjerry@gmail.com> - 8.4pl5-2
|
|
Jerry James |
72fecbc |
- Rebuild for ocaml-camlp5 6.12
|
|
Jerry James |
72fecbc |
|
|
Jerry James |
e8c2be4 |
* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 8.4pl5-1
|
|
Jerry James |
e8c2be4 |
- New upstream release
|
|
Jerry James |
e8c2be4 |
- Drop upstreamed comment patch
|
|
Jerry James |
e8c2be4 |
- Drop aarch64 bug workaround, fixed in ocaml 4.02.0
|
|
Jerry James |
e8c2be4 |
|
|
Rex Dieter |
12611ad |
* Thu Oct 02 2014 Rex Dieter <rdieter@fedoraproject.org> 8.4pl4-19
|
|
Rex Dieter |
12611ad |
- fix/update mime scriptlet
|
|
Rex Dieter |
12611ad |
|
|
Jerry James |
2b31845 |
* Wed Sep 17 2014 Jerry James <loganjerry@gmail.com> - 8.4pl4-18
|
|
Jerry James |
2b31845 |
- Rebuild due to ocaml update
|
|
Jerry James |
2b31845 |
- Fix license handling
|
|
Jerry James |
2b31845 |
|
|
|
082fabb |
* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-17
|
|
|
082fabb |
- Bump release and rebuild.
|
|
|
082fabb |
|
|
|
0082780 |
* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-16
|
|
|
869d0a3 |
- Bump release and rebuild.
|
|
|
0082780 |
- Fix to int types in OCaml > 4.02.0 and Fedora.
|
|
|
869d0a3 |
|
|
|
1231b8b |
* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-14
|
|
|
1231b8b |
- ocaml-4.02.0 final rebuild.
|
|
|
1231b8b |
|
|
|
278e35c |
* Sun Aug 24 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-13
|
|
|
278e35c |
- ocaml-4.02.0+rc1 rebuild.
|
|
|
278e35c |
|
|
|
2a2cf7a |
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl4-12
|
|
|
2a2cf7a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
|
2a2cf7a |
|
|
|
5bf494c |
* Sat Aug 09 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-11
|
|
|
5bf494c |
- Add stublibs to library path to make coqide build.
|
|
|
5bf494c |
|
|
|
2ba1c54 |
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-10
|
|
|
07220d2 |
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
|
|
|
226b769 |
- Add workaround for build failure on aarch64.
|
|
|
2ba1c54 |
- BR emacs since emacs-nox no longer provides this binary (RHBZ#1123573).
|
|
|
226b769 |
|
|
|
891fa18 |
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-6
|
|
|
cbafaf9 |
- Add patch to fix build failure with OCaml 4.02.
|
|
|
cbafaf9 |
|
|
|
0f1da90 |
* Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-4
|
|
|
0f1da90 |
- Rebuild for OCaml 4.02.0 beta.
|
|
|
0f1da90 |
|
|
Richard Hughes |
ee3c0b1 |
* Wed Jul 16 2014 Richard Hughes <richard@hughsie.com> - 8.4pl4-3
|
|
Richard Hughes |
ee3c0b1 |
- Install the coq application icon in a standard location to fix display in
|
|
Richard Hughes |
ee3c0b1 |
gnome-software and Apper.
|
|
Richard Hughes |
ee3c0b1 |
|
|
|
6c366b8 |
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl4-2
|
|
|
6c366b8 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
6c366b8 |
|
|
Jerry James |
77deb5e |
* Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 8.4pl4-1
|
|
Jerry James |
77deb5e |
- New upstream release
|
|
Jerry James |
77deb5e |
|
|
|
07e5156 |
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl3-3
|
|
|
07e5156 |
- Remove ocaml_arches macro (RHBZ#1087794).
|
|
|
07e5156 |
|
|
Jerry James |
13c9cab |
* Thu Jan 23 2014 Jerry James <loganjerry@gmail.com> - 8.4pl3-2
|
|
Jerry James |
13c9cab |
- Rebuild with fixed hevea package to get good HTML docs
|
|
Jerry James |
13c9cab |
- Hevea is now available on all architectures that support ocaml
|
|
Jerry James |
13c9cab |
- Drop Fedora 18 compatibility now that F-18 has reached EOL
|
|
Jerry James |
13c9cab |
- Add AppData file
|
|
Jerry James |
13c9cab |
|
|
Jerry James |
e8ff323 |
* Mon Dec 16 2013 Jerry James <loganjerry@gmail.com> - 8.4pl3-1
|
|
Jerry James |
e8ff323 |
- New upstream release
|
|
Jerry James |
e8ff323 |
|
|
|
6b22ed5 |
* Wed Oct 02 2013 Richard W.M. Jones <rjones@redhat.com> - 8.4pl2-4
|
|
|
6b22ed5 |
- Rebuild for ocaml-lablgtk 2.18.
|
|
|
6b22ed5 |
|
|
Jerry James |
b0d944c |
* Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 8.4pl2-3
|
|
Jerry James |
b0d944c |
- Rebuild for OCaml 4.01.0
|
|
Jerry James |
b0d944c |
- Enable debuginfo
|
|
Jerry James |
b0d944c |
|
|
|
688d057 |
* Fri Jul 26 2013 Ville Skyttä <ville.skytta@iki.fi> - 8.4pl2-2
|
|
|
688d057 |
- Install docs to %%{_pkgdocdir} where available.
|
|
|
688d057 |
|
|
Jerry James |
4006cf3 |
* Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 8.4pl2-1
|
|
Jerry James |
4006cf3 |
- New upstream release
|
|
Jerry James |
4006cf3 |
- Harden the build due to network use
|
|
Jerry James |
4006cf3 |
|
|
|
d92002f |
* Sat Feb 23 2013 Toshio Kuratomi <toshio@fedoraproject.org> - 8.4pl1-3
|
|
|
d92002f |
- Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/fesco/ticket/1077
|
|
|
d92002f |
|
|
|
72ae522 |
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl1-2
|
|
|
72ae522 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
72ae522 |
|
|
Jerry James |
251a541 |
* Mon Jan 7 2013 Jerry James <loganjerry@gmail.com> - 8.4pl1-1
|
|
Jerry James |
251a541 |
- New upstream release
|
|
Jerry James |
251a541 |
- Drop upstreamed GDK patch
|
|
Jerry James |
251a541 |
- Adapt configure arguments to new version
|
|
Jerry James |
251a541 |
- Add csdp-tools requirement to get csdp binary
|
|
Jerry James |
251a541 |
|
|
|
de086fe |
* Thu Dec 13 2012 Jerry James <loganjerry@gmail.com> - 8.4-3
|
|
|
de086fe |
- Use minimal TeXLive BRs
|
|
|
de086fe |
|
|
|
06bcb09 |
* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 8.4-2
|
|
|
06bcb09 |
- Rebuild for OCaml 4.00.1
|
|
|
61ea2d3 |
- Support more GDK key modifiers in the IDE (hyper, meta, release, super)
|
|
|
9887d05 |
- New BRs due to the new texlive package layout
|
|
|
9887d05 |
- Substitute the geometry package for fullpage.sty, which is not included in
|
|
|
9887d05 |
the latest Fedora TeXLive packages.
|
|
|
06bcb09 |
|
|
Jerry James |
1de423f |
* Tue Aug 21 2012 Jerry James <loganjerry@gmail.com> - 8.4-1
|
|
Jerry James |
1de423f |
- New upstream release
|
|
Jerry James |
1de423f |
- Drop patch; merged upstream
|
|
Jerry James |
1de423f |
- Drop workaround for install bug; fixed in 8.4
|
|
Jerry James |
1de423f |
|
|
|
7bc5fec |
* Fri Jul 27 2012 Jerry James <loganjerry@gmail.com> - 8.3pl4-3
|
|
|
7bc5fec |
- ProofGeneral dropped support for XEmacs, so we have to drop it too
|
|
|
7bc5fec |
|
|
|
a7e2ae8 |
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.3pl4-3
|
|
|
a7e2ae8 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
a7e2ae8 |
|
|
|
e5323b3 |
* Mon Jun 11 2012 Richard W.M. Jones <rjones@redhat.com> - 8.3pl4-2
|
|
|
e5323b3 |
- Rebuild for OCaml 4.00.0.
|
|
|
e5323b3 |
|
|
|
b31f562 |
* Sat Jun 9 2012 Jerry James <loganjerry@gmail.com> - 8.3pl4-1
|
|
|
b31f562 |
- New upstream release
|
|
|
b31f562 |
|
|
|
caf4073 |
* Sat Jan 7 2012 Jerry James <loganjerry@gmail.com> - 8.3pl3-2
|
|
|
10d2f4c |
- Rebuild for Ocaml 3.12.1
|
|
|
10d2f4c |
|
|
|
74b0e5c |
* Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 8.3pl3-1
|
|
|
74b0e5c |
- New upstream release
|
|
|
74b0e5c |
|
|
|
6837b55 |
* Tue Dec 06 2011 Adam Jackson <ajax@redhat.com> - 8.3pl2-4
|
|
|
6837b55 |
- Rebuild for new libpng
|
|
|
6837b55 |
|
|
|
b486518 |
* Thu Oct 27 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-3
|
|
|
b486518 |
- Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed
|
|
|
b486518 |
- Drop tar_base_name, no longer necessary
|
|
|
b486518 |
- Drop versioned dependencies for packages that meet the dep in F14
|
|
|
b486518 |
- Build without HTML documentation on arches lacking hevea
|
|
|
b486518 |
- Change ExclusiveArch to %%{ocaml_arches}
|
|
|
b486518 |
- Fix a broken conditional and a typo
|
|
|
b486518 |
|
|
|
cb1e9d8 |
* Wed Jun 15 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-2
|
|
|
cb1e9d8 |
- Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2
|
|
|
cb1e9d8 |
- Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff.
|
|
|
cb1e9d8 |
Coq tactics are written in ocaml, which compiles to arch-specific files,
|
|
|
cb1e9d8 |
and those files are stored in the same place as the noarch proof files.
|
|
|
5f19ebe |
- Move tutorial code into main package; it is small and we can then leave
|
|
|
5f19ebe |
all the rest of the documentation as noarch
|
|
|
cb1e9d8 |
|
|
|
9abe3a9 |
* Tue Apr 26 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-1
|
|
|
9abe3a9 |
- New upstream release
|
|
|
9abe3a9 |
- Change the list of supported arches to match the ocaml list, except for
|
|
|
9abe3a9 |
ppc64, which is missing hevea
|
|
|
9abe3a9 |
|
|
|
dd74bac |
* Mon Apr 4 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-2
|
|
|
dd74bac |
- Change the mime type to application/x-coq, and inherit from text/plain
|
|
|
dd74bac |
(bz 530254)
|
|
|
dd74bac |
|
|
|
09b853b |
* Thu Mar 31 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-1
|
|
|
09b853b |
- New upstream release
|
|
|
09b853b |
- Drop BuildRoot tag and clean section
|
|
|
09b853b |
- Drop all patches (all merged or otherwise fixed upstream)
|
|
|
09b853b |
- Comply with latest Ocaml packaging specs
|
|
|
09b853b |
- Identify xdg-open as the default web browser
|
|
|
09b853b |
- Comply with the emacs packaging guidelines, and build an XEmacs package
|
|
|
09b853b |
- The -doc and -emacs* subpackages are now noarch
|
|
|
09b853b |
- Workaround bug 691913
|
|
|
09b853b |
- Drop PostScript documentation; it's identical to PDF documentation
|
|
|
09b853b |
- Deal with arch-specific files in /usr/share; install everything to libdir,
|
|
|
09b853b |
then move the noarch stuff to datadir, but leave symlinks behind
|
|
|
09b853b |
- Add a new mime type application/x-coqide and use it in the desktop file
|
|
|
09b853b |
- Add post and postun scripts
|
|
|
09b853b |
|
|
|
f7f5d5b |
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.2pl1-2
|
|
|
f7f5d5b |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
|
|
f7f5d5b |
|
|
|
f181a00 |
* Wed Aug 05 2009 Alan Dunn <amdunn@gmail.com> - 8.2pl1-1
|
|
|
f181a00 |
- New upstream release
|
|
|
f181a00 |
- Eliminated modification of tar_base_name that occurred for only version 8.2
|
|
|
f181a00 |
- Added reference to bugzilla bug for ppc64 ExcludeArch
|
|
|
f181a00 |
- HTML form of documentation seems to no longer be distributed -> must generate
|
|
|
f181a00 |
Decided for consistency to generate all documentation
|
|
|
f181a00 |
- Additional file for iconv - documentation license file
|
|
|
f181a00 |
- Changed tutorial directory name, now also using bundled version
|
|
|
f181a00 |
of tutorial
|
|
|
f181a00 |
|
|
|
415eedf |
* Fri Jul 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.2-2
|
|
|
415eedf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
|
|
|
415eedf |
|
|
|
48f8ea1 |
* Thu Jun 18 2009 Alan Dunn <amdunn@gmail.com> - 8.2-1
|
|
|
48f8ea1 |
- New upstream release
|
|
|
48f8ea1 |
- Seems documentation license has changed or wasn't explicitly stated
|
|
|
48f8ea1 |
before, fixed (is ok Fedora license)
|
|
|
48f8ea1 |
- Added versioning to documentation
|
|
|
48f8ea1 |
- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant)
|
|
|
48f8ea1 |
- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Dropped cmxa-install patch (fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Changed makefile-strip patch and name (not yet fixed upstream...)
|
|
|
48f8ea1 |
- Changed check.patch -> coq-check-(version).patch, slightly changed
|
|
|
48f8ea1 |
for 8.2 (not yet fixed upstream...)
|
|
|
48f8ea1 |
- Dropped parser-renaming makefile-parser.patch, parser-man.patch
|
|
|
48f8ea1 |
(fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Changed way source (.v) files are installed
|
|
|
48f8ea1 |
- Stopped addition of other icon file (icon fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Bytecode executables are now "clean" (not build with custom -> don't
|
|
|
48f8ea1 |
need to configure prelink around these)
|
|
|
48f8ea1 |
- define -> global
|
|
|
48f8ea1 |
- Added ExcludeArch sparc64
|
|
|
48f8ea1 |
|
|
|
57b8a17 |
* Wed Jun 17 2009 S390x secondary arch maintainer <fedora-s390x@lists.fedoraproject.org> 8.1pl4-3.1
|
|
|
57b8a17 |
- ExcludeArch s390, s390x as we don't have OCaml on those archs
|
|
|
57b8a17 |
|
|
|
5ba4127 |
* Wed Mar 04 2009 Alan Dunn <amdunn@gmail.com> - 8.1pl4-3
|
|
|
8dd82f7 |
- Minor change to cmxa-install patch instruction
|
|
|
8dd82f7 |
- Fixed to work with lablgtk 2.12
|
|
|
d76870d |
|
|
|
5ba4127 |
* Tue Feb 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.1pl4-2
|
|
|
5ba4127 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
|
|
|
5ba4127 |
|
|
|
6826838 |
* Fri Dec 5 2008 Richard W.M. Jones <rjones@redhat.com> - 8.1pl4-1
|
|
|
6826838 |
- New upstream version 8.1pl4.
|
|
|
6826838 |
- Attempt to rebuild against OCaml 3.11.0.
|
|
|
6826838 |
- Run make with VERBOSE=1 so we can see the actual commands.
|
|
|
6826838 |
- Pass -camlp5dir to configure so it uses camlp5 (overriding existence
|
|
|
6826838 |
of camlp4 if it happens to be installed).
|
|
|
6826838 |
|
|
|
87f56ea |
* Wed Oct 22 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-5
|
|
|
87f56ea |
- Added Coq .v files into the main package at user request.
|
|
|
6826838 |
|
|
|
774db2a |
* Tue Sep 09 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-4
|
|
|
774db2a |
- Added creation of prelink blacklist for any bytecode files.
|
|
|
774db2a |
- Fixed execstack status for binaries.
|
|
|
6826838 |
|
|
|
affd8f0 |
* Tue Aug 05 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-3
|
|
|
affd8f0 |
- Changed parser to coq-parser to avoid name conflict with
|
|
|
affd8f0 |
coda-client.
|
|
|
affd8f0 |
- Made make process noisy again.
|
|
|
6826838 |
|
|
|
affd8f0 |
* Sun Jul 20 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-2.1
|
|
|
affd8f0 |
- Minor bump for Fedora 8 to bring it into line with the rest.
|
|
|
6826838 |
|
|
|
82dc51b |
* Thu Jul 17 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-2
|
|
|
82dc51b |
- Added check for Fedora distribution number to allow for Fedora 8 release.
|
|
|
6826838 |
|
|
Jerry James |
251a541 |
* Wed Jun 11 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-1
|
|
|
70caa8f |
- Initial Fedora RPM version.
|