tis-swi-prolog icon

SWI-Prolog

Silent install package for SWI-Prolog

9.2.6-1

  • package: tis-swi-prolog
  • name: SWI-Prolog
  • version: 9.2.6-1
  • maintainer: WAPT Team,Tranquil IT,Amel FRADJ
  • licence: https://www.swi-prolog.org/license.htmlz
  • target_os: windows
  • architecture: x86
  • signature_date:
  • size: 13.45 Mo
  • homepage : https://www.swi-prolog.org/

package           : tis-swi-prolog
version           : 9.2.6-1
architecture      : x86
section           : base
priority          : optional
name              : SWI-Prolog
categories        : 
maintainer        : WAPT Team,Tranquil IT,Amel FRADJ
description       : SWI-Prolog is a versatile implementation of the Prolog language
depends           : 
conflicts         : 
maturity          : PROD
locale            : 
target_os         : windows
min_wapt_version  : 
sources           : 
installed_size    : 
impacted_process  : 
description_fr    : SWI-Prolog est une implémentation polyvalente du langage Prolog
description_pl    : SWI-Prolog to wszechstronna implementacja języka Prolog
description_de    : SWI-Prolog ist eine vielseitige Implementierung der Programmiersprache Prolog
description_es    : SWI-Prolog es una implementación versátil del lenguaje Prolog
description_pt    : SWI-Prolog é uma implementação versátil da linguagem Prolog
description_it    : SWI-Prolog è un'implementazione versatile del linguaggio Prolog
description_nl    : SWI-Prolog is een veelzijdige implementatie van de taal Prolog
description_ru    : SWI-Prolog - это универсальная реализация языка Prolog
audit_schedule    : 
editor            : 
keywords          : 
licence           : https://www.swi-prolog.org/license.htmlz
homepage          : https://www.swi-prolog.org/
package_uuid      : 619d3af6-a9a6-4308-a895-c3638b168c63
valid_from        : 
valid_until       : 
forced_install_on : 
changelog         : 
min_os_version    : 
max_os_version    : 
icon_sha256sum    : d34ff49d67a2c5c49a1d5865e03d242b8f9cb250cfdfe125d61d90855d42e2d3
signer            : Tranquil IT
signer_fingerprint: 8c5127a75392be9cc9afd0dbae1222a673072c308c14d88ab246e23832e8c6bb
signature         : ZsO9FJjLGfbDu3QY2bY09bznXk6qXWsEz5d1rZEKzNPAZj0+vxllFUO2bguqjNbu1EsXWJ6/Wo4ZvnNv0Xn66Y56uriDQ0ptHioG5St5jQs8EM+zHod4znnsmzxna1LxKbWGqZrpo0JzP2mz85sOxgCjA0TpmPMG7tYJGvrpAb0y0i/uPd7hRrtyt2Ss8qb0l8TymwMFQWWWVjeibssrX229Fs4n2+49F07ksHH85NONDuXGEe628nzPXlzrBZuapDcoje2Zkk3iDXEcbsg6hmUzaBoXIPRxO0kkdj4YBeCuUDGZf/F1mE9bsPlsb7MJjiwUiEkCDMKU1HBGJaeZXA==
signature_date    : 2024-07-30T11:00:09.525203
signed_attributes : package,version,architecture,section,priority,name,categories,maintainer,description,depends,conflicts,maturity,locale,target_os,min_wapt_version,sources,installed_size,impacted_process,description_fr,description_pl,description_de,description_es,description_pt,description_it,description_nl,description_ru,audit_schedule,editor,keywords,licence,homepage,package_uuid,valid_from,valid_until,forced_install_on,changelog,min_os_version,max_os_version,icon_sha256sum,signer,signer_fingerprint,signature_date,signed_attributes

# -*- coding: utf-8 -*-
from setuphelpers import *

r"""
Usable WAPT package functions: install(), uninstall(), session_setup(), audit(), update_package()

"""
# Declaring global variables - Warnings: 1) WAPT context is only available in package functions; 2) Global variables are not persistent between calls


def install():
    # Declaring local variables
    bin_name = glob.glob('swipl-*.exe')[0]
    # Installing the software
    install_exe_if_needed(bin_name,
        silentflags='/S /allusers',
        key='swipl',
        min_version=control.get_software_version(),
    )



from setuphelpers import *
import json
import re
import requests
import datetime


def update_package():
    # Déclarer les variables locales
    package_updated = False
    proxies = get_proxies()
    if not proxies:
        proxies = get_proxies_from_wapt_console()
    app_name = control.name

    # Obtenir la dernière version depuis les sources officielles
    url = "https://www.swi-prolog.org/download/stable/bin/"
    index = wgets(url, proxies=proxies)
    if not index:
        print("Error: Unable to fetch the index page.")
        return package_updated

    # Pattern pour trouver les fichiers .exe
    re_versions = re.compile(r'swipl-(\d+\.\d+\.\d+-\d+)\.x86\.exe')
    files = []

    # Extraire les liens et les versions
    for a in bs_find_all(index, 'a', href=True):
        href = a['href']
        match = re_versions.match(href)
        if match:
            version = match.group(1)
            files.append((href, version))
            print(f"Found file: {href} with version: {version}")

    # Trouver le fichier le plus récent
    if files:
        # Trier par version en utilisant une fonction personnalisée
        def version_key(version_str):
            return list(map(int, version_str.split('-')[0].split('.')))

        latest_bin, latest_version = max(files, key=lambda x: version_key(x[1]))
        #Enlever l'extension .envelope pour obtenir le nom de fichier correct
        latest_bin = latest_bin.replace('.envelope', '')
        download_url = f"{url}{latest_bin}"

        if not requests.head(download_url, proxies=proxies).status_code == 404:
            print(f"Latest version: {latest_version}")
            print(f"Download URL: {download_url}")
        # remove files
        for f in glob.glob("*.exe"):
            if f != latest_bin:
                remove_file(f)

        # Downloading latest binaries
        wget(download_url, latest_bin, proxies=proxies)

        control.set_software_version(version)
        control.save_control_to_wapt()

51a937d145267561776a5a2dba7338a321652d6e50a2a6e965be6393126f5481 : setup.py
452eaf7667d41dd1aaa3adf77caa788a538a8731ef02f74022f35715984b0068 : update_package.py
91bbc8ef55db4d7394e2ffa73084196c3339ce3d9001bc0a9aa668a3e8af29aa : swipl-9.2.6-1.x86.exe
d34ff49d67a2c5c49a1d5865e03d242b8f9cb250cfdfe125d61d90855d42e2d3 : WAPT/icon.png
a5a97261381e1d0ad46ee15916abec9c2631d0201f5cc50ceb0197a165a0bbbf : WAPT/certificate.crt
04168c60c64fce090ea7ee0740101ed0c5a0d936d4ace5f69eca1c98c7f894e1 : luti.json
688a2436f290e15c1df39124936216131addd31f1e4d19ce0984554c85e74e22 : WAPT/control