You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+12-8Lines changed: 12 additions & 8 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -30,22 +30,26 @@ You also need the package `libgmp-dev`:
30
30
Moreover, you need the package `libtool`:
31
31
32
32
sudo apt-get install libtool
33
-
34
-
## Simple installation
35
33
36
-
For a simplyfied installation, try the following two commands in the main CddInterface directory
34
+
## Simple installation (with the default cdd for you system):
35
+
36
+
sudo apt-get install libcdd-dev
37
+
./autogen.sh
38
+
./configure --with-gaproot=path-to-gaproot
39
+
make
37
40
38
-
./install.sh <path-to-gaproot>
41
+
where the `<path-to-gaproot> ` is the path to the folder where you installed and compiled `Gap` and
42
+
which contains the file `sysinfo.gap`.
39
43
40
-
or
44
+
## Simple installation (includes building the current cdd from source):
41
45
42
-
sudo ./install.sh <path-to-gaproot> (if root permission is needed)
46
+
For a simplyfied installation, try the following two commands in the main CddInterface directory
43
47
44
-
where the `<path-to-gaproot>` is the folder where you installed and compiled `Gap` and which contains the file `sysinfo.gap`.
48
+
./install.sh <path-to-gaproot>
45
49
46
50
If that does not work, try the following:
47
51
48
-
## Advanced installation
52
+
## Advanced installation (includes building the current cdd from source):
49
53
50
54
Go inside the CddInterface directory and download some release of [cddlib](https://github.com/cddlib/cddlib/releases) and extract it. For example the release 0.94j:
0 commit comments