Update to cddlib 0.94m

README.md

@@ -51,11 +51,13 @@ If that does not work, try the following:
 
 ## Advanced installation (includes building the current cdd from source):
 
-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:
+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.94m:
 
-    wget https://github.com/cddlib/cddlib/releases/download/0.94j/cddlib-0.94j.tar.gz
-    tar xvf cddlib-0.94j.tar.gz
-    ln -sf $(pwd)/cddlib-0.94j $(pwd)/current_cddlib
+    wget https://github.com/cddlib/cddlib/releases/download/0.94m/cddlib-0.94m.tar.gz
+    tar xvf cddlib-0.94m.tar.gz
+    ln -sf $(pwd)/cddlib-0.94m $(pwd)/current_cddlib
 
 After that, compile cddlib via
 

install.sh

@@ -25,7 +25,7 @@ cd $current_dir
 echo "## Setting variables"
 echo "I am now in $(pwd)"
 
-cddlib_VERSION=0.94j
+cddlib_VERSION=0.94m
 #cddlib_SHA256=?
 cddlib_BASE=cddlib-${cddlib_VERSION}
 cddlib_TAR=${cddlib_BASE}.tar.gz
@@ -62,4 +62,3 @@ cd $current_dir
 ./autogen.sh
 ./configure --with-gaproot=${gap_path} --with-cddlib=$(pwd)/current_cddlib/build
 make
-