Changeset 75f460 in git for doc/Building-Singular-from-source.md

Timestamp:

Dec 16, 2014, 3:43:21 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd735977bc4c759f0ed30bd5cdc57a5b212075497')

Children:

fce947c9e6c3e8c6d5a622c7f6b0d724580993cc

Parents:

a2e4470c6e9a666de8ab7b706370c15e13092f76

Message:

format

File:

• doc/Building-Singular-from-source.md (modified) (5 diffs)

doc/Building-Singular-from-source.md

@@ -1 +1 @@
 Building Singular from Sources {#build_sources_page}
-============================== 
+==============================
 
-These are the generic installation instructions for experts, see 
+These are the generic installation instructions for experts, see
 
-[Step by Step Installation Instructions for Singular](Step by Step Installation Instructions for Singular) 
+[Step by Step Installation Instructions for Singular](Step by Step Installation Instructions for Singular)
 
 for step by step instructions.
@@ -10 +10 @@
 # Build the development branch of Singular as follows:
 
-1. as prerequisite autotools (>=2.62), [gmp](http://ftp.gnu.org/gnu/gmp/) (>= 4.2), are needed, furthermore we recommend to use [NTL](http://www.shoup.net/ntl/) (>= 5.0) configured with NTL_GMP_LIP=on (for further details see [NTL Documentation](http://www.shoup.net/ntl/doc/tour-gmp.html)), [FLINT](http://www.flintlib.org/) (>=2.4) which depends on [MPFR](http://www.mpfr.org/mpfr-current/) (>=3.0.0)  , and readline 
+1. as prerequisite autotools (>=2.62), [gmp](http://ftp.gnu.org/gnu/gmp/) (>= 4.2), are needed, furthermore we recommend to use [NTL](http://www.shoup.net/ntl/) (>= 5.0) configured with NTL_GMP_LIP=on (for further details see [NTL Documentation](http://www.shoup.net/ntl/doc/tour-gmp.html)), [FLINT](http://www.flintlib.org/) (>=2.4) which depends on [MPFR](http://www.mpfr.org/mpfr-current/) (>=3.0.0)  , and readline
 2. get the sources with `git clone -b spielwiese git://github.com/Singular/Sources.git <directory_name>`
 3. run `<abs_directory_name_from_above>/autogen.sh` (formerly known as `for_Hans_with_love.sh`) from the root directory
 4. create and switch to your temporary build directory. Do not build Singular in the source folder itself!
 5. run `<abs_directory_name_from_above>/configure --prefix=<destination path>` (builds release version)
-6. `make` (or `make -jN` where N is the number of the your CPU cores + 1) 
+6. `make` (or `make -jN` where N is the number of the your CPU cores + 1)
 7. `make -jN check` (where N is as above) will build and run simple unit-tests for most units (optional but encouraged)
 8. `make install`
@@ -39 +39 @@
 Note: modules are not required to be static...
 
-## Debug version of Singular 
+## Debug version of Singular
 
 * use the following configure arguments: `--enable-debug --disable-optimizationflags`
@@ -60 +60 @@
 # Coverage testing with `lcov` (thanks to Jakob Kroeker)
 
-1. make sure that `gcov` is present and install a recent lcov (>= 1.10) 
+1. make sure that `gcov` is present and install a recent lcov (>= 1.10)
 2. configure and build `Spielwiese` (IN SOURCE TREE!) together with the following FLAGS:
 ```
-LDFLAGS+="-lgcov" 
+LDFLAGS+="-lgcov"
 CFLAGS+="-fprofile-arcs -ftest-coverage -g"
 CXXFLAGS+="-fprofile-arcs -ftest-coverage -g"
@@ -71 +71 @@
 5. collect coverage data into `coverage.cov` with `lcov -c -d . -o coverage.cov`
 6. optionally remove unnecessary directories: `lcov -r coverage.cov '/usr/include/ *' > coverage2.cov`
-7. generate HTML overview pages under `GenHtmlDir/` with `genhtml -o GenHtmlDir coverage.cov` 
+7. 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) 
+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:
 * [Lines: 65.6 %, Functions: 58.5 %](http://www.mathematik.uni-kl.de/~motsak/lcov/)