Packaging fixes

Author: kpeeters

CMakeLists.txt

@@ -109,7 +109,6 @@ if(EXISTS "/etc/redhat-release")
       if(LINUX_ISSUE MATCHES "Debian")
         set(CPACK_GENERATOR   "DEB")
 		  if(PACKAGING_MODE)
-			 message("-- Using packaging mode")
 			 set(PYTHON_SITE_PATH  "/usr/lib/python3/dist-packages")
 			 set(INSTALL_LATEX_DIR  "/usr/share/texmf")
 		  endif()

config/buildbot.sh

@@ -53,14 +53,14 @@ function runbuild {
 
 # Parameters: VM name, package type, local ssh port, folder name on web server.
 
-# runbuild "Ubuntu_16.04_build" ".deb" 7000 ubuntu1604
-# runbuild "Fedora_24_build" ".rpm" 7001 fedora24
-# runbuild "Mint_18" ".deb" 7002 mint18
-# runbuild "OpenSUSE_Leap" ".rpm" 7003 opensuse421
-# runbuild "CentOS_7" ".rpm" 7004 centos7
-# runbuild "Ubuntu_14.04_build" ".deb" 7005 ubuntu1404
-# runbuild "Fedora_26" ".rpm" 7011 fedora26
-# runbuild "Ubuntu_17.10" ".deb" 7012 ubuntu1710
-# runbuild "Debian86" ".deb" 7006 debian86
-# runbuild "Scientific_Linux_74" ".rpm" 7013 scientific74
+runbuild "Ubuntu_16.04_build" ".deb" 7000 ubuntu1604
+runbuild "Fedora_24_build" ".rpm" 7001 fedora24
+runbuild "Mint_18" ".deb" 7002 mint18
+runbuild "OpenSUSE_Leap" ".rpm" 7003 opensuse421
+runbuild "CentOS_7" ".rpm" 7004 centos7
+runbuild "Ubuntu_14.04_build" ".deb" 7005 ubuntu1404
+runbuild "Fedora_26" ".rpm" 7011 fedora26
+runbuild "Ubuntu_17.10" ".deb" 7012 ubuntu1710
+runbuild "Debian86" ".deb" 7006 debian86
+runbuild "Scientific_Linux_74" ".rpm" 7013 scientific74
 runbuild "Debian_921" ".deb" 7014 debian9

web2/cadabra2/source/download.html

@@ -31,7 +31,7 @@ <h2>Linux</h2>
 	 <td class="system">&bullet; <a href="/packages/ubuntu1604">Ubuntu Xenial Xerus 16.04</a></td>
   </tr>
   <tr>
-	 <td class="system">&bullet; <a href="/packages/ubuntu1610">Ubuntu Artful Aardvark 17.10</a></td>
+	 <td class="system">&bullet; <a href="/packages/ubuntu1710">Ubuntu Artful Aardvark 17.10</a></td>
   </tr>
   <tr>
 	 <td class="system">&bullet; <a href="/packages/fedora24">Fedora 24</a></td>
@@ -80,6 +80,9 @@ <h2>Linux</h2>
   <tr>
 	 <td class="system">&bullet; <a href="/packages/debian86">Debian Jessie 8.6</a></td>
   </tr>
+  <tr>
+	 <td class="system">&bullet; <a href="/packages/debian9">Debian Stretch 9</a></td>
+  </tr>
 
 </table>
 <p>