My Project
|
These are the generic installation instructions for experts, see
[Step by Step Installation Instructions for Singular](Step by Step Installation Instructions for Singular)
for step by step instructions.
git clone -b spielwiese git://github.com/Singular/Singular.git <directory_name>
<abs_directory_name_from_above>/autogen.sh
(formerly known as for_Hans_with_love.sh
) from the root directory<abs_directory_name_from_above>/configure --prefix=<destination path>
(builds release version)make
(or make -jN
where N is the number of the your CPU cores + 1)make -jN check
(where N is as above) will build and run simple unit-tests for most units (optional but encouraged)make install
make distcheck
--with-readline=static
(embed readline)--disable-shared --enable-static --without-pic
(totally disable dynamic linkage)--enable-p-procs-static --disable-p-procs-dynamic
(builds-in the the generated p_Procs functions)Moreover modules may be built-in as follows:
--with-builtinmodules=A,M,...
means that the listed modules are to be built-in. Possible internal built-ins are:syzextra
(default if no modules were listed)gfanlib
, polymake
, pyobject
, singmathic
(optional)staticdemo
, bigintm
(demos) Note that if you want to built-in an extra module,m say M
you will have to do the following:M
, generate a valid M.la
file and place them in $BUILTDIR/Singular/dyn_modules/M/
BUILTIN_LIBS=LD_FLAGS_FOR_EMBEDDING_M
--with-builtinmodules=...,M,...
extern "C" int SI_MOD_INIT0(M)(SModulFunctions*)
but no mod_init
symbols!Note: modules are not required to be static...
--enable-debug --disable-optimizationflags
cd Tst/
ln -s <abs_destination path>/bin/Singular
./regress.cmd something.{lst,tst}
, where .lst files are just lists of tests, which are .tst filesgit clone -b trunk git://github.com/Singular/Singular.git <directory_name>
cd <directory_name_from_above>
./configure
from the root directorymake install
(or make -jN install
, where N as above), and yes it should really be install
!gcov
is present and install a recent lcov (>= 1.10)Spielwiese
(IN SOURCE TREE!) together with the following FLAGS: lcov -z -d .
Tst/regress.cmd -s Singular/Singular Tst/Short.lst
)coverage.cov
with lcov -c -d . -o coverage.cov
generate HTML overview pages under
GenHtmlDir/with
genhtml -o GenHtmlDir coverage.cov`For instance, a recent test coverage for Singular (static 64-bit build with optimization, gfanlib, pyobjects, countedref using NTL, MPIR (as GMP), FLINT, readline, git id: e86e21bd*, on Linux, with GCC 4.8.2_20131219) on our testsuite (with _~2420 tests) and unittests is: