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

Timestamp:

Jun 25, 2020, 4:34:39 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

03c74248d7037dfb2bedf7c2fa4b550676cb7333

Parents:

19f6b5f3300aae7e89c967ecedfed08c1e3704ea

Message:

renamed repo: Sources ->Singular

File:

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

doc/Building-Singular-from-source.md

@@ -11 +11 @@
 
 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>`
+2. get the sources with `git clone -b spielwiese git://github.com/Singular/Singular.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!
@@ -52 +52 @@
 # Build the old ```master``` Singular as follows:
 
-1. get the sources with `git clone -b trunk git://github.com/Singular2/Sources.git <directory_name>`
+1. get the sources with `git clone -b trunk git://github.com/Singular/Singular.git <directory_name>`
 2. `cd <directory_name_from_above>`
 3. run `./configure` from the root directory