[Bug 523715] Review Request: logiweb - a system for electronic distribution of mathematics

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=523715

--- Comment #12 from Klaus Grue <grue at diku.dk> 2010-01-17 08:53:49 EST ---
> So it means that compiling logiweb needs bootstrapping?

Yes. Here is the procedure for bootstrapping:

mkdir ~/foo
cd ~/foo
Download logiweb-0.1.10.tar.gz
tar zxf logiweb-0.1.10.tar.gz
cd logiweb-0.1.10/
make build

The 'make build' target first compiles the lgc compiler using
CLISP and then makes the lgc compiler compile itself.
Furthermore, 'make build' generates a complete Version 0.2.6
with changelogs and everything. The result of 'make build'
is in ~/foo/logiweb-0.1.10/lgc/build/self. 'make build' takes
15 minutes on my 3GHz machine. Ignore the
  diff: ../lgc: No such file or directory
error message at the end of 'make build'. Running 'make build'
includes running a testsuite. Running that testsuite could
be omitted, reducing the run time to about 10 minutes.

Here is the procedure for verifying that Version 0.2.6 is
what it claims to be:

cd ~/foo
Download logiweb-0.2.6.tar.gz
tar zxf logiweb-0.2.6.tar.gz
diff -r logiweb-0.1.10/lgc/build/self/ logiweb-0.2.6/

The output from diff shall be empty.

> If so, please do bootstrap during rpmbuild.

Does that mean that you prefer rpmbuild to run 'make build'
of logiweb-0.1.10 instead of the present solution which
uses a pre-built pages.c ?

I made Logiweb-0.2.x to become independent of CLISP so that
it became easier to port Logiweb to other platforms. And it
was my hope that the procedure above for verifying that
Version 0.2.6 is what it claims to be would allow to
include the pre-built pages.c in the source RPM rather than
including the whole collection of CLISP sources.

But it is of course not up to me to decide what Fedora prefers.
If you want, I can make a new version in which CLISP is included
in the build requirements and in which the source RPM contains
no pre-built binaries like pages.c.

> When you enable bootstrap in the spec file, I can ask spot
> if your method is acceptable on Fedora.

Thanks. Just to be sure, is it correct that
spot=Tom 'spot' Callaway or is spot some Fedora committee?

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.