Información recuperada en la dirección: http://tomtomtom.org/networkmanager-openconnect/
Funcionó a la primera en mi máquina.
Eliminamos los paquetes no utilizables:
sudo apt-get purge network-manager-openconnect network-manager-openconnect-gnome
Compilamos las dependencias:
sudo apt-get build-dep network-manager-openconnect
Las fuentes en apt deben estar activas:
sudo sed -i s/#deb-src/deb-src/g /etc/apt/sources.list
Instalamos las nuevas dependencias:
sudo apt-get install libnm-dev
Recuperamos el código fuente:
wget http://ftp.gnome.org/pub/GNOME/sources/NetworkManager-openconnect/1.1/NetworkManager-openconnect-1.1.93.tar.xz
Nos dirigimos al directorio:
cd NetworkManager-openconnect-1.1.93
Iniciamos la configuración:
./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var --libexecdir=/usr/lib/NetworkManager/ --enable-more-warnings=yes --disable-static
Compilamos:
make
Instalamos:
sudo make install
Instalamos openconnect:
sudo apt-get install openconnect
Compilamos el paquete con checkinstall:
sudo checkinstall
Agregamos un usuario del sistema:
sudo adduser --system --quiet --home /var/lib/NetworkManager --no-create-home --gecos "NetworkManager OpenConnect plugin" --group nm-openconnect}
Y reiniciamos.