
SWI-Prolog
Paquet d’installation silencieuse pour SWI-Prolog
9.2.7-2
- package: tis-swi-prolog
- name: SWI-Prolog
- version: 9.2.7-2
- maintainer: WAPT Team,Tranquil IT,Amel FRADJ
- licence: https://www.swi-prolog.org/license.htmlz
- target_os: windows
- architecture: x86
- signature_date:
- size: 13.46 Mo
- homepage : https://www.swi-prolog.org/
package : tis-swi-prolog
version : 9.2.7-2
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 : d9b856c1-b123-42db-b1c7-e339ecd575a6
valid_from :
valid_until :
forced_install_on :
changelog :
min_os_version :
max_os_version :
icon_sha256sum : d34ff49d67a2c5c49a1d5865e03d242b8f9cb250cfdfe125d61d90855d42e2d3
signer : Tranquil IT
signer_fingerprint: 8c5127a75392be9cc9afd0dbae1222a673072c308c14d88ab246e23832e8c6bb
signature_date : 2024-10-02T13:02:30.000000
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
signature : dewPue6TmJ/lGkexJ0vljr1SUZHmui5dUsPfsGFDiOFZ3O8cXD9sHyHdD1PJcvkjC9bw1Ef+yrWytSOEJha62tOEQ+u9OBcNZyQdVf8MnyO0n+8CLAcHHWU6scVh6BVfAwPZJxJktiCSN8xmtgsogZXHasKKK6f+tXkubZVKAV8LlFm+UJMwC5pLpt4A+2pGe9rj2awi/LBgndQJHxwk6qMEN3CifnWzVRm8zMjx76i5+8fSDCl3oEg5kmVaiWqrQgCCgAuk5Ig7A5aYK/g8lmiXNBxk1et+FwBVODRL2iRY32cxQyv1sMOPjqbDqJrDyMKfgLW/BjbBWvaYOrGizQ==
# -*- 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()
38d056ab130f7bf7c481c12636a4e9959de36561d3dfcbe54c6e3571bc0c1dc3 : WAPT/certificate.crt
1478cbb8c06cd403b0e185eaf7f40ca93b7c435a150eeb54f8200ae190286f47 : WAPT/control
d34ff49d67a2c5c49a1d5865e03d242b8f9cb250cfdfe125d61d90855d42e2d3 : WAPT/icon.png
eb4aff94490c6443c7f10324eba91d1f6d26210698c36e1819ab5135399b91ef : luti.json
51a937d145267561776a5a2dba7338a321652d6e50a2a6e965be6393126f5481 : setup.py
2daf0843a38b8a96f0a292554df6be8cec4c1a7a3012a8fd7909bd29ca44307b : swipl-9.2.7-1.x86.exe
452eaf7667d41dd1aaa3adf77caa788a538a8731ef02f74022f35715984b0068 : update_package.py