Update to swipl package (#17173)

* Added version 8.2.0, added dependency for documentation build, added variants for documentations

* Renamed variant '+man' to '+html'

Co-authored-by: Alexander Knieps <a.knieps@fz-juelich.de>

var/spack/repos/builtin/packages/swipl/package.py

@@ -24,6 +24,7 @@ class Swipl(CMakePackage):
 
     maintainers = ['alexrobomind']
 
+    version('8.2.0', sha256='d8c9f3adb9cd997a5fed7b5f5dbfe971d2defda969b9066ada158e4202c09c3c')
     version('8.0.3', sha256='cee59c0a477c8166d722703f6e52f962028f3ac43a5f41240ecb45dbdbe2d6ae')
 
     variant('gmp', default=True, description='bignum and rational number support')
@@ -32,10 +33,14 @@ class Swipl(CMakePackage):
     variant('zlib', default=True, description='Compressed streams support')
     variant('odbc', default=True, description='ODBC database access')
     variant('unwind', default=True, description='Build with stack traces in crash reports')
+    variant('html', default=True, description='Install the HTML documentation')
+    variant('pdfdoc', default=False, description='Build the PDF documentation')
 
     depends_on('uuid')
     depends_on('readline')
 
+    depends_on('libarchive', when='+html')
+
     depends_on('gmp', when='+gmp')
     depends_on('unwind', when='+unwind')
     depends_on('unixodbc', when='+odbc')
@@ -65,6 +70,8 @@ def append_switch(variant, cmake_flag):
         append_switch('+gmp', 'USE_GMP')
         append_switch('+xpce', 'SWIPL_PACKAGES_X')
         append_switch('+odbc', 'SWIPL_PACKAGES_ODBC')
+        append_switch('+html', 'INSTALL_DOCUMENTATION')
+        append_switch('+pdfdoc', 'BUILD_PDF_DOCUMENTATION')
 
         # The variants ssl and zlib are implicitly set up by CMake