Hi there.
currently debian does not provide all dependencies required to compile
the sage python modules or lib_c, i would like to start with a build
system for sage ("the distribution") and postpone the other parts a bit.
that build system is supposed to allow the user disable the build of
specific packages/modules or (later) compute a minimal set of required
packages, depending on what the host OS provides. for now i just need
the "disable" part. and some design decisions.
one package contains the sage python library (lets call it lib), which
is included within the git repo. other than the foreign packages within
build/pkgs, lib does not technically require a sage-install script to
wrap the installer. on the other hand, i'm going to implement a build
system for lib, so it can be installed with just "./configure; make
install".
so i need to choose one of
[1] sage ("the distribution") installs *all* packages by calling
./configure; make install; i.e. i have to add a (dummy?) configure
and wrapper Makefile to every directory within build/pkgs. this will
simplify sage ("the distribution") a bit, but is more work and more
flexibility on the package side.
[2] sage ("the distribution") handles two types of modules/packages.
foreigns will be installed using spkg-install, lib will be installed
using the corresponding build system directly.
[3] a wrapper script called "sage-install" is used to install lib, so all
packages will have the same interface again (but no flexibility).
[4] something completely different i am not aware of.
actually, for the moment, just [1] and [2] look sane to me, i'd prefer
[2], as long as spkg-install fits all needs (does it?).
regards
felix
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
