KhiCAS, le moteur formel Giac/Xcas pour toutes TI-Nspire

[Noury]

Pour info, j'ai compilé cet après-midi la branche master.
Tout passe bien, mais à l'installation (exécution de ndless_installer_4.5.0.tns), il ne se passe rien.
Je n'ai as le message "Ndless installed!", et les tns ne sont pas reconnus.
Du coup, je me suis rabattu sur la r2014 récupérée depuis tiplanet.

[Adriweb]

@adriweb j'utilise bien la r2014
Comme le dit @parisse, je le vois si j'essaye de désinstaller ndless.

OK. Donc il faudrait que parisse utilise la dernière version (branche master du repo) du SDK (cf. https://github.com/ndless-nspire/Ndless ... in-and-sdk), et aussi les bons flags de genzehn (si besoin ?) pour dire que ca fonctionne bien comme prévu.

[Adriweb]

Pour info, j'ai compilé cet après-midi la branche master.
Tout passe bien, mais à l'installation (exécution de ndless_installer_4.5.0.tns), il ne se passe rien.
Je n'ai as le message "Ndless installed!", et les tns ne sont pas reconnus.
Du coup, je me suis rabattu sur la r2014 récupérée depuis tiplanet.

Ah ?
Je vais dire a Vogtinator de venir sur ce thread...

[parisse]

Sauf probleme vraiment insoluble, je n'ai pas l'intention de changer de version de toolchain, ca prend trop de temps et ca risque de casser mon install faite il y a 2 semaines. Je viens de mettre a jour l'archive de khicas avec la version de ndless qui est sur ma calculatrice,
https://www-fourier.univ-grenoble-alpes.fr/~parisse/ti/khicas.zip

[Adriweb]

@parisse : la toolchain buildée a partir du repo il y a 2 semaines ? Si oui, alors c'est bon, c'est deja a jour.
Du coup ce serait juste une question de flags genzehn.

Par contre, ndless en lui meme, il faut tant qu'a faire utiliser la derniere release, donc r2014. A aucun moment il ne devrait y avoir de r2011 en jeu.
Et il ne faut encore moins distribuer une telle vieille version :/ Il y a un certain nombre d'ameliorations et de bugfix depuis la r2011 : https://github.com/ndless-nspire/Ndless ... ...1b32027 et encore plus si on utilise master (mais donc il faut voir si y'a un bug comme vu par nbenm aur certaines calculatrices peut etre ?)

[parisse]

@Adriweb: si vous voulez compiler vous-meme khicas pour voir ce qui ne marcherait pas, en principe il suffit de prendre l'archive source de giac a jour https://www-fourier.univ-grenoble-alpes.fr/~parisse/giac/giac-1.6.0.tar.bz2, copier config.h.nspire dans config.h et faire make -f Makefile.nspire.
Et je ne mets ndless 2011 que temporairement, le temps de voir si avec ma version de ndless KhiCAS fonctionne sur la calculatrice de nbemm

[Noury]

Pour avoir une vision précise de ce dont je parle, voici quelques photos.
1 - au lancement de khicas:



2 - au moment de quitter l'application, après menu-quitter(17):



3 - si je tente de désinstaller ndless:



J'espère que ça permettra d'éclairer les choses.

Ça ressemble à une gestion incorrecte du LCD.

[Adriweb]

Je ne comprends pas les etapes de build completes. Il y a plusieurs sources a obtenir, mais je ne sais pas vraiment ou les mettre, comment les builder avec les bonnes options etc.

Est-ce qu'il y aurait un script (bash tant qu'a faire) qui curl/wget les dependences requises, puis qui copie les fichiers la ou il faut, puis lance le(s) make(s) ? On pourra supposer que tout est bon niveau PATH pour le sdk ndless.

Edit 0: on parle de quel fichier Config.nspire et Makefile.nspire, y'en a plein des config/makefile Edit 0.5: Mais en fait je ne trouve pas de Makefile.nspire dans khicas. Il y a a peu pres toutes les plateformes mais pas nspire
Edit 1: et pour les libs modifiées, je vois des .a de 2014 o_O. Y-a-t'il des versions a jour, ou mieux, de quoi les re-builder avec sa propre toolchain ?
Edit 2 : en fait, il faudrait un repo git, avec les dependances en git submodule comme ca on aurait juste a faire git clone --recusrive et hop, tout sera chargé directement au bon endroit
Edit 3 : dans les sources, je vois plein de fichiers precompilés, des .a, des .bak/orig/old etc. Hmmm ? Il faut utiliser quoi/ou/comment ?
Edit 4 : pour builder GMP/MPFR/MPFI comme il faut, on le fait avec quoi ?

[Adriweb]

J'ai vraiment envie d'aider a avoir un truc de build simple pour tout le monde, donc je sens que des que j'aurais compris comment recuperer/builder/"installer" les dependances, puis giac, puis khicas, tout ca dans le bonne ordre et avec les bonnes options, je mettrais ca en place avec git sur github, et puis je tacherai de mettre a jour quand parisse mettre a jour ses sources sur son site.
Avoir un systeme de build automatique sur github serait pas mal, aussi.

[parisse]

helas non, il n'y a pas un shell script ou une commande tout simple ./mkdebian comme pour faire des packages natifs debian.

C'est config.h.nspire qu'il faut copier dans config.h. Ensuite il faut faire make -f Makefile,nspire, mais evidemment j'ai oublie de preciser qu'il faut aussi cross-compiler et installer GMP/MPFR/MPFI, et ca necessite un peu de boulot. Il faut d'abord faire

Code: Select all

#! /bin/bash
export CC=nspire-gcc
export CXX=nspire-g++
export LD=nspire-ld
export AR=arm-none-eabi-ar
export AS=nspire-as


ensuite pour gmp, config.log me dit que j'ai fait

Code: Select all

./configure --host=arm-none-eabi


ensuite j'ai du faire une install a la main des include et de la lib dans ndless-sdk/toolchain/install, on doit pouvoir automatiser avec --prefix dans la commande ./configure.
pour mpfr (a adapter)

Code: Select all

./configure --with-gmp=/home/parisse/Ndless/ndless-sdk/toolchain/install --host=arm-none-eabi


et je n'ai plus le repertoire de compilation de mpfi, mais ca doit ressembler a mpfr.