
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