module lua natif giac

[parisse]

Compression is indeed efficient, but the module still fails to load (I have updated the file).
The same error attempt to index a nil value is reported, but no more ndless memory error.

By the way, I configured GMP/MPFR/MPFI with

Code: Select all

export CC=nspire-gcc
export CXX=nspire-g++
export LD=nspire-ld
export AS=nspire-as
export NM=/home/parisse/Ndless/ndless-sdk/toolchain/install/bin/arm-none-eabi-nm
export RANLIB=/home/parisse/Ndless/ndless-sdk/toolchain/install/bin/arm-none-eabi-ranlib
# GMP/MPFR configure command
./configure --host=none --prefix=/home/parisse/Ndless/ndless-sdk
make
make install


I had to add a define in a .c file in GMP to compile it properly
mpn/div_qr_1n_pi1.c:#define __CLOBBER_CC : "cc"
mpn/div_qr_1n_pi1.c:#define __AND_CLOBBER_CC , "cc"
MPFR/MPFI no change.

Inside giac-1.2.0 (latest tarball), copy config.h.nspire to config.h, and make -f Makefile.nspire
I had to add a missing.c file with

Code: Select all

#include <sys/times.h>
// missing _times function in libc
clock_t _times(struct tms *ptms){
  return 0;
}


because otherwise libg did not link (missing symbol).

[Vogtinator]

Compression is indeed efficient, but the module still fails to load (I have updated the file).
The same error attempt to index a nil value is reported, but no more ndless memory error.

Great, so the main error is solved. The issue with compression is that the backwards-compatibility requires more memory than
a recent ndless version (compression is included in the latest ndless_resources in ndless 3.9, hold the while opening a Zehn program to verify compression support, a dialog box should appear), as both the compressed and uncompressed executables are in memory.
The lua warning appears even in the lua example ("hello world") and seems to be harmless. I don't know the cause.

By the way, I configured GMP/MPFR/MPFI with

Code: Select all

export CC=nspire-gcc
export CXX=nspire-g++
export LD=nspire-ld
export AS=nspire-as
export NM=/home/parisse/Ndless/ndless-sdk/toolchain/install/bin/arm-none-eabi-nm
export RANLIB=/home/parisse/Ndless/ndless-sdk/toolchain/install/bin/arm-none-eabi-ranlib
# GMP/MPFR configure command
./configure --host=none --prefix=/home/parisse/Ndless/ndless-sdk
make
make install


Shouldn't the prefix rather be /home/parisse/Ndless/ndless-sdk/toolchain/install?

I had to add a define in a .c file in GMP to compile it properly
mpn/div_qr_1n_pi1.c:#define __CLOBBER_CC : "cc"
mpn/div_qr_1n_pi1.c:#define __AND_CLOBBER_CC , "cc"
MPFR/MPFI no change.

Inside giac-1.2.0 (latest tarball), copy config.h.nspire to config.h, and make -f Makefile.nspire
I had to add a missing.c file with

Code: Select all

#include <sys/times.h>
// missing _times function in libc
clock_t _times(struct tms *ptms){
  return 0;
}


because otherwise libg did not link (missing symbol).

It should probably return -1 to indicate failure. I added it to libsyscalls, git pull and make clean && make in ndless-sdk and it should work.

[parisse]

The issue with compression is that the backwards-compatibility requires more memory than a recent ndless version (compression is included in the latest ndless_resources in ndless 3.9, hold the while opening a Zehn program to verify compression support, a dialog box should appear), as both the compressed and uncompressed executables are in memory.

Does it mean the compressed lua module works only for ndless 3.9? I have 3.6 on my calcs.

[Vogtinator]

No, the backwards-compatibility my make-prg works up to ndless 2.0 (AFAIK the first version with "PRG" header).
For faster loading and less RAM usage the newest ndless_resources is recommended. ndless_resources from ndless 3.9 works on OS 3.1 and 3.6 as well. That's also why it's not called ndless_resources_3.9.tns.

[parisse]

I just checked on my nspire cx, and it works!!!
evalf(pi,30)
I'll update khicas for download tomorrow...

[Adriweb]

I'm late to the party, but, on the Lua side was the "require" a typo (instead of "nrequire") ?

That's what is done in the current Khicas, at least:

Code: Select all

hasGiac = pcall(nrequire, "luagiac")
if not hasGiac then
...

Anyway, nice job, congratulations

[parisse]

Yes, it was a typo.

[parisse]

Unfortunately, there are several Xcas commands that reboot the calc, like sqrt(5).
It will probably take some time before I can update khicas to the newlib version (until then, I have updated with the version compiled with my old toolchain). Depends if I can easily install nspire_emu and if I can gdb (that did not work with the old toolchain...).

[parisse]

I made more tests, it appears something is wrong with the lua interface in the lua module only, because the console executable does not seem to have the same problems
giac.tns: http://www-fourier.ujf-grenoble.fr/~parisse/calc/giac.tns
luagiac module: http://www-fourier.ujf-grenoble.fr/~parisse/calc/luagiac.luax.tns
sqrt(2) works as expected inside giac.tns and reboots inside khicas.tns
http://www-fourier.ujf-grenoble.fr/~parisse/calc/khicas.tns
Any idea why?

[Vogtinator]

Debugging should work if you're using a recent enough ndless_resources with support for compressed Zehn files (the backwards-compatiblity layer doesn't support debugging). I don't know what is causing those lua issues and sadly I can't help debugging, it's a very busy week for me, with three abitur exams. Those bugs may also explain the weird behavior I posted in the other topic.