rpms/logiweb/F-13 import.log, NONE, 1.1 logiweb.spec, NONE, 1.1 .cvsignore, 1.1, 1.2 sources, 1.1, 1.2
Klaus Grue
grue at fedoraproject.org
Thu Apr 15 12:27:00 UTC 2010
Author: grue
Update of /cvs/pkgs/rpms/logiweb/F-13
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv16706/F-13
Modified Files:
.cvsignore sources
Added Files:
import.log logiweb.spec
Log Message:
* Thu Apr 15 2010 Klaus Grue <grue at diku.dk> 0.2.8-10
- Import logiweb into F-13
--- NEW FILE import.log ---
logiweb-0_2_8-10_fc11:F-13:logiweb-0.2.8-10.fc11.src.rpm:1271333135
--- NEW FILE logiweb.spec ---
Summary: A system for electronic distribution of mathematics
Name: logiweb
Version: 0.2.8
Release: 10%{?dist}
License: GPLv2+
Group: Development/Languages
Source0: http://logiweb.eu/0.2/%{version}/download/%{name}-%{version}.tar.bz2
#Patch: rpmpatch
Buildroot: %(mktemp -ud %{_tmppath}/%{name}-%{version}-%{release}-XXXXXX)
Requires: tex(latex), dvipdfm
BuildRequires: clisp, vim-common, tex(latex), dvipdfm
Url: http://logiweb.eu/
ExcludeArch: ppc64
# ppc64 excluded because clisp is not available on ppc64
%description
Logiweb allows to web publish 'Logiweb pages', i.e.
journal quality articles which contain machine readable objects
like programs, testsuites, definitions, axioms, lemmas, and
proofs. Among other, Logiweb is suited for literate programming,
for publication of machine verified proofs, and for writing
proof checkers. Logiweb allows Logiweb pages to reference
previously published Logiweb pages such that programs on a page
may call programs on referenced pages, proofs on a page may
reference lemmas on referenced pages, and so on.
%prep
%setup -q
%build
# Compilation of lgwam.c may be slow and memory consuming, c.f.
# http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37448
# Using CFLAGS=optflags makes things worse and is like asking
# for trouble. But compilation has succeeded on a 4GB machine.
rm -f src/pages.c
ulimit -s unlimited
make CFLAGS="%{optflags}"
%install
rm -rf %{buildroot}
make \
DESTDIR=%{buildroot} \
BINDIR=%{buildroot}%{_bindir} \
MANDIR=%{buildroot}%{_mandir} \
DOCDIR=%{buildroot}%{_docdir}/%{name} \
install
%clean
rm -rf %{buildroot}
%files
%defattr(-,root,root,-)
%doc README COPYING CHANGELOG TODO
# lgwam is invoked using #!/usr/bin/lgwam, so its path is hardcoded
/usr/bin/lgwam
%{_bindir}/lgc
%{_mandir}/man1/lgc.1.gz
%{_mandir}/man1/lgwam.1.gz
%{_mandir}/man5/lgc.5.gz
%{_mandir}/man5/lgc.conf.5.gz
%{_mandir}/man5/logiweb.5.gz
%{_mandir}/man7/logiweb.7.gz
%{_docdir}/%{name}/
%changelog
* Thu Mar 25 2010 Klaus Grue <grue at diku.dk> 0.2.8-10
- In present rpmspec: Changed to tex(latex) in Requires and BuildRequires
* Fri Mar 19 2010 Klaus Grue <grue at diku.dk> 0.2.8-9
- In present rpmspec: Added "ExcludeArch: ppc64"
- In present rpmspec: Claimed ownership of %%{_docdir}/%%{name}/
- Removed execute permission for src/testsuite/pages/compile.sh
- Changed to '/bin/bash compile.sh' in src/testsuite/pages/makefile
* Mon Mar 15 2010 Klaus Grue <grue at diku.dk> 0.2.8-8
- In makefile: Removed 'ulimit -s unlimited'
- In src/boot/lgc/makefile: Removed 'ulimit -s unlimited'
- In present rpmspec: Added 'ulimit -s unlimited' to %%build
- Recognize optimized constructs by name when fingerprints are absent:
- In src/boot/lgc/optimize.lisp: Let *opti* default to :undefined
- In src/boot/lgc/codify.lisp: Use *opti2* when *opti* equals :undefined
- Replace src/boot/lgc/fingerprint.lisp by empty file
* Fri Mar 12 2010 Klaus Grue <grue at diku.dk> 0.2.8-7
- Undid changes back to 0.2.8-4
- In makefile: Added 'ulimit -s unlimited' two places
- In makefile: Added rpmtest4 target for testing i386 build
- In lgwam.c: PRINTGC in lgwam.c set back to FALSE
- In lgwam.c: Printing pointer sized when PRINTGC is TRUE (c.f. 0.2.8-5)
* Mon Feb 22 2010 Klaus Grue <grue at diku.dk> 0.2.8-6
- Now it is configurable whether normal output goes to stdout or stderr
- Increased verbosity of lgc to '-v 4' in SELFARG in makefile
* Sun Feb 21 2010 Klaus Grue <grue at diku.dk> 0.2.8-5
- Now printing pointer sized when PRINTGC is TRUE
- Now all output PRINTGC output goes to stderr
* Sat Feb 20 2010 Klaus Grue <grue at diku.dk> 0.2.8-4
- Computation of amount of physical RAM has been corrected
- Changed 'Heap too small' message to 'Ran out of physical RAM'
* Thu Feb 18 2010 Klaus Grue <grue at diku.dk> 0.2.8-3
- Rebuild of 0.2.8-2 to get ulimit right
- PRINTGC in lgwam.c has be set to TRUE to get debugging information
* Wed Feb 17 2010 Klaus Grue <grue at diku.dk> 0.2.8-2
- Thanks to Mamoru Tasaka, Fedora, for patience and help building on Koji
- In src/boot/lgc/makefile: Set ulimit
- Present rpmspec now BuildRequires vim-common, texlive-latex, and dvipdfm
* Mon Feb 08 2010 Klaus Grue <grue at diku.dk> 0.2.8-1
- To allow Fedora build, main.lisp no longer configures *terminal-io*
* Fri Feb 05 2010 Klaus Grue <grue at diku.dk> 0.2.7-1
- Updated src/dist/cygwin/README
- Updated src/dist/cygwin/setup.exe
- Removed obsolete documentation in lgc/src/dist/
- Removed handling of obsolete documentation in lgc/makefile
- Changed year 2009 to 2010 in copyright notice in lgc/src/lgc.lgs
- Added info on DESTDIR in README and makefile
- Added src/boot/ for generating pages.c from scratch
- Added 'BuildRequires: clisp' to this rpmspec
- Changed 'make %%{?_smp_mflags}' to 'make' in this rpmspec
- Added 'rm -f src/pages.c' to %%build in this rpmspec
- Removed '---' in 'Cannot parse beyond this point' error message
* Tue Jan 05 2010 Klaus Grue <grue at diku.dk> 0.2.6-1
- Repaired date of changelog entry 0.2.5
- Did backport. Version 0.1.10 is a backport of Version 0.2.6
- In base.lgs: Made header charge monotonic to allow backport
- In lgc.lgs: Changed eager to late define to avoid warning in backport
- In man.5: Corrected two urls
- In makefile: Changed '--exclude dist' to '--exclude ${DIR}/dist' two places
* Sat Dec 05 2009 Klaus Grue <grue at diku.dk> 0.2.5-1
- Moved some standard constructs from lgc.lgs to base.lgs
- Added makefile to /usr/share/doc/logiweb/examples/
- In lgwam.c: Introduced reduced size default testsuite
- In lgc.lgs: ""D may now occur in body (but still not in string)
- In lgc.lgs: Removed redundant 'fetch' messages at verbosity level 3
- In lgc.lgs: Changed 'unpack' to 'trisect' and 'structure' to'unpack'
- In lgc.lgs: Bugfix: Verifier now accepts pages with no definitions
- In base.lgs: page...end page no longer macro expands charge definitions
- In check.lgs:Corrected Curry and uncurry unitacs
* Sun Oct 04 2009 Klaus Grue <grue at diku.dk> 0.2.4-1
- In makefile: rpm target now copies logiweb.spec to dist/yum
- In lgc.lgs: corrected chargedef generation in page ( " , " ) ... end page
- In base.lgs: enhanced error message layout
* Sun Sep 20 2009 Klaus Grue <grue at diku.dk> 0.2.3-1
- Thanks to Fabian Affolter, Fedora
- In rpmspec: Added %%{?dist} macro to Release field
- In rpmspec: Changed License field from GPLv2 to GPLv2+
- In rpmspec: Corrected value of Source field
- In rpmspec: Renamed Source field to Source0
- In rpmspec: Changed BuildRoot field to recommended value
- In rpmspec: Added %%{?_smp_mflags} macro in build section
- In makefile: Added CFLAGS variable
- In rpmspec: Transferred %%{optflags} to CFLAGS in build section
- In lgwam.c: Got rid of 140 warnings from -Wall in %%{optflags}
- In rpmspec: Used macros in file section
- In rpmspec: Changed examples/* to examples/ in file section
- In rpmspec: Changed $${RPM_BUILD_ROOT} to %%{buildroot}
- In rpmspec: Changed defattr(-,root,root) to defattr(-,root,root,-)
- In makefile: Made install target preserve timestamps
- In rpmspec: Transferred values to BINDIR, MANDIR, and DOCDIR
- In makefile: Install now copies logiweb.* and version to /usr/share/...
- In makefile: Changed $${RPM10} to $${RPM10}* to cope with %%{?dist}
- In makefile: Added /usr/share/doc/logiweb/examples to cygwin package
- In makefile: Added rpmtest3 target which exercises mock
* Tue Sep 15 2009 Klaus Grue <grue at diku.dk> 0.2.2-1
- Added rpmtest1 and rpmtest2 make targets
- Modified rpm make target to make rpmlint happy
- Added SIGSEGV handling
* Wed Sep 2 2009 Klaus Grue <grue at diku.dk> 0.2.1-1
- Modified make targets for generating Debian packages
* Wed Aug 26 2009 Klaus Grue <grue at diku.dk> 0.2.0-1
- Ported from clisp to C
- Modified Logiweb source language
Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/logiweb/F-13/.cvsignore,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- .cvsignore 14 Apr 2010 21:54:06 -0000 1.1
+++ .cvsignore 15 Apr 2010 12:27:00 -0000 1.2
@@ -0,0 +1 @@
+logiweb-0.2.8.tar.bz2
Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/logiweb/F-13/sources,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- sources 14 Apr 2010 21:54:06 -0000 1.1
+++ sources 15 Apr 2010 12:27:00 -0000 1.2
@@ -0,0 +1 @@
+8f9044c6a6018e8f3675c3d429caa689 logiweb-0.2.8.tar.bz2
More information about the scm-commits
mailing list