# Upstream stopped making release tarballs in 2015.  Pull from git until

# upstream starts making them again.

%global gittag   a1f7148bdd3343e3faf60b5ad4ae62c2e513512a

%global shorttag %(cut -b -7 <<< %{gittag})

%global gitdate  20200218

%ifarch %{ix86}

%global pvsarch ix86

%else

%ifarch x86_64

%global pvsarch ix86_64

%else

%global pvsarch %{_arch}

%endif

%endif

Name:           pvs-sbcl

Version:        7.0

Release:        1.%{gitdate}.%{shorttag}%{?dist}

Summary:        Interactive theorem prover from SRI

License:        GPLv2+ and BSD and Public Domain

URL:            http://pvs.csl.sri.com/

# We would like to use this URL:

# Source0:        https://github.com/SRI-CSL/PVS/archive/%%{gittag}/PVS-%%{shorttag}.tar.gz

# but we can't, because the PVS code is full of invocations of git, to find

# hashes on files, compute the number of commits since a tag, etc., and that

# URL yields a file with no .git directory.  I tried to patch out the git

# invocations but kept breaking things, so in despair, I have resorted to this:

# 1. git clone https://github.com/SRI-CSL/PVS

# 2. cd PVS

# 3. git reset --hard %%{gittag}

# 4. cd ..

# 5. tar cJf PVS-%%{version}-%%{shorttag}.tar PVS

Source0:        PVS-%{version}-%{shorttag}.tar.xz

Source1:        http://pvs.csl.sri.com/doc/pvs-prelude.pdf

Source2:        http://pvs.csl.sri.com/doc/interpretations.pdf

Source3:        http://pvs.csl.sri.com/papers/csl-97-2/csl-97-2.ps.gz

Source4:        http://pvs.csl.sri.com/papers/csl-93-9/csl-93-9.ps.gz

Source5:        pvs-sbcl.desktop

# This patch will not be sent upstream.  It adapts the SBCL support to the

# needs of SELinux-enabled Fedora systems, links against the system mona

# library instead of building the included sources, and enables building on

# architectures that the original sources do not support.

Patch0:         pvs-fedora.patch

# This patch was sent upstream 22 Feb 2013.  It removes an obsolete workaround

# for a missing glibc function; the workaround now fails the build.

# https://github.com/SRI-CSL/PVS/pull/78

Patch1:         pvs-siglongjmp.patch

# Fix FTBFS with gcc 10 due to -fno-common becoming the default.

# https://github.com/SRI-CSL/PVS/pull/75

Patch2:         pvs-fno-common.patch

# Fix texinfo errors that cause makeinfo to exit with nonzero status

# https://github.com/SRI-CSL/PVS/pull/72

# https://github.com/SRI-CSL/PVS/pull/74

Patch3:         pvs-texi.patch

# Fix Emacs Lisp error that caused building the language manual to abort

# https://github.com/SRI-CSL/PVS/pull/76

Patch4:         pvs-language-manual.patch

# Fix build problems with the user guide

# https://github.com/SRI-CSL/PVS/pull/77

Patch5:         pvs-user-guide.patch

BuildRequires:  automake

BuildRequires:  desktop-file-utils

BuildRequires:  emacs

BuildRequires:  gcc-c++

BuildRequires:  ghostscript-core

BuildRequires:  git-core

BuildRequires:  latexmk

BuildRequires:  mona-devel

BuildRequires:  perl-generators

BuildRequires:  sbcl

BuildRequires:  texinfo-tex

BuildRequires:  tex(latex)

BuildRequires:  tex(boxedminipage.sty)

BuildRequires:  tex(libertine.sty)

BuildRequires:  tex(relsize.sty)

BuildRequires:  tex(stmaryrd.sty)

BuildRequires:  tex(tocbibind.sty)

BuildRequires:  tex(xits-math.otf)

BuildRequires:  tex(xtab.sty)

BuildRequires:  yices-tools

Requires:       tex(latex)

Requires:       tk

Requires:       yices-tools

Provides:       pvs = %{version}-%{release}, pvsio = %{version}-%{release}

# This should (generally) match the corresponding tag in the sbcl spec

ExclusiveArch: %{ix86} x86_64 ppc sparcv9

# requires the same sbcl it was built against

%global sbcl_vr %(sbcl --version 2>/dev/null | cut -d' ' -f2)

%if "x%{?sbcl_vr}" != "x%{nil}"

Requires: sbcl = %{sbcl_vr}

%else

Requires: sbcl

%endif

%description

PVS is a verification system: that is, a specification language

integrated with support tools and a theorem prover.  It is intended to

capture the state-of-the-art in mechanized formal methods and to be

sufficiently rugged that it can be used for significant applications.

This build of PVS must be invoked as "pvs-sbcl", both to distinguish it

from builds with other Common Lisp engines, and to distinguish it from

/usr/sbin/pvs in the lvm2 package.

%prep

%autosetup -n PVS -p1

# Upstream didn't give us a configure script

autoreconf -ivf

# Fix building the language documentation

ln -s ../makebnf.sty doc/language

# We know where perl lives

sed -i 's,/usr/bin/env perl,/usr/bin/perl,' provethem.in

# Adapt the release notes to texi2any

sed -i 's/\$(TEXI2HTML).*-nav/texi2any --html --no-number-sections/' \

    doc/release-notes/Makefile

# Insert our build flags

sed -i "/XCFLAGS/s|-O|%{optflags}|" src/{BDD,WS1S}/%{pvsarch}-Linux/Makefile

sed -i "/WFLAGS/s|-Wall|%{optflags}|" src/utils/%{pvsarch}-Linux/Makefile

sed -i "s|^LDFLAGS =.*|& $RPM_LD_FLAGS|" \

    src/{BDD,utils,WS1S}/%{pvsarch}-Linux/Makefile

# Make yices available where the build system expects it

mkdir -p yices/%{pvsarch}-Linux/yices-2.6/bin

cp -p %{_bindir}/yices yices/%{pvsarch}-Linux/yices-2.6/bin/yices

# Remove obsolete version control files

find . -name .cvsignore -delete

%build

# SBCL defaults to an external format of ASCII in mock builds, which breaks

# the build when PVS tries to read Unicode-encoded files.

export LC_ALL=C.UTF-8

%configure

# The runtime image is built from the sbcl executable.  Most ELF sections are

# simply copied.  This includes the .note.gnu.build-id section, which holds

# the executable build-id, leading to a conflict with the sbcl package.  We

# cannot alter the build-id after PVS is built, because PVS computes a checksum

# over its ELF image, which then fails to match.  So we copy the sbcl binary

# here, alter its build-id, then build PVS with the altered binary.

cp -p %{_bindir}/sbcl .

# The secion header is 16 bytes, so change at least one byte after that.

objcopy --dump-section .note.gnu.build-id=/tmp/build_id ./sbcl

byte=$(od -N 1 -t u -j 16 /tmp/build_id | \

       sed -n 's/^[[:alnum:]]*[[:blank:]]*\([[:digit:]]*\)/\1/p')

if [ $byte -eq 255 ]; then

  byte=0

else

  byte=$(( $byte + 1 ))

fi

printf $(printf '\\x%x' $byte) | \

  dd of=/tmp/build_id bs=1 seek=16 count=1 conv=notrunc

objcopy --update-section .note.gnu.build-id=/tmp/build_id ./sbcl

rm /tmp/build_id

# Build with the altered binary

make SBCLISP_HOME=$PWD

make SBCLISP_HOME=$PWD make-release-notes

# Mimic the effects of the relocate script for the build location

sed -i -e "s,^PVSPATH=.*$,PVSPATH=$PWD," pvs

sed -i -e "s,^PVSPATH=.*$,PVSPATH=$PWD," pvsio

sed -i -e "s,^PVSPATH=.*$,PVSPATH=$PWD," proveit

sed -i -e "s,^\$PVSPATH=.*$,\$PVSPATH=$PWD," provethem

# Run it once to force Lisp compilation of the native interfaces

./pvs -raw <<<'(sb-ext:exit :code 0 :abort t)'

# Get rid of some temporary files we no longer need

rm -f doc/release-notes/pvs-release-notes.{pg,ky,tp,fn,cp,vr}

# Build the documentation

make -C doc/api pvs-api.pdf

make -C doc/language language.pdf

make -C doc/prover prover.pdf

touch doc/user-guide/user-guide.ind

make -C doc/user-guide user-guide.pdf

# No sources for the prelude docs

cp -p %{SOURCE1} .

# Cannot be built: needs cslreport.cls

# pushd doc/interpretations

# pdflatex interpretations

# popd

cp -p %{SOURCE2} .

# Cannot be built: missing cslreport.cls

# make -C doc/semantics semantics.pdf

cp -p %{SOURCE3} .

# Cannot be built: missing /homes/rushby/tex/prelude

# make -C doc/datatypes datatypes.pdf

cp -p %{SOURCE4} .

# Mimic the effects of the relocate script for the installed location

sed -i -e "s,^PVSPATH=.*$,PVSPATH=%{_libdir}/pvs," pvs

sed -i -e "s,^PVSPATH=.*$,PVSPATH=%{_libdir}/pvs," pvsio

sed -i -e "s,^PVSPATH=.*$,PVSPATH=%{_libdir}/pvs," proveit

sed -i -e "s,^\$PVSPATH=.*$,\$PVSPATH=%{_libdir}/pvs," provethem

%install

mkdir -p %{buildroot}%{_bindir}

mkdir -p %{buildroot}%{_libdir}/pvs/doc/release-notes

mkdir -p %{buildroot}%{_datadir}/applications

mkdir -p %{buildroot}%{_texmf}/tex/latex/pvs

cp -a bin emacs lib pvs-tex.sub wish %{buildroot}%{_libdir}/pvs

cp -a doc/release-notes/pvs-release-notes.info %{buildroot}%{_libdir}/pvs/doc/release-notes

cp -a pvs.sty %{buildroot}%{_texmf}/tex/latex/pvs

cp -a pvs %{buildroot}%{_bindir}/pvs-sbcl

cp -a pvsio proveit provethem %{buildroot}%{_bindir}

# Install the desktop file

desktop-file-install --mode=644 --dir=%{buildroot}%{_datadir}/applications \

  %{SOURCE5}

# Adjust the sbcl and yices symlinks

rm %{buildroot}%{_libdir}/pvs/bin/%{pvsarch}-Linux/{runtime/sbcl,yices2}

ln -s %{_bindir}/yices %{buildroot}%{_libdir}/pvs/bin/%{pvsarch}-Linux/yices2

ln -s %{_bindir}/sbcl %{buildroot}%{_libdir}/pvs/bin/%{pvsarch}-Linux/runtime/sbcl

# Remove a hidden make marker

rm %{buildroot}%{_libdir}/pvs/emacs/.readme

%files

%doc *.ps.gz *.pdf README.md Examples doc/*.pdf

%doc doc/api/pvs-api.pdf doc/language/language.pdf

%doc doc/prover/prover.pdf doc/release-notes/pvs-release-notes.pdf

%doc doc/user-guide/user-guide.pdf

%license LICENSE NOTICES

%{_bindir}/proveit

%{_bindir}/provethem

%{_bindir}/pvsio

%{_bindir}/pvs-sbcl

%{_libdir}/pvs/

%{_datadir}/applications/*.desktop

%{_texmf}/tex/latex/pvs/

%changelog

* Fri Feb 28 2020 Jerry James <loganjerry@gmail.com> - 7.0-1.20200218.a1f7148

- Rebuild for sbcl 2.0.1 (bz 1807476)

- Update to latest git snapshot for bug fixes

* Tue Feb  4 2020 Jerry James <loganjerry@gmail.com> - 7.0-1.20200129.b517ae2

- Update to latest git snapshot

- Drop upstream patches: -chmod, -emacs26, -hashfn, -makeindex,

  -remove-backslashes, -unicode

- Add patches to fix documentation: -language-manual, -texi, -user-guide

- Add -fno-common patch to fix FTBFS with GCC 10

- Drop XEmacs support

* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-65

- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

* Fri Aug  2 2019 Jerry James <loganjerry@gmail.com> - 6.0-64

- rebuild (sbcl)

* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-63

- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

* Tue May 14 2019 Jerry James <loganjerry@gmail.com> - 6.0-62

- rebuild (sbcl)

* Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-61

- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

* Wed Jan 02 2019 Rex Dieter <rdieter@fedoraproject.org> - 6.0-60

- rebuild (sbcl)

* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-59

- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

* Fri Apr 06 2018 Rex Dieter <rdieter@fedoraproject.org> - 6.0-58

- rebuild (sbcl)

* Tue Feb 13 2018 Jerry James <loganjerry@gmail.com> - 6.0-57

- Bump and rebuild for sbcl dependency

* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-56

- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

* Fri Dec 01 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-55

- rebuild (sbcl)

* Fri Oct 20 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-54

- rebuild (sbcl)

* Wed Oct 18 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-53

- rebuild (sbcl)

* Fri Sep 22 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-52

- rebuild (sbcl)

* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-51

- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild

* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-50

- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

* Thu Jun 29 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-49

- rebuild (sbcl)

* Sun Jun 11 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-48

- rebuild (sbcl)

* Thu Jun 01 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-47

- rebuild (sbcl)

* Thu Mar 30 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-46

- rebuild (sbcl)

* Mon Mar 27 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-45

- rebuild (sbcl)

* Wed Feb 22 2017 Jerry James <loganjerry@gmail.com> - 6.0-44

- rebuild (sbcl)

- Drop workaround for bz 1268054, now fixed

* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-43

- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild

* Sun Dec 18 2016 Rex Dieter <rdieter@fedoraproject.org> - 6.0-42

- rebuild (sbcl)

* Wed Nov 30 2016 Jerry James <loganjerry@gmail.com> - 6.0-41

- rebuild (sbcl)

- Drop obsolete scriptlets

* Tue Aug 30 2016 Rex Dieter <rdieter@fedoraproject.org> - 6.0-40

- rebuild (sbcl)

* Fri Apr 29 2016 Rex Dieter <rdieter@fedoraproject.org> - 6.0-39

- rebuild (sbcl)

* Mon Apr 04 2016 Rex Dieter <rdieter@fedoraproject.org> - 6.0-38

- rebuild (sbcl)

* Mon Mar 28 2016 Jerry James <loganjerry@gmail.com> - 6.0-37

- rebuild (mona)

* Mon Mar 07 2016 Rex Dieter <rdieter@fedoraproject.org> 6.0-36

- rebuild (sbcl)

* Sat Mar 05 2016 Rex Dieter <rdieter@fedoraproject.org> 6.0-35

- rebuild (sbcl)

* Wed Feb 10 2016 Jerry James <loganjerry@gmail.com> - 6.0-34

- rebuild (sbcl)

* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-33

- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

* Mon Feb 01 2016 Rex Dieter <rdieter@fedoraproject.org> 6.0-32

- rebuild (sbcl)

* Wed Nov 11 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-31

- rebuild (sbcl)

* Thu Oct 01 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-30

- rebuild (sbcl)

- workaround botched texlive.macros (#1268054)

* Mon Sep 14 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-29

- rebuild (sbcl)

* Mon Jun 22 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-28

- rebuild (sbcl)

* Mon Jun 22 2015 Jerry James <loganjerry@gmail.com> - 6.0-27

- Use license macro

- Build an index for the user guide

* Thu Jun 18 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-26

- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

* Thu Apr 30 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-25

- rebuild (sbcl)

* Fri Feb 13 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-24

- rebuild (sbcl)

* Sat Jan 03 2015 Rex Dieter <rdieter@fedoraproject.org> 6.0-23

- rebuild (sbcl)

* Wed Dec 17 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-22

- rebuild (sbcl)

* Thu Oct  9 2014 Jerry James <loganjerry@gmail.com> - 6.0-21

- Build documentation with texi2any instead of texi2html (bz 1151213)

* Thu Oct 09 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-21

- rebuild (sbcl)

* Thu Aug 21 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-20

- rebuild (sbcl)

* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-19

- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

* Sat Jun 28 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-18

- rebuild (sbcl)

* Thu Jun 12 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-17

- rebuild (sbcl)

* Tue Jun 10 2014 Jerry James <loganjerry@gmail.com> - 6.0-16

- rebuild (sbcl)

* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-15

- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

* Wed May 14 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-14

- rebuild (sbcl)

* Mon Mar 10 2014 Jerry James <loganjerry@gmail.com> - 6.0-13

- Add pvs-remove-backslashes.patch to fix the build with SBCL 1.1.16

* Fri Mar 07 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-13

- rebuild (sbcl)

* Wed Jan 29 2014 Rex Dieter <rdieter@fedoraproject.org> 6.0-12

- rebuild (sbcl)

* Tue Dec 03 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-11

- rebuild (sbcl)

* Mon Nov 04 2013 Jerry James <loganjerry@gmail.com> - 6.0-10

- Update -fedora patch to fix ASDF failure (bz 1026454)

* Mon Nov 04 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-10

- rebuild (sbcl)

* Mon Sep 30 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-9

- rebuild (sbcl)

* Sun Sep 08 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-8

- rebuild (sbcl)

* Mon Aug 05 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-7

- rebuild (sbcl)

* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-6

- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

* Wed Jul 17 2013 Petr Pisar <ppisar@redhat.com> - 6.0-5

- Perl 5.18 rebuild

* Sun Jun 02 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-4

- rebuild (sbcl)

* Mon Apr 29 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-3

- rebuild (sbcl)

* Tue Feb 26 2013 Rex Dieter <rdieter@fedoraproject.org> 6.0-2

- rebuild (sbcl)

* Thu Feb 21 2013 Jerry James <loganjerry@gmail.com> - 6.0-1

- New upstream release

- Drop unnecessary emacs patch

- Define LANG while building and add -unicode patch to get Unicode support

- Add the -siglongjmp patch to fix a build failure

* Wed Feb 20 2013 Rex Dieter <rdieter@fedoraproject.org> 5.0-20

- rebuild (sbcl)

* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.0-19

- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

* Wed Jan 09 2013 Rex Dieter <rdieter@fedoraproject.org> 5.0-18

- rebuild (sbcl)

* Tue Dec 11 2012 Jerry James <loganjerry@gmail.com> - 5.0-17

- Alternate fix for the index problem

- Distribute the user guide

* Sat Dec 08 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-16

- rebuild (sbcl)

* Fri Nov 02 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-15

- rebuild (sbcl)

* Sat Oct 27 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-14

- rebuild (sbcl)

* Tue Aug 07 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-13

- rebuild (sbcl)

* Mon Jul 23 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-12

- rebuild (sbcl)

* Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.0-11

- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

* Tue May 29 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-10

- rebuild (sbcl)

* Thu Apr 12 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-9

- rebuild (sbcl)

* Thu Apr 05 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-8

- rebuild (sbcl)

* Wed Jan 18 2012 Jerry James <loganjerry@gmail.com> - 5.0-7

- rebuild (sbcl)

- Adapt to new fixnum size

- Fix the (chmod) function

- Adapt to Emacs 24

- Minor spec file cleanups

* Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.0-6

- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild

* Tue Dec  6 2011 Jerry James <loganjerry@gmail.com> - 5.0-5

- Fix building on non-Intel architectures

* Mon Nov 07 2011 Rex Dieter <rdieter@fedoraproject.org> 5.0-4

- rebuild (sbcl)

* Sat Oct 15 2011 Rex Dieter <rdieter@fedoraproject.org> 5.0-3

- rebuild (sbcl)

* Mon Aug 22 2011 Rex Dieter <rdieter@fedoraproject.org> 5.0-2

- fix %%sbcl_vr macro usage

* Sat Apr 16 2011 Jerry James <loganjerry@gmail.com> - 5.0-1

- New upstream release

* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.2-12.20100126svn

- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

* Wed Dec  8 2010 Jerry James <loganjerry@gmail.com> - 4.2-11.20100126svn

- Update patches for new SBCL

* Thu Sep 30 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-10.20100126svn

- rebuild (sbcl)

* Wed Sep 29 2010 jkeating - 4.2-9.20100126svn

- Rebuilt for gcc bug 634757

* Sat Sep 18 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-8.20100126svn

- rebuild (sbcl)

* Mon Aug 16 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-7.20100126svn

- rebuild (sbcl)

* Sat Jul 17 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-6.20100126svn

- rebuild (sbcl)

* Sat May 08 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-5.20100126svn

- rebuild (sbcl)

* Sat Apr 10 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-4.20100126svn

- rebuild (sbcl)

* Mon Feb 01 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-3.20100126svn

- rebuild (sbcl)

- drop Requires(post): desktop-file-utils (not needed)

* Fri Jan 29 2010 Jerry James <loganjerry@gmail.com> - 4.2-2.20100126svn

- Update to 20100126 snapshot

- Fix several Emacs bugs, including bz 553023

* Mon Jan  4 2010 Jerry James <loganjerry@gmail.com> - 4.2-2.20100104svn

- Update to 20100104 snapshot.

- Fix mona patch.

- Dump a non-executable SBCL image to avoid prelink and strip issues.

- Solve the build-time hang in (X)Emacs.

* Tue Dec 22 2009 Jerry James <loganjerry@gmail.com> - 4.2-2.20091008svn

- Attempt to solve build-time hang in (X)Emacs.

- Don't fail if sbcl has not been prelinked.

* Mon Dec 21 2009 Jerry James <loganjerry@gmail.com> - 4.2-1.20091008svn

- Initial RPM