RELEASE on March, 1st !!!
duchier at ps.uni-sb.de
duchier at ps.uni-sb.de
Tue Feb 10 17:20:46 CET 2004
"Christian Schulte" <schulte at imit.kth.se> writes:
> Packaging of the linux tarballs: the very idea of having these beasts is to
> link as much in statically as possible so as to have them a safe fallback
> whenever other packages such as rpms get you in trouble. I noticed, though,
> that in the version for 1.2.5 tk.exe is dynamically linked against a great
> stuff of things: in practice this meant for my students (using Mozart in a
> Constraint Programming Course here at KTH) this package was a no-go and they
> had to revert to 1.2.3. (We didn't try 1.2.4)
ahem... you did not report this problem :-)
My thinking was as follows: binary tarballs are just one type of
medium - static vs dynamic linking is a different dimension; a binary
tarball could be either. The only binary tarball for 1.2.5 is clearly
labeled for redhat 8.0 i386. Which, in principle, ought to mean that
you can drop it in a rh 8.0 installation. The dynamic dependencies
are clearly listed in the README file. What tarballs can be provided
is then more of a manpower issue (you may argue that I picked the
wrong kind to build by default, but it was the simpler one to
provide). Of course, when creating statically linked distros, the
main question is: just how much can we link in statically / how much
do we want to. Let's make sure that there is a simple configuration
option that actually does the job correctly (i.e. including for tk,
which, unless I am mistaken, hasn't been the case in a very long
while).
Cheers,
--
Denys Duchier - Équipe Calligramme - LORIA, Nancy, France
More information about the mozart-hackers
mailing list