Problems with FriCAS on Apple M2 Pro Ventura 13.2.1

[Prof. Dr. Johannes Grabmeier]

Hi all,

got a new Apple MacBook and try to make FriCAS run again:

1st attempt: downloaded 1.3.8 turnball, error on configure:

~/downloads/fricas-1.3.8$ ./configure
checking build system type... arm-apple-darwin22.3.0
checking host system type... arm-apple-darwin22.3.0
checking target system type... arm-apple-darwin22.3.0
checking for in-tree build on case insensitive file system... configure:
error: in tree build on case insensitive file system is not supported.
Use out-of-source-tree build instead.

how do I use "out-of-source-tree build" instead?


2nd attempt: downloaded the binary, moved to Applications and fought
successfully with Apple to get a non certified application running, then
the following error occurs:

"fricas“ kann nicht geöffnet werden, weil (null) nicht erlaubt ist,
Dokumente in Terminal zu öffnen.

translated to English:

fricas“ can not be opened, as (null) is not allowed to open documents in
terminal.

Any idea to fix


--
Mit freundlichen Grüßen
Johannes Grabmeier

[Ralf Hemmecke]

On 20.03.23 19:51, Prof. Dr. Johannes Grabmeier wrote:
> how do I use "out-of-source-tree build" instead?

The github build instructions give you some hints.

https://github.com/fricas/fricas/blob/master/.github/workflows/macOS.yml#L17

Suppose the fricas repo lives in $HOME/fricas. Then build as follows.

mkdir -p $HOME/fricas-build
cd SHOME/fricas-build
$HOME/fricas/configure --with-lisp=sbcl --with-gmp
--prefix=/your/install/path
make
make install

Ralf

[Qian Yun]

I use "Ctrl+click to get non certified application running", however I
need to do it 3 times: First the "FriCAS.app", then file
"Contents/MacOS/FriCAS" and "Contents/Resources/usr/local/bin/fricas".

I wonder if this works for you.

- Qian

[Prof. Dr. Johannes Grabmeier]

Dear all,

thanks  to Qian, I did what you suggested, but I do not know whether it works as I encountered new problems.

1. in Contents/Resources/usr/local/bin/fricas, the following file is needed:

 /usr/local/lib/fricas/target/x86_64-apple-darwin19.6.0

my version is only: x86_64-apple-darwin17

2. The downloaded Apple binary version still says in German:  fricas“ can not be opened, as (null) is not allowed to open documents in terminal.

3. I commented the error causing check in configure out

1st attempt: downloaded 1.3.8 turnball, error on configure:

~/downloads/fricas-1.3.8$ ./configure
checking build system type... arm-apple-darwin22.3.0
checking host system type... arm-apple-darwin22.3.0
checking target system type... arm-apple-darwin22.3.0
checking for in-tree build on case insensitive file system... configure: error: in tree build on case insensitive file system is not supported. Use out-of-source-tree build instead.

how do I use "out-of-source-tree build" instead?

Then I get the error message:

checking Lisp implementation... mmap: Cannot allocate memory
ensure_space: failed to validate 1073741824 bytes at 0x1000000000
(hint: Try "ulimit -a"; maybe you should increase memory limits.)
sed: config_cl.out: No such file or directory
configure: error: Unable to determine Lisp flavor

Next attempt was to update SBCL to actual version 2.3.2, same error

~/sbcl$ sh make.sh
mmap: Cannot allocate memory
ensure_space: failed to validate 1073741824 bytes at 0x1000000000
(hint: Try "ulimit -a"; maybe you should increase memory limits.)
No working host Common Lisp implementation.
See ./INSTALL, the "SOURCE DISTRIBUTION" section

and this memory error also occurs, when I wanted to run my old FriCAS version, which I once compiled on my old Macbook.

Principle thaughts: x86 is Intel, but Apple now has its own M2 chip, so allone for that reasons an x86 binary probably does not work. So I have to use and fix the compile problem with case insensitive file system (it is case sensitive!) and the SBCL memory problem.

Any ideas an help is really appreciated. Thanks a lot.

Johannes

-------- Weitergeleitete Nachricht --------

Betreff:	Re: [fricas-devel] Problems with FriCAS on Apple M2 Pro Ventura 13.2.1
Datum:	Tue, 21 Mar 2023 12:28:06 +0800
Von:	Qian Yun <oldk...@gmail.com>
Antwort an:	fricas...@googlegroups.com
An:	fricas...@googlegroups.com

-- 
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/48f1d348-3d0f-327a-ae23-c64430fb69ad%40gmail.com.

-- 
Mit freundlichen Grüßen

Johannes Grabmeier

Prof. Dr. Johannes Grabmeier, 
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756
Fax: +49-(0)-991-2979592

-- 
Mit freundlichen Grüßen

Johannes Grabmeier

Prof. Dr. Johannes Grabmeier, 
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756
Fax: +49-(0)-991-2979592

[Ralf Hemmecke]

Doesn't that work what I wrote about "out-of-source build"?

https://groups.google.com/g/fricas-devel/c/ZCv5FSTv3Y8/m/EYTM-MpeAAAJ

Ralf

[Qian Yun]

Hi,

On 3/24/23 18:41, Prof. Dr. Johannes Grabmeier wrote:
> Dear all,
>
> thanks  to Qian, I did what you suggested, but I do not know whether it
> works as I encountered new problems.
>
>
> 1. in Contents/Resources/usr/local/bin/fricas, the following file is
> needed:
>
>  /usr/local/lib/fricas/target/x86_64-apple-darwin19.6.0
>
> my version is only: x86_64-apple-darwin17

I suggest you to use terminal instead of GUI for now:

Can you open a terminal, cd to
Contents/Resources/usr/local/lib/fricas/target/*/bin
and see if you can run "./FRICASsys" in the terminal.

> 2. The downloaded Apple binary version still says in German: fricas“ can
> not be opened, as (null) is not allowed to open documents in terminal.

I did some search, seems to be a macOS bug:

https://developer.apple.com/forums/thread/723842
https://github.com/facebook/react-native/issues/35726#issuecomment-1418601772

So wait for a macOS update or use the workaround (disable SIP).

> 3. I commented the error causing check in configure out
>
> 1st attempt: downloaded 1.3.8 turnball, error on configure:
>
> ~/downloads/fricas-1.3.8$ ./configure
> checking build system type... arm-apple-darwin22.3.0
> checking host system type... arm-apple-darwin22.3.0
> checking target system type... arm-apple-darwin22.3.0
> checking for in-tree build on case insensitive file system... configure:
> error: in tree build on case insensitive file system is not supported.
> Use out-of-source-tree build instead.
>
> how do I use "out-of-source-tree build" instead?

mkdir ~/downloads/build
cd ~/downloads/build
~/downloads/fricas-1.3.8/configure

> Then I get the error message:
>
> checking Lisp implementation... mmap: Cannot allocate memory
> ensure_space: failed to validate 1073741824 bytes at 0x1000000000
> (hint: Try "ulimit -a"; maybe you should increase memory limits.)
> sed: config_cl.out: No such file or directory
> configure: error: Unable to determine Lisp flavor
>
> Next attempt was to update SBCL to actual version 2.3.2, same error

How did you install SBCL? Is it x86_64 or arm64?

- Qian

[Waldek Hebisch]

On Fri, Mar 24, 2023 at 11:41:14AM +0100, Prof. Dr. Johannes Grabmeier wrote:
> Dear all,
>
> thanks  to Qian, I did what you suggested, but I do not know whether it
> works as I encountered new problems.
>

> checking for in-tree build on case insensitive file system... configure:
> error: in tree build on case insensitive file system is not supported. Use
> out-of-source-tree build instead.
>
> how do I use "out-of-source-tree build" instead?
>
> Then I get the error message:
>
> checking Lisp implementation... mmap: Cannot allocate memory
> ensure_space: failed to validate 1073741824 bytes at 0x1000000000
> (hint: Try "ulimit -a"; maybe you should increase memory limits.)
> sed: config_cl.out: No such file or directory
> configure: error: Unable to determine Lisp flavor
>
> Next attempt was to update SBCL to actual version 2.3.2, same error

Just quick remark: do not try sbcl-2.3.2 with FriCAS-1.3.8, it is
expected to fail. Instead, use sbcl-2.3.1 or earlier (or latest
FriCAS from git repo).

> ~/sbcl$ sh make.sh
> mmap: Cannot allocate memory
> ensure_space: failed to validate 1073741824 bytes at 0x1000000000
> (hint: Try "ulimit -a"; maybe you should increase memory limits.)
> No working host Common Lisp implementation.
> See ./INSTALL, the "SOURCE DISTRIBUTION" section
>
> and this memory error also occurs, when I wanted to run my old FriCAS
> version, which I once compiled on my old Macbook.
>
>
> Principle thaughts: x86 is Intel, but Apple now has its own M2 chip, so
> allone for that reasons an x86 binary probably does not work. So I have to
> use and fix the compile problem with case insensitive file system (it is
> case sensitive!) and the SBCL memory problem.
>
>
> Any ideas an help is really appreciated. Thanks a lot.

Apple includes x86 emulation, so x86 binary has non zero chance of
working. But native version would probably avoid some troubles.

The messages suggest that already sbcl has problem, FriCAS needs
working Lisp, so this must be resolved first. For native sbcl
normal way is to compile it using earler version of sbcl.
sbcl folks provide binary of sbcl-2.1.2 for Darwin on ARM64, which
theortically should work.

--
Waldek Hebisch

[Johannes Prof. Dr. Grabmeier, TH DEG]

Thanks for all the hints, which helped me to proceed:

1. Downloaded and installed binary of sbcl-2.1.2 for Darwin on ARM64 successful!

2. configure: still problem with the case sensitive file system check, I commented this check out in configure

3. Then configure runs successful in a terminal (next mistake I made, I userd iterm, probably some how with x86 background/emulation so uname -m gave x_86 and not arm 64, this is ok in terminal

4. but make fails, somehow it will again is confused with x86_64.

Any ideas?

DAASE=/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0 FRICAS=/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0 FRICAS_INITFILE='' /Users/jgrabmeier/fricas-1.3.8/build/arm-apple-darwin22.3.0/bin/interpsys
Checking for foreign routines
FRICAS="/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0"
spad-lib="/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so"
foreign routines found

debugger invoked on a SIMPLE-ERROR in thread
#<THREAD "main thread" RUNNING {7006170243}>:
  Error opening shared object "/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so":
  dlopen(/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so, 0x000A): tried: '/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')), '/System/Volumes/Preboot/Cryptexes/OS/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so' (no such file), '/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')).

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit from the current thread.

(SB-SYS:DLOPEN-OR-LOSE #S(SB-ALIEN::SHARED-OBJECT :PATHNAME #P"/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so" :NAMESTRING "/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so" :HANDLE NIL :DONT-SAVE NIL))
0]

[Grégory Vanuxem]

Hello,

It seems the C code files are compiled for the x86_64 target arch. Do
you have a compatible gcc for your arch?

You can try to export something like (in bash) before configure step.:

export CC='gcc -march=armv9-a’

Or something like that.
For example on my machine:

┌──(greg㉿ellipse)-[~/Git/jlfricas]
└─$ export CC='gcc -march=x86-64'

┌──(greg㉿ellipse)-[~/Git/jlfricas]
└─$ ./configure --enable-gmp
checking build system type... x86_64-linux-gnu
checking host system type... x86_64-linux-gnu
checking target system type... x86_64-linux-gnu
checking for in-tree build on case insensitive file system... no
checking for make... make
checking for gcc... gcc -march=x86-64
checking whether the C compiler works... yes

From the doc:
=================================================
march=name[+extension…]

This specifies the name of the target ARM architecture. GCC uses this
name to determine what kind of instructions it can emit when
generating assembly code. This option can be used in conjunction with
or instead of the -mcpu= option.

Permissible names are: ‘armv4t’, ‘armv5t’, ‘armv5te’, ‘armv6’,
‘armv6j’, ‘armv6k’, ‘armv6kz’, ‘armv6t2’, ‘armv6z’, ‘armv6zk’,
‘armv7’, ‘armv7-a’, ‘armv7ve’, ‘armv8-a’, ‘armv8.1-a’, ‘armv8.2-a’,
‘armv8.3-a’, ‘armv8.4-a’, ‘armv8.5-a’, ‘armv8.6-a’, ‘armv9-a’,
‘armv7-r’, ‘armv8-r’, ‘armv6-m’, ‘armv6s-m’, ‘armv7-m’, ‘armv7e-m’,
‘armv8-m.base’, ‘armv8-m.main’, ‘armv8.1-m.main’, ‘armv9-a’, ‘iwmmxt’
and ‘iwmmxt2’.
=================================================

But you have also configure target options for that:
./configure --help
|snip]
System types:
--build=BUILD configure for building on BUILD [guessed]
--host=HOST cross-compile to build programs to run on HOST [BUILD]
--target=TARGET configure for building compilers for TARGET [HOST]

Hope that helps. Otherwise, you'll have to install a C compiler that
can produce arm binaries.

__
Greg

Le sam. 25 mars 2023 à 15:23, Johannes Prof. Dr. Grabmeier, TH DEG
<j.l.gr...@gmail.com> a écrit :

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/5a12e6da-7420-4a14-b14f-323903274f7cn%40googlegroups.com.

[Dima Pasechnik]

We are able to build Fricas with ECL supplied by macOS Homebrew on an
M1 machine, native arm64,
no x86_64 stuff involved.

It's Fricas 1.3.8 patched with ECL-specific patches (SageMath patches,
see https://github.com/sagemath/sage/tree/develop/build/pkgs/fricas/patches)
discussed in https://github.com/fricas/fricas/issues/59
(which happened after 1.3.8 was released)% otool -L
./local/lib/fricas/target/aarch64-apple-darwin22.3.0/bin/FRICASsys
./local/lib/fricas/target/aarch64-apple-darwin22.3.0/bin/FRICASsys:
/opt/homebrew/opt/ecl/lib/libecl.21.2.dylib (compatibility
version 21.2.1, current version 0.0.0)
/opt/homebrew/opt/gmp/lib/libgmp.10.dylib (compatibility
version 15.0.0, current version 15.1.0)
/opt/homebrew/opt/bdw-gc/lib/libgc.1.dylib (compatibility
version 7.0.0, current version 7.1.0)
/usr/lib/libffi.dylib (compatibility version 1.0.0, current
version 30.0.0)
/usr/lib/libSystem.B.dylib (compatibility version 1.0.0,
current version 1319.0.0)

(Note that arm64 Homebrew is installed in /opt)

% file ./local/lib/fricas/target/aarch64-apple-darwin22.3.0/bin/FRICASsys
./local/lib/fricas/target/aarch64-apple-darwin22.3.0/bin/FRICASsys:
Mach-O 64-bit executable arm64

HTH
Dima

> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2daoR1DJ97jixDe6ck3HPOK%2BwgAGoGpHYZcMXKig7JqsXw%40mail.gmail.com.

[Prof. Dr. Johannes Grabmeier]

High,

that was a very useful remark, how could one have the idea that default of gcc is x86_64 on an arm64 machine. It was also hard to find out that my version is

armv8.5-a

(any standard way to find that out by some command or whatever for a later documentation of my trial and errors?)

I proceeded as Gregory has suggested, not know what concrete things one has to do for

But you have also configure target options for that:
./configure --help
|snip]
System types:
  --build=BUILD     configure for building on BUILD [guessed]
  --host=HOST       cross-compile to build programs to run on HOST [BUILD]
  --target=TARGET   configure for building compilers for TARGET [HOST]

I checked the configure log file, and for me this seems ok, e.g.

ac_cv_target=arm-apple-darwin22.3.0

FRICAS='/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0'

fricas_targetdir='/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0'

 host='arm-apple-darwin22.3.0'

But the gmake failed, as the directory is not created  (again referring to x86):

~/fricas-1.3.8$ make
cd ./src && /Applications/Xcode.app/Contents/Developer/usr/bin/make BUILD_DATE="`date`" all-src
gcc -march=armv8.5-a -g -dynamiclib -single_module bsdsignal.o cfuns-c.o sockio-c.o  -o /Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so
ld: warning: ignoring file bsdsignal.o, building for macOS-arm64 but attempting to link with file built for unknown-x86_64
ld: warning: ignoring file cfuns-c.o, building for macOS-arm64 but attempting to link with file built for unknown-x86_64
ld: warning: ignoring file sockio-c.o, building for macOS-arm64 but attempting to link with file built for unknown-x86_64
ld: can't open output file for writing: /Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so, errno=2 for architecture arm64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
make[2]: *** [/Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so] Error 1
make[1]: *** [all-lib] Error 2
make: *** [all-src] Error 2

Regards Johannes

Am 25.03.23 um 19:48 schrieb Grégory Vanuxem:

[Qian Yun]

On 3/27/23 18:42, Prof. Dr. Johannes Grabmeier wrote:
> gcc -march=armv8.5-a -g -dynamiclib -single_module bsdsignal.o cfuns-c.o
> sockio-c.o  -o
> /Users/jgrabmeier/fricas-1.3.8/target/arm-apple-darwin22.3.0/lib/libspad.so
> ld: warning: ignoring file bsdsignal.o, building for macOS-arm64 but
> attempting to link with file built for unknown-x86_64

Clearly, bsdsignal.o is built as x86, so before linking libspad.so, you
need to recompile *.o.

- Qian

[Dima Pasechnik]

On Mon, 27 Mar 2023, 11:42 Prof. Dr. Johannes Grabmeier, <joha...@grabmeier.net> wrote:

High,

that was a very useful remark, how could one have the idea that default of gcc is x86_64 on an arm64 machine. It was also hard to find out that my version is

armv8.5-a

normally speaking this is not the case - you have a weird gcc installation somewhere. Note that gcc might actually be Apple's clang compiler

(thanks Apple for stealing the name)

% gcc -v
Apple clang version 14.0.0 (clang-1400.0.29.202)
Target: arm64-apple-darwin22.3.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

 

this is on an M1 mac:

% uname -a
Darwin studio.local 22.3.0 Darwin Kernel Version 22.3.0: Mon Jan 30 20:38:37 PST 2023; root:xnu-8792.81.3~2/RELEASE_ARM64_T6000 arm64

Unless really necessary, I'd use Apple's "gcc", it's certainly better supported.

HTH

Dima

To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/6324bbac-d565-d633-95c2-3b1c3f72721f%40grabmeier.net.

[Prof. Dr. Johannes Grabmeier]

it seems that this looks ok:

~$ uname -a
Darwin MBPvonJohannes.fritz.box 22.3.0 Darwin Kernel Version 22.3.0: Mon Jan 30 20:39:46 PST 2023; root:xnu-8792.81.3~2/RELEASE_ARM64_T6020 arm64
~$
~$ gcc -v
Apple clang version 13.1.6 (clang-1316.0.21.2.5)

Target: arm64-apple-darwin22.3.0
Thread model: posix

InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

Am 27.03.23 um 14:43 schrieb Dima Pasechnik:

To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAAWYfq2VJvvsvYhPdQyAmBVcYFfRsbfPFOfrrqpCYiWHseqU5g%40mail.gmail.com.

[Dima Pasechnik]

On Tue, 28 Mar 2023, 20:10 Prof. Dr. Johannes Grabmeier, <j.l.gr...@gmail.com> wrote:

it seems that this looks ok:

~$ uname -a
Darwin MBPvonJohannes.fritz.box 22.3.0 Darwin Kernel Version 22.3.0: Mon Jan 30 20:39:46 PST 2023; root:xnu-8792.81.3~2/RELEASE_ARM64_T6020 arm64
~$
~$ gcc -v
Apple clang version 13.1.6 (clang-1316.0.21.2.5)
Target: arm64-apple-darwin22.3.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

it  seems that you don't have Command Line Tools installed, and also your version of XCode might be not up to date.

My advice would be to rectify these.

HTH

Dima

To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/db6ba101-6dd8-4171-de71-fe96192823e8%40gmail.com.

[Валерий Заподовников]

"armv9-a" That is not what M2 is. It is only ARMv8.5-A (actually ARMv8.6 just without SM4). Indeed, see https://reviews.llvm.org/D134351

"(thanks Apple for stealing the name)" They did not steal anything, llvm has permissive license. Intel compiler also nowadays uses it.

"any standard way to find that out by some command or whatever for a later documentation" march=native with clang

[Dima Pasechnik]

On Wed, 29 Mar 2023, 10:01 Валерий Заподовников, <val.za...@gmail.com> wrote:

"armv9-a" That is not what M2 is. It is only ARMv8.5-A (actually ARMv8.6 just without SM4). Indeed, see https://reviews.llvm.org/D134351

"(thanks Apple for stealing the name)" They did not steal anything, llvm has permissive license.

GPL, what GNU Compiler Collection, a.k.a. gcc, is using, is not a very permissive licence, unlike MIT one. But this is beside my point.

When I say "they stole the name gcc" I mean that they caused an endless amount of, unnecessary otherwise, coding in installation scripts, to try to sort out whether this gcc is real gcc, or clang.

Because they are not  100% compatible, this is needed, unfortunately.

Apple caused more grief to the GCC project and developers of maths soft on Apple  than just this, but, again, it's beside my point.

Intel compiler also nowadays uses it.

"any standard way to find that out by some command or whatever for a later documentation" march=native with clang

--

You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/6371feb0-aa5a-4f9f-a911-abbd7a75f681n%40googlegroups.com.

[Prof. Dr. Johannes Grabmeier]

just to inform you: FriCAS 1.3.8 has successfully been compiled and now is running on my new Macbook Pro M2 arm64v8.5-a Ventura 13.2.1. Thanks for all the help. I will write down a recipe what to do to make it work and publish it here.

Johannes

Am 29.03.23 um 11:21 schrieb Dima Pasechnik:

To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAAWYfq3jsmDrLXvBorUScGJkrkeEOx%3DKodQd%3DXnjmRis2to4sg%40mail.gmail.com.

[Grégory Vanuxem]

Le mer. 29 mars 2023, 11:01, Валерий Заподовников <val.za...@gmail.com> a écrit :

"armv9-a" That is not what M2 is. It is only ARMv8.5-A (actually ARMv8.6 just without SM4). Indeed, see https://reviews.llvm.org/D134351

Ok... That was just a hint.

You are offensive sometimes... 

Are you aware of that? No matter for me. 

__25. 

Greg 

[Grégory Vanuxem]

"somewhere", sorry.