Les membres ayant 30 points peuvent parler sur les canaux annonces, projets et hs du chat.
La shoutbox n'est pas chargée par défaut pour des raisons de performances. Cliquez pour charger.

Forum Casio - Projets de programmation


Index du Forum » Projets de programmation » GiteaPC : Installer et mettre à jour automatiquement des projets Gitea
Lephenixnoir En ligne Administrateur Points: 24563 Défis: 170 Message

GiteaPC : Installer et mettre à jour automatiquement des projets Gitea

Posté le 01/01/2021 23:19

Ce topic fait partie de la série de topics du fxSDK.

GiteaPC est un programme Python qui automatise l'installation de projets de la la forge Git de Planète Casio. Son usage principal est d'installer et mettre à jour le fxSDK de façon automatique.

Le code source est sur le dépôt Git Lephenixnoir/GiteaPC. Merci notamment à Breizh_craft, Dark Storm et Cakeisalie5 qui m'ont bien aidé à cerner un design plus élégant.

Installation de GiteaPC

Pour Mac OS : GiteaPC fonctionne, mais il y a quelques ajustements à faire. Voyez le guide de Choukas.

Il y a quelques dépendances à installer. Voici la commande pour les distributions les plus communes sur Planète Casio : copiez la commande (la ligne après le %) dans un terminal puis appuyez sur Entrée (votre mot de passe sera demandé).

# Si vous avez Debian, Ubuntu, WSL sous Windows, Linux Mint ou d'autres dérivés de Debian :
% sudo apt install curl git python3 build-essential cmake pkg-config

# Si vous avez Arch Linux, Manjaro, ou d'autres dérivés d'Arch Linux :
% sudo pacman -S curl git python3 gcc make cmake pkgconf

Ensuite vous pouvez installer GiteaPC en une ligne avec la commande suivante :

% curl "https://git.planet-casio.com/Lephenixnoir/GiteaPC/raw/branch/master/install.sh" -o /tmp/giteapc-install.sh && bash /tmp/giteapc-install.sh

Vous pouvez consulter le script ici ou faire l'installation manuelle depuis le dépôt Lephenixnoir/GiteaPC si vous préférez ça.

Vous aurez probablement besoin de mettre à jour votre PATH. Si vous ne connaissez pas le PATH ou avez du mal à le situer, vous pouvez lire le Tutoriel du Mercredi #20 sur ce sujet. Si ça se produit, GiteaPC vous demandera de modifier le PATH en ces termes :

<giteapc> In order to use programs installed by GiteaPC, you will need to add their
<giteapc> install folder to your PATH. This can be done automatically when you log
<giteapc> in by adding the following command to your startup file:
<giteapc>
<giteapc>   export PATH="$PATH:/home/el/.local/bin"
<giteapc>
<giteapc> -> Press Enter to add this command to /home/el/.profile, or
<giteapc> -> Type another file name to add this command to, or
<giteapc> -> Type "-" to skip setting the PATH entirely.
>

Si vous n'utilisez pas votre .profile, .bashrc ou équivalent (ou ne savez pas ce que c'est), appuyez sur Entrée puis fermez et rouvrez votre session (ou redémarrez votre ordinateur). Si vous utilisez .profile ou équivalent, alors vous comprenez certainement la question, faites ce que vous préférez.

Pour vérifier que l'installation a fonctionné, lancez la commande giteapc. Vous devez obtenir un message d'aide coloré avec la liste des commandes. giteapc peut se mettre à jour tout seul donc vous n'aurez plus besoin de refaire ce travail d'installation.

Installation du fxSDK avec GiteaPC

Le fxSDK et toutes les bibliothèques qui vont avec (que je gère, du moins) peuvent être obtenues avec GiteaPC. Le fxSDK dépend de quelques bibliothèques dont vous aurez besoin (même formule que précédemment, attention à bien copier la commande complète d'un coup même si elle s'affiche sur plusieurs lignes) :

# Debian, Ubuntu, WSL sous Windows, Linux Mint, dérivés de Debian :
% sudo apt install python3-pil libusb-1.0-0-dev libudev-dev libsdl2-dev libpng-dev libncurses-dev
# En option pour fxlink -s :
% sudo apt install libudisks2-dev libglib2.0-dev

# ArchLinux, Manjaro, dérivés d'ArchLinux :
% sudo pacman -S python-pillow libusb sdl2 ncurses patch
# En option pour fxlink -s :
% sudo pacman -S udisks2

Avec ces dépendances, vous pouvez obtenir un environnement de développement avec gint et le fxSDK en quelques étapes. Prenez garde aux cas particuliers suivants :

  • Si jamais vous avez déjà une version de binutils/GCC installée après le fxSDK 2.9 et que vous ne voulez pas les recompiler (ce qui prend ~30 minutes), vous pouvez ajouter :any après Lephenixnoir/sh-elf-binutils et Lephenixnoir/sh-elf-gcc.
  • Si votre Linux n'utilise pas UDisks2 comme gestionnaire de périphériques (vous pouvez tester si la commande udisksctl existe), ajoutez :noudisks2 après Lephenixnoir/fxsdk. Cela désactivera l'option -s de fxlink qui utilise UDisks2 pour copier des fichiers vers les Graph 35+E II et Graph 90+E depuis la ligne de commande.
  • Si vous avez déjà une installation du fxSDK installée sans GiteaPC ou avant la version fxSDK 2.9, vous devez la supprimer avant de commencer, sinon tout va interférer et ce sera le chaos !

Cela étant vu, on commence par installer les outils principaux du fxSDK et le cross-compilateur. Pendant qu'on y est, on installe aussi le debugger (optionnel) :

% giteapc install Lephenixnoir/fxsdk Lephenixnoir/sh-elf-binutils Lephenixnoir/sh-elf-gcc
% giteapc install Lephenixnoir/sh-elf-gdb

Ensuite on installe la lib mathématique, la libc, et on repasse sur GCC pour obtenir la lib C++ :

% giteapc install Lephenixnoir/OpenLibm Vhex-Kernel-Core/fxlibc
% giteapc install Lephenixnoir/sh-elf-gcc

Et enfin on installe gint (et si vous le voulez d'autres libs) :

% giteapc install Lephenixnoir/gint # Lephenixnoir/libprof Slyvtt/cZlib1_2_5 ...

À partir de là vous pouvez coder des add-ins.

Vous pouvez toujours consulter les dépôts clonés par GiteaPC avec la commande giteapc show -p :

cd $(giteapc show -p Lephenixnoir/fxsdk)

Si vous voulez juste coder avec le fxSDK, jetez un œil à la section suivante pour les mises à jour puis vous pouvez arrêter de lire. Le reste de ce topic parle des détails de GiteaPC, qui ne sont pas importants pour juste programmer des add-ins.

Enrichir et mettre à jour une installation du fxSDK avec GiteaPC

Pour installer un nouveau dépôt qui supporte GiteaPC, par exemple la bibliothèque libprof, utilisez giteapc install.

giteapc install Lephenixnoir/libprof

Vous pouvez tout mettre à jour avec giteapc install -u. GiteaPC vous autorise à donner les noms des dépôts sans leur propriétaire s'il n'y a pas d'ambiguïté, ce qui est un peu risqué quand il s'agit des dépôts distants (à l'installation) mais pas trop quand il s'agit de dépôts locaux (durant une mise à jour).

giteapc install -u sh-elf-binutils sh-elf-gcc fxsdk gint libprof

Et voilà, tout est à jour.

Instructions d'utilisations plus précises

Lister et rechercher des dépôts

Utilisez giteapc list -r pour lister les dépôts de la forge qui peuvent être installés avec Gitea, et giteapc list pour lister tous les dépôts que vous avez sur votre ordinateur.

Si un argument supplémentaire est donné, il servira à filtrer par nom et par description. Par exemple, giteapc list -r gcc.

Installer et mettre à jour des dépôts

Utilisez giteapc install pour installer un dépôt et giteapc install -u pour mettre à jour un dépôt. La différence c'est qu'avec -u les nouveautés seront téléchargées avant l'installation (git pull).

Installer des versions spécifiques

Les noms des dépôts dans les commandes install et build acceptent deux suffixes : @version et :config (dans cet ordre). Le premier permet de sélectionner (git checkout) une branche ou un tag. Le second permet de modifier les options de compilation si le dépôt en supporte (par exemple binutils et GCC ont une configuration :any discutée précédemment).

Par exemple, pour installer spécifiquement binutils 2.35.1, on peut utiliser la commande ci-dessous. Notez que du coup le dépôt est figé à la version 2.35.1 et ne sera pas mis à jour (même avec -u) tant que vous n'installerez pas explicitement sh-elf-binutils@master pour revenir sur la branche principale.

giteapc install Lephenixnoir/sh-elf-binutils@2.35.1

Pour installer binutils mais utiliser une version déjà installée au bon endroit sans le recompiler, on peut utiliser la configuration :any.

giteapc install Lephenixnoir/sh-elf-binutils:any

Commandes fines

giteapc fetch permet de clôner ou mettre à jour (git fetch) un dépôt sans toucher à rien.
giteapc build permet de configure/build un dépôt sans l'installer ou de recompiler sans reconfigurer.
giteapc show permet de voir les versions disponibles d'un dépôt local ou distant.

Voyez l'aide (giteapc --help) pour le détail des options.

Désinstaller un dépôt

giteapc uninstall désinstalle un dépôt et supprime le clône local, giteapc uninstall -k déinstalle le dépôt mais garde le clône local. Les dépendances ne sont pas vérifiées durant une désinstallation donc gardez un œil dessus.

Créer un projet supportant GiteaPC

Pour pouvoir être installé par GiteaPC, un dépôt doit avoir les choses suivantes :

• Le topic giteapc sur le dépôt (qu'on peut ajouter en cliquant sur le lien "Manage topics" sur la page principale du dépôt) : c'est ce qui permet au dépôt d'apparaître dans giteapc list -r.

• Fournir un giteapc.make qui contient quelques métadonnées, qui inclut optionnellement giteapc-config.make et fournit quatre cibles configure, build, install et uninstall (plus de détails ci-dessous).

• Avoir giteapc-config.make dans le .gitignore. giteapc-config.make sera un lien symbolique pointant vers la configuration courante, laquelle sera nommée giteapc-config-X.make pour :X.

Le giteapc.make doit ressembler à ça :

# giteapc: version=1
# giteapc: depends=Lephenixnoir/sh-elf-gcc

-include giteapc-config.make

configure:
    ...
build:
    ...
install:
    ...
uninstall:
    ...

.PHONY: configure build install uninstall

D'abord les métadonnées ; il y en a deux pour l'instant : version (doit être "1") et depends (liste des dépendances). Ensuite l'inclusion de giteapc-config.make quand une configuration est demandée. Et enfin, les règles configure, build, install et uninstall, dans lesquelles vous pouvez lancer le code qui va bien.

Quelques exemples : sh-elf-gcc, fxsdk, Template-gint-library.


Précédente 1, 2, 3, 4, 5, 6, 7, 8 ··· 10 ··· 13, 14, 15 Suivante
Potter360 Hors ligne Rédacteur Points: 1254 Défis: 2 Message

Citer : Posté le 16/04/2021 17:32 | #


Je suis connecté sur l'utilisateur principal...
Mais
giteapc install Lephenixnoir/sh-elf-binutils:any Lephenixnoir/sh-elf-gcc:any Lephenixnoir/fxsdk Lephenixnoir/gint
marche, donc c'est bon je pense !
Globalement, coder. Mal, mais coder.
Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 16/04/2021 17:36 | #


Quelques commande à faire :

- whoami
- echo $HOME
- ls ~/.local/bin
- history

Tu peux tout mettre dans un snippet (https://haste.breizh.pm par exemple) et partager ça
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Potter360 Hors ligne Rédacteur Points: 1254 Défis: 2 Message

Citer : Posté le 17/04/2021 09:50 | #


Je me suis perdu
Il faut que j'installe Gint dans /home/utilisateur/casio ou dans ~/.local/bin ?
Globalement, coder. Mal, mais coder.
Lephenixnoir En ligne Administrateur Points: 24563 Défis: 170 Message

Citer : Posté le 17/04/2021 09:53 | #


Il y a deux options :
• Soit tu installes avec GiteaPC et dans ce cas le plus simple est de laisser GiteaPC gérer.
• Soit tu installes manuellement et dans ce cas-là tu as le choix, mais ~/.local est plus facile parce que c'est l'option par défaut et donc tu n'as rien à faire.

Edit : Dans tous les cas gint ne s'installe pas dans ~/.local mais dans les dossiers de GCC, donc si ton GCC est ailleurs (par exemple dans $HOME/casio) alors c'est normal que tu ne trouves pas gint, il est avec.

Tu dis que la commande ci-dessous a marché, ce qui est très bien.

giteapc install Lephenixnoir/sh-elf-binutils:any Lephenixnoir/sh-elf-gcc:any Lephenixnoir/fxsdk Lephenixnoir/gint

Quel est le problème que tu rencontres du coup ? J'ai remonté le topic mais au précédent problème ton shell ne trouvait pas giteapc, ce qui est évidemment résolu maintenant. De ce que je vois tout a l'air correct.
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Potter360 Hors ligne Rédacteur Points: 1254 Défis: 2 Message

Citer : Posté le 17/04/2021 10:16 | #


Alors... hier j'ai lancé cette commande, et dû éteindre mon ordinateur avant de pouvoir tester.
Mais j'ai lancé cette commande depuis ~/.local/bin, je voulais savoir si c'était une connerie.
Je vais tester la commande fxsdk new Test depuis /home/utilisateur/casio et vous redit si ça marche
Globalement, coder. Mal, mais coder.
Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 17/04/2021 10:17 | #


Si t'as éteint l'ordi avant qu'il ait fini de compiler GCC, ça risque pas de marcher…
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Lephenixnoir En ligne Administrateur Points: 24563 Défis: 170 Message

Citer : Posté le 17/04/2021 10:17 | #


Tu peux lancer giteapc depuis n'importe où, ça ne pose pas de problème.
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Potter360 Hors ligne Rédacteur Points: 1254 Défis: 2 Message

Citer : Posté le 17/04/2021 10:31 | #


Dark storm a écrit :
Si t'as éteint l'ordi avant qu'il ait fini de compiler GCC, ça risque pas de marcher…

Mais j'ai attendu la fin de la commande

Ajouté le 17/04/2021 à 13:53 :
Je ne peux pas créer un projet : on m'a dit de pas me mettre en root et lorsque je fais fxsdk new Test j'obtiens cannot create directory "Test" : permission denied.
Globalement, coder. Mal, mais coder.
Lephenixnoir En ligne Administrateur Points: 24563 Défis: 170 Message

Citer : Posté le 17/04/2021 14:06 | #


On m'a dit après que sous WSL il n'y a qu'un utilisateur root initialement. Si tu as tout installé en root alors ce serait casse-pieds de tout refaire en utilisateur non privilégié, continue en root. Mais la prochaine fois que tu installes WSL, pense bien à te créer un utilisateur non-root avant de faire quoi que ce soit !
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Potter360 Hors ligne Rédacteur Points: 1254 Défis: 2 Message

Citer : Posté le 17/04/2021 14:21 | #


Bon ben c'est bon ! Sous peine de kick, Breizh m'a obligé à faire chown -R utilisateur:utilisateur /home/utilisateur , ce qui a marché !
Globalement, coder. Mal, mais coder.
Lephenixnoir En ligne Administrateur Points: 24563 Défis: 170 Message

Citer : Posté le 17/04/2021 14:27 | #


Acrobatique mais parfait, tant que ça marche rien à dire. Bon courage !
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 05/06/2021 11:49 | #


Up, penser à mettre à jour les bonnes dépendances avec l'update de l'USB (il manque au moins libusb et udisks2)
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Pedrobzh Hors ligne Membre Points: 616 Défis: 0 Message

Citer : Posté le 05/06/2021 12:25 | #


pourquoi vous avez pas crée un dépôt apt et pacman? ca aurait été plus simple de faire
sudo apt install fx-sdk fx-g1a fxconv

sudo apt install libprof-casio libprof-dev-casio

sudo apt install libc-dev-casio libc-casio


pensés suicidaires
   90%
Kikoodx Hors ligne Ancien labélisateur Points: 3038 Défis: 11 Message

Citer : Posté le 05/06/2021 12:26 | #


Tu est libre de le faire pedro, Dark Storm s'est occupé de « pacman »
ouais ouais
Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 05/06/2021 12:28 | #


D'ailleurs j'explique comment l'utiliser ici : https://www.planet-casio.com/Fr/forums/topic16790-1-middlearch-un-depot-communautaire.html
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Pedrobzh Hors ligne Membre Points: 616 Défis: 0 Message

Citer : Posté le 05/06/2021 12:28 | #


tu as raison ^^, je vais m'en occuper,
mais quand je réussirait, vous pourriez héberger? j'ai juste un rasbperry pi avec l'adsl
pensés suicidaires
   90%
Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 05/06/2021 12:29 | #


Je ne supporte pas (encore) aarch64, désolé ^^'
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Pedrobzh Hors ligne Membre Points: 616 Défis: 0 Message

Citer : Posté le 05/06/2021 12:33 | #


Dark storm a écrit :
Je ne supporte pas (encore) aarch64, désolé ^^'

???
pensés suicidaires
   90%
Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 05/06/2021 12:38 | #


Tu sais sûrement que les processeurs sont découpés en grandes familles : x86, amd64 (dit aussi x86_64), ARM (et ses nombreuses déclinaisons), etc. Chaque famille parle un langage différent. Lorsque tu écrit un programme, il faut l'écrire dans le langage de la machine cible, sinon il ne fonctionnera pas.

Actuellement, je supporte uniquement l'architecture amd64/x86_64, qui correspond grosso-modo à tous les PC de bureau et autres laptops (hors nouveaux Macbook et leur puce A1).

Les Raspberry Pi 3 et plus utilisent une architecture ARM64, AArch64. Je n'ai pas construit les paquets pour cette architecture, donc tu ne peux pas utiliser MiddleArch pour installer la toolchain sur un Raspberry Pi. Du moins pas pour le moment : j'ai prévu de tenter de faire les paquets, mais c'est assez compliqué.
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Lephenixnoir En ligne Administrateur Points: 24563 Défis: 170 Message

Citer : Posté le 05/06/2021 12:40 | #


pourquoi vous avez pas crée un dépôt apt et pacman? ca aurait été plus simple de faire

Parce que contrairement à pacman pour lequel on peut envoyer des paquets en trois clics sur l'AUR, pour apt il faut créer un PPA qui (à ma connaissance) ne se fait pas sur ton RPi mais normalement sur launchpad.net, il faut que l'utilisateur ajoute explicitement le PPA, et je ne suis pas sûr que les paquets source soient supportés aussi facilement. En bref, le système rend ça plus compliqué.

Ajouté le 05/06/2021 à 12:41 :
Darks, je crois que t'as pas compris la remarque, il indique juste qu'il ne peut pas héberger son dépôt apt/PPA parce qu'il n'a chez lui qu'un RPi avec ADSL et que ça paraît limitant. Il ne s'agit pas de compiler les paquets pour AArch64.
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Breizh_craft Hors ligne Modérateur Points: 1171 Défis: 7 Message

Citer : Posté le 05/06/2021 12:42 | #


Les PPA c’est spécifique à Ubuntu, tu peux tout à fait héberger ton propre repo pour Debian ou Ubuntu sur un Pi (par contre faut compiler ailleurs si tu veux faire du x86_64).
Breizh.pm – Un adminsys qui aime les galettes.
Précédente 1, 2, 3, 4, 5, 6, 7, 8 ··· 10 ··· 13, 14, 15 Suivante

LienAjouter une imageAjouter une vidéoAjouter un lien vers un profilAjouter du codeCiterAjouter un spoiler(texte affichable/masquable par un clic)Ajouter une barre de progressionItaliqueGrasSoulignéAfficher du texte barréCentréJustifiéPlus petitPlus grandPlus de smileys !
Cliquez pour épingler Cliquez pour détacher Cliquez pour fermer
Alignement de l'image: Redimensionnement de l'image (en pixel):
Afficher la liste des membres
:bow: :cool: :good: :love: ^^
:omg: :fusil: :aie: :argh: :mdr:
:boulet2: :thx: :champ: :whistle: :bounce:
valider
 :)  ;)  :D  :p
 :lol:  8)  :(  :@
 0_0  :oops:  :grr:  :E
 :O  :sry:  :mmm:  :waza:
 :'(  :here:  ^^  >:)

Σ π θ ± α β γ δ Δ σ λ
Veuillez donner la réponse en chiffre
Vous devez activer le Javascript dans votre navigateur pour pouvoir valider ce formulaire.

Si vous n'avez pas volontairement désactivé cette fonctionnalité de votre navigateur, il s'agit probablement d'un bug : contactez l'équipe de Planète Casio.

Planète Casio v4.3 © créé par Neuronix et Muelsaco 2004 - 2024 | Il y a 118 connectés | Nous contacter | Qui sommes-nous ? | Licences et remerciements

Planète Casio est un site communautaire non affilié à Casio. Toute reproduction de Planète Casio, même partielle, est interdite.
Les programmes et autres publications présentes sur Planète Casio restent la propriété de leurs auteurs et peuvent être soumis à des licences ou copyrights.
CASIO est une marque déposée par CASIO Computer Co., Ltd