- CLN-list - ginac.de

Upgrade of mailing list software
by Richard B. Kreckel 04 Jul '25

04 Jul '25

Greetings, due to obsolescence reasons, we have migrated this mailing list from GNU Mailman 2 to Mailman 3. All list memberships have (hopefully) been retained, so you should be able to continue using this list as before. All old list passwords, however, are gone. This also means no more monthly membership and password reminders. If you wish to manage your subscriptions using a web interface, you need to head to: https://lists.ginac.de/ and create an account ("Sign Up") using the same email address with which you are subscribed to this list (there will be a verification step for that address). This is optional - you can also manage you subscription via email to the special "-request" or "-unsubscribe" list addresses. The footer of this mail should give an example. The new list archives are located here: https://lists.ginac.de/archives/list/cln-list@ginac.de/ and now provide a fulltext search feature. If you encounter any issues, please do not hesitate to contact us directly. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

1 0

Issue about CLN installation
by Michele Dradi 16 Jan '24

16 Jan '24

Hello to everybody, I don't know if the CLN mail list can be used also as help forum, if this is not the case I'm sorry for this spam. I'm writing this email because I have encountered an error that I'm not able to solve when running the make command in the installation procedure of cln-1.3.6. I'm currently using macOS Sonoma 14.2.1 with M2. The problem is that when I run make I obtain the error base/low/cl_low_div.cc:13:8: error: declaration of 'divu_16_rest' in global scope conflicts with declaration with C language linkage uint16 divu_16_rest; ^ ./base/cl_low.h:447:21: note: declared with C language linkage here extern "C" uint16 divu_16_rest; // -> Rest r ^ base/low/cl_low_div.cc:104:8: error: declaration of 'divu_32_rest' in global scope conflicts with declaration with C language linkage uint32 divu_32_rest; ^ ./base/cl_low.h:597:21: note: declared with C language linkage here extern "C" uint32 divu_32_rest; // -> Rest r ^ base/low/cl_low_div.cc:210:8: error: declaration of 'divu_64_rest' in global scope conflicts with declaration with C language linkage uint64 divu_64_rest; ^ ./base/cl_low.h:987:21: note: declared with C language linkage here extern "C" uint64 divu_64_rest; // -> Rest r ^ 3 errors generated. make[1]: *** [base/low/cl_low_div.lo] Error 1 make: *** [all-recursive] Error 1 It seems that the installation is in conflict with my c++ compiler, that is gcc with version Apple clang version 15.0.0 (clang-1500.1.0.2.5) Target: arm64-apple-darwin23.2.0 Thread model: posix InstalledDir: /Library/Developer/CommandLineTools/usr/bin Unfortunately, I don't know how to solve and install cln. Thanks to everybody, Michele Dradi

2 3

CLN defines macro As in global space
by Junges, J.S.L. (Sebastian) 23 Oct '23

23 Oct '23

Dear Richard, others, We, developers of the model checker Storm, are long-time users of CLN. Thanks for all your work. We recently got a bug message that boils down to a conflict between different libraries. In particular, CLN adds the Macro AS in include/cln/number.h in line 274. This macro is globally defined upon including CLN and uses conflicts, e.g., MLPACK. While we can work around this issue, we thought it may be possible to rename the macro to CL_AS or even _CL_AS. Best, Sebastian Junges

2 2

Re: [CLN-list] Error building cln on M1 Mac
by Bruno Haible 15 Aug '23

15 Aug '23

Ron Garret wrote: > I took the plunge and installed autoconf and all the other thing you need to build the git version, and that worked. > > So I guess the only issue is that the latest official release is a little behind. Good finding! Indeed, the fix was committed by Richard on 2021-11-04. Bruno

2 9

[PATCH] Add support for LoongArch
by Xiaotian Wu 01 Jun '23

01 Jun '23

--- include/cln/types.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/include/cln/types.h b/include/cln/types.h index 25284ff..d243865 100644 --- a/include/cln/types.h +++ b/include/cln/types.h @@ -47,7 +47,7 @@ #else #error "No 64 bit integer type?" #endif - #if (defined(__alpha__) || defined(__ia64__) || defined(__mips64__) || defined(__powerpc64__) || defined(__s390x__) || (defined(__sparc__) && defined(__arch64__)) || (defined(__x86_64__) || defined(_M_AMD64)) || defined(__aarch64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__)) + #if (defined(__alpha__) || defined(__ia64__) || defined(__mips64__) || defined(__powerpc64__) || defined(__s390x__) || (defined(__sparc__) && defined(__arch64__)) || (defined(__x86_64__) || defined(_M_AMD64)) || defined(__aarch64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__) || defined(__loongarch_lp64)) // 64 bit registers in hardware #define HAVE_FAST_LONGLONG #endif @@ -73,7 +73,7 @@ // Integer type used for counters. // Constraint: sizeof(uintC) >= sizeof(uintL) - #if (defined(HAVE_FAST_LONGLONG) && (defined(__alpha__) || defined(__ia64__) || defined(__powerpc64__) || defined(__s390x__) || (defined(__sparc__) && defined(__arch64__)) || defined(__x86_64__) || defined(__aarch64__) || defined(__mips64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__))) + #if (defined(HAVE_FAST_LONGLONG) && (defined(__alpha__) || defined(__ia64__) || defined(__powerpc64__) || defined(__s390x__) || (defined(__sparc__) && defined(__arch64__)) || defined(__x86_64__) || defined(__aarch64__) || defined(__mips64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__) || defined(__loongarch_lp64))) #define intCsize long_bitsize typedef long sintC; typedef unsigned long uintC; @@ -85,7 +85,7 @@ // Integer type used for lfloat exponents. // Constraint: sizeof(uintE) >= sizeof(uintC) - #if (defined(__alpha__) || defined(__ia64__) || defined(__powerpc64__) || defined(__s390x__) || (defined(__sparc__) && defined(__arch64__)) || defined(__x86_64__) || defined(__i386__) || defined(__mips__) || defined(__rs6000__) || defined(__aarch64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__)) + #if (defined(__alpha__) || defined(__ia64__) || defined(__powerpc64__) || defined(__s390x__) || (defined(__sparc__) && defined(__arch64__)) || defined(__x86_64__) || defined(__i386__) || defined(__mips__) || defined(__rs6000__) || defined(__aarch64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__) || defined(__loongarch_lp64)) #define intEsize 64 typedef sint64 sintE; typedef uint64 uintE; @@ -126,7 +126,7 @@ typedef int sintD; typedef unsigned int uintD; #else // we are not using GMP, so just guess something reasonable - #if (defined(HAVE_FAST_LONGLONG) && (defined(__alpha__) || defined(__ia64__) || defined(__powerpc64__) || (defined(__sparc__) && defined(__arch64__)) || defined(__s390x__) || defined(__x86_64__) || defined(__aarch64__) || defined(__mips64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__))) + #if (defined(HAVE_FAST_LONGLONG) && (defined(__alpha__) || defined(__ia64__) || defined(__powerpc64__) || (defined(__sparc__) && defined(__arch64__)) || defined(__s390x__) || defined(__x86_64__) || defined(__aarch64__) || defined(__mips64__) || (defined(__riscv) && __riscv_xlen == 64) || defined(__e2k__) || defined(__loongarch_lp64))) #define intDsize 64 typedef sint64 sintD; typedef uint64 uintD; -- 2.40.0

2 1

Not able to compile CLN MacBookPro17,1
by Jürg Andreas Haag 04 Apr '23

04 Apr '23

Good evening I am having problems compiling CLN with my MacBook pro Model Name: MacBook Pro Model Identifier: MacBookPro17,1 Model Number: Z11B000NMSM/A Chip: Apple M1 Total Number of Cores: 8 (4 performance and 4 efficiency) Memory: 16 GB on Ventura 13.3. Please find attached my config.log and the output from make. I found out, via Google, that the same error message has previously appeared for other users. I was, however, not able to find out how to fix it. I would be very grateful for your help. Kind regards Jürg

2 1

Re: [CLN-list] Error building cln on M1 Mac
by Richard B. Kreckel 05 Mar '23

05 Mar '23

Hi Ron, (Sending this to mailing list, too.) On 3/5/23 01:44, Ron Garret wrote: > I tried to build cln on an M1 mac and got the following error: > > > depbase=`echo base/low/cl_low_div.lo | sed 's|[^/]*$|.deps/&|;s|\.lo$||'`;\ > /bin/sh ../libtool --tag=CXX --mode=compile g++ -std=gnu++11 > -DHAVE_CONFIG_H -I. -I../autoconf -I../include -I../src -I../include > -I../src -g -O2 -MT base/low/cl_low_div.lo -MD -MP -MF $depbase.Tpo -c > -o base/low/cl_low_div.lo base/low/cl_low_div.cc <http://cl_low_div.cc> &&\ > mv -f $depbase.Tpo $depbase.Plo > libtool: compile: g++ -std=gnu++11 -DHAVE_CONFIG_H -I. -I../autoconf > -I../include -I../src -I../include -I../src -g -O2 -MT > base/low/cl_low_div.lo -MD -MP -MF base/low/.deps/cl_low_div.Tpo -c > base/low/cl_low_div.cc <http://cl_low_div.cc> -fno-common -DPIC -o > base/low/.libs/cl_low_div.o > *base/low/cl_low_div.cc:13 <http://cl_low_div.cc:13>:8: **error: > **declaration of 'divu_16_rest' in global scope conflicts with > declaration with C language linkage* > uint16 divu_16_rest; > * ^* > *./base/cl_low.h:447:21: note: *declared with C language linkage here > extern "C" uint16 divu_16_rest; // -> Rest r > * ^* > *base/low/cl_low_div.cc:104 <http://cl_low_div.cc:104>:8: **error: > **declaration of 'divu_32_rest' in global scope conflicts with > declaration with C language linkage* > uint32 divu_32_rest; > * ^* > *./base/cl_low.h:597:21: note: *declared with C language linkage here > extern "C" uint32 divu_32_rest; // -> Rest r > * ^* > *base/low/cl_low_div.cc:210 <http://cl_low_div.cc:210>:8: **error: > **declaration of 'divu_64_rest' in global scope conflicts with > declaration with C language linkage* > uint64 divu_64_rest; > * ^* > *./base/cl_low.h:987:21: note: *declared with C language linkage here > extern "C" uint64 divu_64_rest; // -> Rest r > * ^* > 3 errors generated. > > > From a cursory inspection of the code I suspect this is a problem with > the preprocessor. Specifically, this code in cl_low.h > > #elifdefined(__arm__) && !defined(NO_ASM) > ... > #defineNEED_VAR_divu_16_rest > > looks highly suspect to me. I have not traced the problem back any > further than that. > > I tried configure CPPFLAGS=-DNO_ASM but that did not fix the problem, > which surprised me. It really looks like that should have worked. Did you use the CLN off from git? I'm asking because patch 6edafa136b which is not in the released 1.3.6. All my best, -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

3 4

Global static class instance
by Jan Rheinländer 17 Jan '23

17 Jan '23

Hi, in file include/cln/lfloat_class.h there is the line static cl_LF_globals_init_helper cl_LF_globals_init_helper_instance; Now as far as I can see this will instantiate an instance of class cl_LF_globals_init_helper in every object file that includes the header (https://stackoverflow.com/questions/11967502/okay-to-declare-static-global-… seems to support this). Wouldn't it be better to replace static by extern and define the instance in some .cc file? Regards, Jan Rheinländer

2 1

Re: [CLN-list] Getting a build error
by Bork, Alexander 27 Apr '21

27 Apr '21

Hello Richard, I was running into the same error during compilation on a MacBook Pro 13'' with the M1 chip using Apple clang version 12.0.0. Applying the patch does indeed help with the build error described earlier. However, there are problems with compilation of cl_asm_arm_.cc (see attached file). My assumption is that it’s due to the architecture of the Apple Silicon chip. Is this a known problem? Best regards, Alex Bork

2 3

Getting a build error
by Philip Huffman 14 Apr '21

14 Apr '21

Hello, When I try to build CLN-1.3.6 on my laptop this is the result, below. I did ./configure and make. Any assistance would be most welcome. Thank you, Phil Huffman libtool: compile: g++ -std=gnu++11 -DHAVE_CONFIG_H -I. -I../autoconf -I../include -I../src -I../include -I../src -g -O2 -MT base/low/cl_low_div.lo -MD -MP -MF base/low/.deps/cl_low_div.Tpo -c base/low/cl_low_div.cc -fno-common -DPIC -o base/low/.libs/cl_low_div.o base/low/cl_low_div.cc:13:8: error: declaration of 'divu_16_rest' in global scope conflicts with declaration with C language linkage uint16 divu_16_rest; ^ ./base/cl_low.h:447:21: note: declared with C language linkage here extern "C" uint16 divu_16_rest; // -> Rest r ^ base/low/cl_low_div.cc:104:8: error: declaration of 'divu_32_rest' in global scope conflicts with declaration with C language linkage uint32 divu_32_rest; ^ ./base/cl_low.h:597:21: note: declared with C language linkage here extern "C" uint32 divu_32_rest; // -> Rest r ^ base/low/cl_low_div.cc:210:8: error: declaration of 'divu_64_rest' in global scope conflicts with declaration with C language linkage uint64 divu_64_rest; ^ ./base/cl_low.h:987:21: note: declared with C language linkage here extern "C" uint64 divu_64_rest; // -> Rest r ^ Hardware Overview: Model Name: MacBook Air Model Identifier: MacBookAir10,1 Chip: Apple M1 Total Number of Cores: 8 (4 performance and 4 efficiency) Memory: 16 GB System Firmware Version: 6723.81.1 Serial Number (system): FVFFF4WCQ6LR Hardware UUID: F736846B-85AC-56FD-8081-0C79C98784E6 Provisioning UDID: 00008103-0011212236DA001E Activation Lock Status: Disabled System Software Overview: System Version: macOS 11.2.3 (20D91) Kernel Version: Darwin 20.3.0 Boot Volume: MacOS HD Boot Mode: Normal Computer Name: Phil’s MacBook Air User Name: Phil Huffman (prh) Secure Virtual Memory: Enabled System Integrity Protection: Enabled

2 1