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

~/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 <[email protected]>
Antwort an:     [email protected]
An:     [email protected]



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

On 3/21/23 02:51, Prof. Dr. Johannes Grabmeier wrote:
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




--
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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/4a331168-8e11-afdd-2582-9eee1c05f97e%40gmail.com.

Reply via email to