diff --git a/PackageInfo.g b/PackageInfo.g index e92f4cc..85a814c 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CddInterface", Subtitle := "Gap interface to Cdd package", -Version := "2020.05.22", +Version := "2020.05.23", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ), License := "GPL-2.0-or-later", diff --git a/README.md b/README.md index 488aa9e..f69f395 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ The GAP 4 package `CddInterface' # Version -Current version: 2020.05.22 +Current version: 2020.05.23 # Why CddInterface @@ -27,7 +27,7 @@ You also need the package `libgmp-dev`: sudo apt-get install libgmp-dev -Moreover, you need the package `libtool`: +Moreover, you may need the package `libtool`: sudo apt-get install libtool @@ -35,17 +35,17 @@ Moreover, you need the package `libtool`: sudo apt-get install libcdd-dev ./autogen.sh - ./configure --with-gaproot=path-to-gaproot + ./configure --with-gaproot=path/to/gaproot make -where the `` is the path to the folder where you installed and compiled `Gap` and +where the `path/to/gaproot` is the path to the folder where you installed and compiled `Gap` and which contains the file `sysinfo.gap`. The default value is `../..`. ## Simple installation (includes building the current cdd from source): For a simplified installation, try the following command in the main CddInterface directory - ./install.sh + ./install.sh path/to/gaproot If that does not work, try the following: