From joel.bertrand at systella.fr Thu Sep 17 17:18:32 2026 From: joel.bertrand at systella.fr (=?UTF-8?Q?BERTRAND_Jo=c3=abl?=) Date: Thu, 17 Sep 2026 17:18:32 +0200 Subject: [RPL/2] RPL/2 4.1.37 Message-ID: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> Hello, New release with bugfixes : - major bug is fixed in analyse_algebrique: '-X-Y' returned 'NEG(X-Y)'. - major bug is fixed in DER (implicit name); - UDATE is added (returns UTC timestamp); - bug is fixed in PUT intrinsic: <[ {} {} {} {} ]> {} { 4 } PUT crashed RPL/2 when indices list was empty. Same patch for GET (but GET doesn't crash). - rplunits generation is fixed; - units is upgraded to 2.24; - gnuplot is upgraded to 6.0.3; - major bug is fixed in = intrinsic (system error); - LOCALIZATION is modified to remain local to a thread. And simplification() is now used. Only +/- simplification is done. Regards, JB -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 228 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 10:25:23 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Fri, 25 Sep 2026 10:25:23 +0200 Subject: [RPL/2] RPL/2 4.1.37 In-Reply-To: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> Message-ID: <20260925102523.3ae844c8@felics-winmax2.localdomain> Now trying to build this, on Artix GNU/Linux (rolling release), with GCC version 16.2.1, and the following `./configure` call: ``` ./configure --prefix=/usr --enable-recursive --enable-native --enable-rplcas --enable-optimization --enable-tex --enable-vim --disable-embedded-gnuplot --enable-gnuplot --enable-motif --enable-experimental --with-x ``` `make -j1` fails with warnings treated as errors: ``` /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I.. -I/tmp/RPL-2/source/rpl-4.1.37/rplcas/include -I/tmp/RPL-2/source/rpl-4.1.37/rplcas/include -g -O2 -mtune=native -march=native -O3 -fno-strict-overflow -std=gnu17 -malign-double -Wall -funsigned-char -Wno-pointer-sign -std=gnu17 -MT div_ext.lo -MD -MP -MF .deps/div_ext.Tpo -c -o div_ext.lo div_ext.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I.. -I/tmp/RPL-2/source/rpl-4.1.37/rplcas/include -I/tmp/RPL-2/source/rpl-4.1.37/rplcas/include -g -O2 -mtune=native -march=native -O3 -fno-strict-overflow -std=gnu17 -malign-double -Wall -funsigned-char -Wno-pointer-sign -std=gnu17 -MT div_ext.lo -MD -MP -MF .deps/div_ext.Tpo -c div_ext.c -o div_ext.o div_ext.c: In function 'mpfi_div_ext': div_ext.c:62:25: error: passing argument 1 of 'mpfr_div' from incompatible pointer type [-Wincompatible-pointer-types] 62 | tmp = mpfr_div (&(tmp2), &(op1->right), &(op2->left), MPFI_RNDD); | ^~~~~~~ | | | __mpfr_struct (*)[1] In file included from mpfi.h:34, from mpfi-impl.h:29, from div_ext.c:27: /tmp/RPL-2/source/rpl-4.1.37/rplcas/include/mpfr.h:588:31: note: expected 'mpfr_ptr' {aka '__mpfr_struct *'} but argument is of type '__mpfr_struct (*)[1]' 588 | __MPFR_DECLSPEC int mpfr_div (mpfr_ptr, mpfr_srcptr, mpfr_srcptr, mpfr_rnd_t); | ^~~~~~~~ /tmp/RPL-2/source/rpl-4.1.37/rplcas/include/mpfr.h:258:24: note: 'mpfr_ptr' declared here 258 | typedef __mpfr_struct *mpfr_ptr; | ^~~~~~~~ div_ext.c:65:24: error: passing argument 1 of 'mpfr_set_zero' from incompatible pointer type [-Wincompatible-pointer-types] 65 | mpfr_set_zero (&(tmp2), 1); | ^~~~~~~ | | | __mpfr_struct (*)[1] [...] ``` (Note that there are also a lot of other compiler warnings not treated as errors.) I know that this can be work-arounded by passing `-Wno-error=incompatible-pointer-types` to the `$CFLAGS` environment variable, but I think for up to date compilers the code would need changes for a proper fix. I did not specify any `$CFLAGS` up to this point. Regards! (By the way, is there a possibility to use system installed openmotif and openssl instead of bundling your own?) On Thu, 17 Sep 2026 17:18:32 +0200, BERTRAND Jo?l wrote about "[RPL/2] RPL/2 4.1.37": > Hello, > > New release with bugfixes : > - major bug is fixed in analyse_algebrique: '-X-Y' returned > 'NEG(X-Y)'. > - major bug is fixed in DER (implicit name); > - UDATE is added (returns UTC timestamp); > - bug is fixed in PUT intrinsic: > <[ {} {} {} {} ]> {} { 4 } PUT crashed RPL/2 when indices list was > empty. Same patch for GET (but GET doesn't crash). > - rplunits generation is fixed; > - units is upgraded to 2.24; > - gnuplot is upgraded to 6.0.3; > - major bug is fixed in = intrinsic (system error); > - LOCALIZATION is modified to remain local to a thread. > > And simplification() is now used. Only +/- simplification is > done. > > Regards, > > JB > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From joel.bertrand at systella.fr Fri Sep 25 12:57:31 2026 From: joel.bertrand at systella.fr (=?UTF-8?Q?BERTRAND_Jo=c3=abl?=) Date: Fri, 25 Sep 2026 12:57:31 +0200 Subject: [RPL/2] RPL/2 4.1.37 -- Build error: `/bin/sh: line 3: -std=gnu++11: command not found` and more (giac). In-Reply-To: <20260925115924.7b1fc06f@felics-winmax2.localdomain> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> <20260925102523.3ae844c8@felics-winmax2.localdomain> <20260925115924.7b1fc06f@felics-winmax2.localdomain> Message-ID: <3517aedf-1a73-9933-49a9-a5edc23f04e5@systella.fr> I will check. I haven't written RPL/CAS myself and it's really a big piece of shit. I have sent a lot of patch upstream to fix several issues and main author refuses patches as "chez lui, ?a marche" ! JB -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 228 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 14:04:39 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Fri, 25 Sep 2026 14:04:39 +0200 Subject: [RPL/2] RPL/2 4.1.37 `tools/libXpm-3.5.16` requires `automake-1.17`. In-Reply-To: <3517aedf-1a73-9933-49a9-a5edc23f04e5@systella.fr> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> <20260925102523.3ae844c8@felics-winmax2.localdomain> <20260925115924.7b1fc06f@felics-winmax2.localdomain> <3517aedf-1a73-9933-49a9-a5edc23f04e5@systella.fr> Message-ID: <20260925140439.7497072f@felics-winmax2.localdomain> Compiling with `--disable-rplcas` to skip RPL/CAS errors out later in `tools/libXpm-3.5.16`, complaining that automake version 1.17 is needed. I have 1.18.1. Quick reading on the internet, `autoreconf -f -i` in the respecive direcrory(s) could help. ``` [...] make -C ./tools/libXpm-3.5.16 make[2]: Entering directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16' cd . && /bin/sh /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16/missing automake-1.17 --foreign /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16/missing: line 85: automake-1.17: command not found WARNING: 'automake-1.17' is missing on your system. You should only need it if you modified 'Makefile.am' or 'configure.ac' or m4 files included by 'configure.ac'. make[2]: *** [Makefile:414: Makefile.in] Error 1 make[2]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16' make[1]: *** [Makefile:1237: tools/libXpm-3.5.16/src/.libs/libXpm.a] Error 2 make[1]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37' make: *** [Makefile:982: all] Error 2 ``` Regards! On Fri, 25 Sep 2026 12:57:31 +0200, BERTRAND Jo?l wrote about "Re: [RPL/2] RPL/2 4.1.37 -- Build error: `/bin/sh: line 3: -std=gnu++11: command not found` and more (giac).": > I will check. I haven't written RPL/CAS myself and it's > really a big piece of shit. I have sent a lot of patch upstream to > fix several issues and main author refuses patches as "chez lui, ?a > marche" ! > > JB > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 14:19:14 2026 From: linux.felixbecker2 at gmx.de (Felix Becker) Date: Fri, 25 Sep 2026 14:19:14 +0200 Subject: [RPL/2] RPL/2 4.1.37 `tools/libXpm-3.5.16` requires `automake-1.17`. In-Reply-To: <20260925140439.7497072f@felics-winmax2.localdomain> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> <20260925102523.3ae844c8@felics-winmax2.localdomain> <20260925115924.7b1fc06f@felics-winmax2.localdomain> <3517aedf-1a73-9933-49a9-a5edc23f04e5@systella.fr> <20260925140439.7497072f@felics-winmax2.localdomain> Message-ID: <20260925141914.65723533@felics-winmax2.localdomain> ... having done that (and also installing `xbitmaps`), finally the Motif build crashes with a segmentation fault: ``` [...] /bin/sh ../../../libtool --tag=CC --mode=link gcc -march=native -mtune=native -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -fstack-clash-protection -fcf-protection -w -flto=auto -fno-strict-overflow -std=gnu17 -malign-double -funsigned-char -Wno-unused-value -Wno-error=unused-value -Wno-unused-but-set-variable -Wno-error=unused-but-set-variable -Wno-unused-label -Wno-error=unused-label -Wno-unused-function -Wno-error=unused-function -Wno-maybe-uninitialized -Wno-error=maybe-uninitialized -Wno-misleading-indentation -Wno-error=misleading-indentation -Wno-incompatible-pointer-types -Wno-pointer-sign -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=auto -pthread -o hellomotif hellomotif.o ../../../lib/Xm/libXm.la ../../../lib/Mrm/libMrm.la -lXp -lfontconfig -lXft -ljpeg -lpng libtool: link: gcc -march=native -mtune=native -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -fstack-clash-protection -fcf-protection -w -flto=auto -fno-strict-overflow -std=gnu17 -malign-double -funsigned-char -Wno-unused-value -Wno-error=unused-value -Wno-unused-but-set-variable -Wno-error=unused-but-set-variable -Wno-unused-label -Wno-error=unused-label -Wno-unused-function -Wno-error=unused-function -Wno-maybe-uninitialized -Wno-error=maybe-uninitialized -Wno-misleading-indentation -Wno-error=misleading-indentation -Wno-incompatible-pointer-types -Wno-pointer-sign -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z -Wl,relro -Wl,-z -Wl,now -flto=auto -pthread -o hellomotif hellomotif.o ../../../lib/Xm/.libs/libXm.a ../../../lib/Mrm/.libs/libMrm.a /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/lib/Xm/.libs/libXm.a -lXmu -lXext -lXt -lSM -lICE -lX11 -lXp -lfontconfig -lXft -ljpeg -lpng -pthread ../../../clients/uil/uil -o hellomotif.uid hellomotif.uil -I./../../../clients/uil -I../../../clients/uil make[5]: *** [Makefile:731: hellomotif.uid] Segmentation fault make[5]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/demos/programs/hellomotif' make[4]: *** [Makefile:427: all-recursive] Error 1 make[4]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/demos/programs' make[3]: *** [Makefile:394: all-recursive] Error 1 make[3]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/demos' make[2]: *** [Makefile:451: all-recursive] Error 1 make[2]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8' make[1]: *** [Makefile:1232: tools/motif-2.3.8/install/lib/libXm.a] Error 2 make[1]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37' make: *** [Makefile:982: all] Error 2 ``` Manually `cd tools/motif-2.3.8/demos/programs/hellomotif`, `make` reproduces this. GDB run (`gdb make`): ``` Reading symbols from make... Downloading separate debug info for /usr/bin/make (No debugging symbols found in make) (gdb) run Starting program: /usr/bin/make [Thread debugging using libthread_db enabled] Using host libthread_db library "/usr/lib/libthread_db.so.1". ../../../clients/uil/uil -o hellomotif.uid hellomotif.uil -I./../../../clients/uil -I../../../clients/uil [Detaching after vfork from child process 18422] make: *** [Makefile:731: hellomotif.uid] Segmentation fault [Inferior 1 (process 18393) exited with code 02] (gdb) bt ?? No stack. (gdb) quit ``` GDB run (`gdb --args ../../../clients/uil/uil -o hellomotif.uid hellomotif.uil -I./../../../clients/uil -I../../../clients/uil`): ``` Reading symbols from ../../../clients/uil/uil... (gdb) run Starting program: /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/clients/uil/uil -o hellomotif.uid hellomotif.uil -I./../../../clients/uil -I../../../clients/uil [Thread debugging using libthread_db enabled] Using host libthread_db library "/usr/lib/libthread_db.so.1". Program received signal SIGSEGV, Segmentation fault. 0x00005555555df8c0 in XmStringConcatAndFree () (gdb) bt #0 0x00005555555df8c0 in XmStringConcatAndFree () #1 0x00005555555babb3 in sem_evaluate_value_cs.part () #2 0x00005555555bba5c in sem_evaluate_value_expr.part () #3 0x00005555555bb6c2 in sem_evaluate_value_expr.part () #4 0x00005555555bcb16 in sem_evaluate_value () #5 0x00005555555be5b2 in sem_validate_node () #6 0x00005555555be7e6 in sem_validate_argument_list () #7 0x00005555555be4ad in sem_validate_node () #8 0x00005555555be5c9 in sem_validate_node () #9 0x000055555559d09f in main () (gdb) cont Continuing. Program terminated with signal SIGSEGV, Segmentation fault. The program no longer exists. (gdb) quit ``` Seems I cannot build RPL/2 with motif on an up to date system? (Can you use system installed Open Motif instead? I have version 2.3.8.) Thanks for all your patience! Regards! On Fri, 25 Sep 2026 14:04:39 +0200, linux.felixbecker2 at gmx.de wrote about "Re: [RPL/2] RPL/2 4.1.37 `tools/libXpm-3.5.16` requires `automake-1.17`.": > Compiling with `--disable-rplcas` to skip RPL/CAS errors out later in > `tools/libXpm-3.5.16`, complaining that automake version 1.17 is > needed. I have 1.18.1. > > Quick reading on the internet, `autoreconf -f -i` in the respecive > direcrory(s) could help. > > ``` > [...] > make -C ./tools/libXpm-3.5.16 > make[2]: Entering directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16' > cd . && /bin/sh > /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16/missing > automake-1.17 --foreign > /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16/missing: > line 85: automake-1.17: command not found WARNING: 'automake-1.17' is > missing on your system. You should only need it if you modified > 'Makefile.am' or 'configure.ac' or m4 files included by > 'configure.ac'. make[2]: *** [Makefile:414: Makefile.in] Error 1 > make[2]: Leaving directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16' > make[1]: *** [Makefile:1237: tools/libXpm-3.5.16/src/.libs/libXpm.a] > Error 2 make[1]: Leaving directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37' make: *** > [Makefile:982: all] Error 2 ``` > > Regards! > > On Fri, 25 Sep 2026 12:57:31 +0200, BERTRAND Jo?l > wrote about "Re: [RPL/2] RPL/2 4.1.37 -- > Build error: `/bin/sh: line 3: -std=gnu++11: command not found` and > more (giac).": > > > I will check. I haven't written RPL/CAS myself and it's > > really a big piece of shit. I have sent a lot of patch upstream to > > fix several issues and main author refuses patches as "chez lui, ?a > > marche" ! > > > > JB > > > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 15:43:38 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Fri, 25 Sep 2026 15:43:38 +0200 Subject: [RPL/2] RPL/2 4.1.37 `tools/libXpm-3.5.16` requires `automake-1.17`. In-Reply-To: <20260925141914.65723533@felics-winmax2.localdomain> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> <20260925102523.3ae844c8@felics-winmax2.localdomain> <20260925115924.7b1fc06f@felics-winmax2.localdomain> <3517aedf-1a73-9933-49a9-a5edc23f04e5@systella.fr> <20260925140439.7497072f@felics-winmax2.localdomain> <20260925141914.65723533@felics-winmax2.localdomain> Message-ID: <20260925154338.2ec6ff49@felics-winmax2.localdomain> OK, with `--disable-motif` and `--disable-rplcas` it builds. But `make check` still wants to check in `rplcas/` and fails on this: ``` [...] Making check in rplcas make[1]: Entering directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/rplcas' make[1]: *** No rule to make target 'check'. Stop. make[1]: Leaving directory '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/rplcas' make: *** [Makefile:559: check-recursive] Error 1 ``` Regards! On Fri, 25 Sep 2026 14:19:14 +0200, Felix Becker wrote about "Re: [RPL/2] RPL/2 4.1.37 `tools/libXpm-3.5.16` requires `automake-1.17`.": > ... having done that (and also installing `xbitmaps`), finally the > Motif build crashes with a segmentation fault: > > ``` > [...] > /bin/sh ../../../libtool --tag=CC --mode=link gcc -march=native > -mtune=native -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 > -Wformat -fstack-clash-protection -fcf-protection -w -flto=auto > -fno-strict-overflow -std=gnu17 -malign-double -funsigned-char > -Wno-unused-value -Wno-error=unused-value > -Wno-unused-but-set-variable -Wno-error=unused-but-set-variable > -Wno-unused-label -Wno-error=unused-label -Wno-unused-function > -Wno-error=unused-function -Wno-maybe-uninitialized > -Wno-error=maybe-uninitialized -Wno-misleading-indentation > -Wno-error=misleading-indentation -Wno-incompatible-pointer-types > -Wno-pointer-sign -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now > -flto=auto -pthread -o hellomotif hellomotif.o > ../../../lib/Xm/libXm.la ../../../lib/Mrm/libMrm.la -lXp > -lfontconfig -lXft -ljpeg -lpng libtool: link: gcc -march=native > -mtune=native -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 > -Wformat -fstack-clash-protection -fcf-protection -w -flto=auto > -fno-strict-overflow -std=gnu17 -malign-double -funsigned-char > -Wno-unused-value -Wno-error=unused-value > -Wno-unused-but-set-variable -Wno-error=unused-but-set-variable > -Wno-unused-label -Wno-error=unused-label -Wno-unused-function > -Wno-error=unused-function -Wno-maybe-uninitialized > -Wno-error=maybe-uninitialized -Wno-misleading-indentation > -Wno-error=misleading-indentation -Wno-incompatible-pointer-types > -Wno-pointer-sign -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z > -Wl,relro -Wl,-z -Wl,now -flto=auto -pthread -o hellomotif > hellomotif.o ../../../lib/Xm/.libs/libXm.a > ../../../lib/Mrm/.libs/libMrm.a > /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/lib/Xm/.libs/libXm.a > -lXmu -lXext -lXt -lSM -lICE -lX11 -lXp -lfontconfig -lXft -ljpeg > -lpng -pthread ../../../clients/uil/uil -o hellomotif.uid > hellomotif.uil -I./../../../clients/uil -I../../../clients/uil > make[5]: *** [Makefile:731: hellomotif.uid] Segmentation fault > make[5]: Leaving directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/demos/programs/hellomotif' > make[4]: *** [Makefile:427: all-recursive] Error 1 make[4]: Leaving > directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/demos/programs' > make[3]: *** [Makefile:394: all-recursive] Error 1 make[3]: Leaving > directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/demos' > make[2]: *** [Makefile:451: all-recursive] Error 1 make[2]: Leaving > directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8' > make[1]: *** [Makefile:1232: tools/motif-2.3.8/install/lib/libXm.a] > Error 2 make[1]: Leaving directory > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37' make: *** > [Makefile:982: all] Error 2 ``` > > Manually `cd tools/motif-2.3.8/demos/programs/hellomotif`, `make` > reproduces this. > > GDB run (`gdb make`): > ``` > Reading symbols from make... > Downloading separate debug info for /usr/bin/make > (No debugging symbols found in make) > (gdb) run > Starting program: /usr/bin/make > [Thread debugging using libthread_db enabled] > Using host libthread_db library "/usr/lib/libthread_db.so.1". > ../../../clients/uil/uil -o hellomotif.uid hellomotif.uil > -I./../../../clients/uil -I../../../clients/uil [Detaching after > vfork from child process 18422] make: *** [Makefile:731: > hellomotif.uid] Segmentation fault [Inferior 1 (process 18393) exited > with code 02] (gdb) bt > ?? No stack. > (gdb) quit > ``` > > GDB run (`gdb --args ../../../clients/uil/uil -o hellomotif.uid > hellomotif.uil -I./../../../clients/uil -I../../../clients/uil`): ``` > Reading symbols from ../../../clients/uil/uil... > (gdb) run > Starting program: > /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/motif-2.3.8/clients/uil/uil > -o hellomotif.uid hellomotif.uil -I./../../../clients/uil > -I../../../clients/uil [Thread debugging using libthread_db enabled] > Using host libthread_db library "/usr/lib/libthread_db.so.1". > > Program received signal SIGSEGV, Segmentation fault. > 0x00005555555df8c0 in XmStringConcatAndFree () > (gdb) bt > #0 0x00005555555df8c0 in XmStringConcatAndFree () > #1 0x00005555555babb3 in sem_evaluate_value_cs.part () > #2 0x00005555555bba5c in sem_evaluate_value_expr.part () > #3 0x00005555555bb6c2 in sem_evaluate_value_expr.part () > #4 0x00005555555bcb16 in sem_evaluate_value () > #5 0x00005555555be5b2 in sem_validate_node () > #6 0x00005555555be7e6 in sem_validate_argument_list () > #7 0x00005555555be4ad in sem_validate_node () > #8 0x00005555555be5c9 in sem_validate_node () > #9 0x000055555559d09f in main () > (gdb) cont > Continuing. > > Program terminated with signal SIGSEGV, Segmentation fault. > The program no longer exists. > (gdb) quit > ``` > > Seems I cannot build RPL/2 with motif on an up to date system? (Can > you use system installed Open Motif instead? I have version 2.3.8.) > > Thanks for all your patience! > > Regards! > > On Fri, 25 Sep 2026 14:04:39 +0200, linux.felixbecker2 at gmx.de wrote > about "Re: [RPL/2] RPL/2 4.1.37 `tools/libXpm-3.5.16` requires > `automake-1.17`.": > > > Compiling with `--disable-rplcas` to skip RPL/CAS errors out later > > in `tools/libXpm-3.5.16`, complaining that automake version 1.17 is > > needed. I have 1.18.1. > > > > Quick reading on the internet, `autoreconf -f -i` in the respecive > > direcrory(s) could help. > > > > ``` > > [...] > > make -C ./tools/libXpm-3.5.16 > > make[2]: Entering directory > > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16' > > cd . && /bin/sh > > /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16/missing > > automake-1.17 --foreign > > /var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16/missing: > > line 85: automake-1.17: command not found WARNING: 'automake-1.17' > > is missing on your system. You should only need it if you modified > > 'Makefile.am' or 'configure.ac' or m4 files included by > > 'configure.ac'. make[2]: *** [Makefile:414: Makefile.in] Error 1 > > make[2]: Leaving directory > > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37/tools/libXpm-3.5.16' > > make[1]: *** [Makefile:1237: tools/libXpm-3.5.16/src/.libs/libXpm.a] > > Error 2 make[1]: Leaving directory > > '/var/cache/makepkg/build/rpl-2/src/rpl-4.1.37' make: *** > > [Makefile:982: all] Error 2 ``` > > > > Regards! > > > > On Fri, 25 Sep 2026 12:57:31 +0200, BERTRAND Jo?l > > wrote about "Re: [RPL/2] RPL/2 4.1.37 -- > > Build error: `/bin/sh: line 3: -std=gnu++11: command not found` and > > more (giac).": > > > > > I will check. I haven't written RPL/CAS myself and it's > > > really a big piece of shit. I have sent a lot of patch upstream to > > > fix several issues and main author refuses patches as "chez lui, > > > ?a marche" ! > > > > > > JB > > > > > > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 16:03:28 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Fri, 25 Sep 2026 16:03:28 +0200 Subject: [RPL/2] Arch Linux AUR package. Message-ID: <20260925160328.227dc62c@felics-winmax2.localdomain> Heyo, so far, I have made an Arch Linux package recipe of RPL/2: https://aur.archlinux.org/packages/rpl-2 | https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=rpl-2 I have to build without rplcas and without motif because of the build errors I encountered on the way. Regards! -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 17:46:22 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Fri, 25 Sep 2026 17:46:22 +0200 Subject: [RPL/2] RPL/2 4.1.37 In-Reply-To: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> Message-ID: <20260925174622.268f0b3a@felics-winmax2.localdomain> I have built it according to this recipe [1]. `/usr/bin/rpl` repeatedly refuses to work due to checksum mismatches: `rpl -i`: +++RPL/2 (R) version 4.1.37 (Friday 09/25/26, 17:43:40 CEST) +++Copyright (C) 1989 to 2025, 2026 BERTRAND Joel +++This is a free software with absolutely no warranty. +++For details, type 'warranty'. +++Fatal : Hash code mismatch Function md5(/usr/bin/rpliconv) Computed hash code : b3ab09562a9e49065307c64624acc8c5 Expected hash code : 67ff8f03a4cd8e330253fd65c7eee720 +++Fatal : Error in compilation ``` Any idea how to fix this? Regards! [1] https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=rpl-2 On Thu, 17 Sep 2026 17:18:32 +0200, BERTRAND Jo?l wrote about "[RPL/2] RPL/2 4.1.37": > Hello, > > New release with bugfixes : > - major bug is fixed in analyse_algebrique: '-X-Y' returned > 'NEG(X-Y)'. > - major bug is fixed in DER (implicit name); > - UDATE is added (returns UTC timestamp); > - bug is fixed in PUT intrinsic: > <[ {} {} {} {} ]> {} { 4 } PUT crashed RPL/2 when indices list was > empty. Same patch for GET (but GET doesn't crash). > - rplunits generation is fixed; > - units is upgraded to 2.24; > - gnuplot is upgraded to 6.0.3; > - major bug is fixed in = intrinsic (system error); > - LOCALIZATION is modified to remain local to a thread. > > And simplification() is now used. Only +/- simplification is > done. > > Regards, > > JB > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From joel.bertrand at systella.fr Fri Sep 25 18:18:03 2026 From: joel.bertrand at systella.fr (=?UTF-8?Q?BERTRAND_Jo=c3=abl?=) Date: Fri, 25 Sep 2026 18:18:03 +0200 Subject: [RPL/2] RPL/2 4.1.37 In-Reply-To: <20260925174622.268f0b3a@felics-winmax2.localdomain> References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> <20260925174622.268f0b3a@felics-winmax2.localdomain> Message-ID: You have to do make install. RPL/2 verifies hash of tools and you try to execute RPL/2 with tools from another release. -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 228 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Fri Sep 25 18:29:15 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Fri, 25 Sep 2026 18:29:15 +0200 Subject: [RPL/2] RPL/2 4.1.37 In-Reply-To: References: <4518f41c-40da-46f0-5837-88622f953c98@systella.fr> <20260925174622.268f0b3a@felics-winmax2.localdomain> Message-ID: <20260925182915.1a70186a@felics-winmax2.localdomain> > You have to do make install. I did. In `package()` function. I install into "${pkgdir}" with `make DESTDIR="${pkgdir}" install`, and then the packaging script collects and installs into filesystem, from where I execute. But what I actualle see is that when I do the `make install`, something OpenSSL related gets rebuilt. Maybe in that step it re-builds/ links against system OpenSSL? And I see: * hashes (expected and real) stay the same if I just delete everything and rebuild, * both change if I toggle LTO build. I can delete the complete build directory and everything stays the same, so it does not seem that build directory files are used at all. --- OK, found it: I have to tell my packaging system to not 'strip' :-(. Regards! -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Sat Sep 26 10:27:34 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Sat, 26 Sep 2026 10:27:34 +0200 Subject: [RPL/2] Documentation issues: Cropped text. Question: Up-to-dateness information? Suggestion: Include in sources. Message-ID: <20260926102734.302b5177@felics-winmax2.localdomain> Another issue report: Your French documentation `reference_rpl_french.ps.bz2` [1] is on page 156 cropped: Content flows out of the page; there seems to be more content that cannot be read. In particular, the last lines I see are > 24.22 GET > 24.23 GETi and then I only the the upper part of some letters that resemble to be also some sort of "Get". Similar on pages 212 and 234. By the way, can the "up-to-date"ness of the documentation been seen anywhere? There are conflicting date informations: * Inside the document, on the front page, there is written "8 septembre 2010", whereas * on the website https://rpl2.systella.fr/telechargements.php#documentation, in front of the download link, it is written "2020-06-10". And, a suggestion: Include the documentation source files in the RPL/2 download sources, so RPL/2 build can also build documentation (and people can build in other file formats if they like: Parsing plain .tex or some generated markdown is easier to "grep" for some text if someone is just searching for some word, since LaTeX replaces normal characters by special stuff like ligatures, or introduces linebreaks, which are very good vor human eye, but bad for searching), and _maybe_ it makes easier to start some translations? Regards and thanks for the project! [1] https://rpl2.systella.fr/download/reference_rpl_french.ps.bz2 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: From joel.bertrand at systella.fr Sat Sep 26 11:10:57 2026 From: joel.bertrand at systella.fr (=?UTF-8?Q?BERTRAND_Jo=c3=abl?=) Date: Sat, 26 Sep 2026 11:10:57 +0200 Subject: [RPL/2] Documentation issues: Cropped text. Question: Up-to-dateness information? Suggestion: Include in sources. In-Reply-To: <20260926102734.302b5177@felics-winmax2.localdomain> References: <20260926102734.302b5177@felics-winmax2.localdomain> Message-ID: Hello, It's a really old documentation. Unfortunately, I don't have a lot of time to write documentation. In the past, I have proposed to open web pages to help me (just for documentation, I know internal's RPL/2 are very complex), I have no return. Today, I only have a french "manuel de r?f?rence" on a CVS tree, written with LaTeX. If someone want to help, he will welcome ;-) JKB -------------- next part -------------- A non-text attachment was scrubbed... Name: reference_rpl.pdf Type: application/pdf Size: 752429 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 228 bytes Desc: OpenPGP digital signature URL: From linux.felixbecker2 at gmx.de Sun Sep 27 14:27:28 2026 From: linux.felixbecker2 at gmx.de (linux.felixbecker2 at gmx.de) Date: Sun, 27 Sep 2026 14:27:28 +0200 Subject: [RPL/2] Documentation issues: Cropped text. Question: Up-to-dateness information? Suggestion: Include in sources. In-Reply-To: References: <20260926102734.302b5177@felics-winmax2.localdomain> Message-ID: <20260927142728.2b4b11e7@felics-winmax2.localdomain> Heyo, the one you attached is again different from the one to download on your website (https://rpl2.systella.fr/download/reference_rpl_french.ps.bz2). Regards! Which one now is newer, and can you publish the latest LaTeX source for download, too (maybe just putting it together with the next RPL/2 release)? On Sat, 26 Sep 2026 11:10:57 +0200, BERTRAND Jo?l wrote about "Re: [RPL/2] Documentation issues: Cropped text. Question: Up-to-dateness information? Suggestion: Include in sources.": > Hello, > > It's a really old documentation. Unfortunately, I don't have > a lot of time to write documentation. In the past, I have proposed to > open web pages to help me (just for documentation, I know internal's > RPL/2 are very complex), I have no return. Today, I only have a > french "manuel de r?f?rence" on a CVS tree, written with LaTeX. If > someone want to help, he will welcome ;-) > > JKB -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 833 bytes Desc: OpenPGP digital signature URL: