login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for FriCASPreGenerated revision 3 of 3

1 2 3
Editor: test1
Time: 2020/03/16 14:56:15 GMT+0
Note:

changed:
-The FriCAS build system comes with a new make target "dist" which
In the source tree there is scrit 'src/scripts/mkdist.sh'.  This
script is used to make releases.  Normal use is

  path_to/mkdist.sh --copy-lisp --copy-phts --copy_help=path_to_help

where 'path_to/mkdist.sh' is full pathname of the script, 'path_to_help'
is path to directory containing help files (they are _not_ generated
by build process).  The script should be invoked in build directory
after out-of-source build.  It creates 'dist' subdirectory which
contains (tree of) files that should go into distribution tarball. 

Other options can be used to generate variants, where some but
not all parts are pregenerated.

Alternatively, FriCAS build system comes with a new make target "dist" which

changed:
-location for the NOWEB tarball as well as the directory of
location for the directory of

changed:
-  make NOWEB=/path/to/noweb.tar.bz2 helpsrcdir=/path/to/spadhelp dist
-
-The generated tarball will contain a "zips" subdirectory with the noweb
-tarball and a "pre-generated" subdirectory with all the
  make helpsrcdir=/path/to/spadhelp dist

The generated tarball will contain a "pre-generated" subdirectory with all the

This is a description of how to generate and how to use the new
'pre-generated' system.

How to generate
---------------

In the source tree there is scrit 'src/scripts/mkdist.sh'.  This
script is used to make releases.  Normal use is

  path_to/mkdist.sh --copy-lisp --copy-phts --copy_help=path_to_help

where 'path_to/mkdist.sh' is full pathname of the script, 'path_to_help'
is path to directory containing help files (they are _not_ generated
by build process).  The script should be invoked in build directory
after out-of-source build.  It creates 'dist' subdirectory which
contains (tree of) files that should go into distribution tarball. 

Other options can be used to generate variants, where some but
not all parts are pregenerated.

Alternatively, FriCAS build system comes with a new make target "dist" which
creates a full source tarball together with pre-generated
machine-independent data that speed up the build process.

The command "make dist" has to be executed in an out-of-source build
after completion of a full successful build. Furthermore, the source
tree must be a clean checkout from the repository (SVN or GIT), since
all files in this tree will be copied into the distribution.

It creates a file fricas-VERSION.tar.bz2 where VERSION corresponds
to the second argument of AC_INIT in configure.ac.

Currently, one cannot simply call "make dist", but must provide a
location for the directory of
(not-yet-generated) .help files. The typical invocation is thus:

  make helpsrcdir=/path/to/spadhelp dist

The generated tarball will contain a "pre-generated" subdirectory with all the
machine-independent pre-generated files.

How to use
----------

FriCAS can be configured to used machine-independent files from an
earlier compilation.

In short, the Makefile variable PREGENERATED must either be empty
(then no pre-generated data is used) or contain the absolute path of
the directory of pre-generated data.

There are several ways to let the FriCAS build system know about where
the pre-generated data is located. In each case the build system
assumes that the provided data is sane and does not explicitly check.

1) If there is a subdirectory "pre-generated" inside the FriCAS source
   tree, then configure will automatically set PREGENERATED to point
   to this directory.
2) If configure is called with
   --with-pre-generated=/absolute/path/to/pre-generated, then
   PREGENERATED is set  to /absolute/path/to/pre-generated.
3) One can call make like
     make PREGENERATED=/absolute/path/to/pre-generated
   which does the obvious thing.