Re: [prism] Weird error when compiling from source on M1 macOS

[Dave Parker]

Hi Jan,

This was fixed quite recently, so the latest version of the codebase on
github should work:

https://github.com/prismmodelchecker/prism

Or if you want just the fix, it's a simple commenting-out in the CUDD
code; see this commit:

https://github.com/prismmodelchecker/prism/commit/7fa9d7685199bede7e06513ff420c9f6ef506c72

Note that you may need to do "make clean_all && make" after that change
since it affects CUDD.

I've not observed any problems with CommandLineTools I'm afraid.

Hope that helps,

Dave

On 18/05/2022 15:40, Jan Tugsbayar wrote:
> Hello,
>
> I'm trying to install PRISM from the source code on macOS Monterey
> 12.3.1 on a M1 powered Macbook. At first I had a lot of errors when
> compiling, but after a restart it was reduced to only one. I think that
> because of the fresh install of the required dependencies.
>
> The OS and architecture are automatically correctly detected as arm64
> and darwin. I have a 64 bit and the Java path is also correctly
> detected. GNU and gcc are also installed.
>
> The error is:
>
> */Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/__random/uniform_int_distribution.h:307:15:
> **error: **expected unqualified-id*
>
>     if (!__is.fail())
>
> *              ^*
>
> *../../../cudd/include/util.h:169:19: **note: *expanded from macro 'fail'
>
> #define fail(why) {\
>
> *                  ^*
>
> 1 error generated.
>
>
> But when I want to check the file, there is no folder CommandLineTools
> in Library/Developer. Has anyone else experienced this? Is this a weird
> quirk of an M1 MacBook?
>
> Full terminal output is included as an attachment.
>
> With regards, Jan
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/07f90893-b1b4-40c8-aa05-9404e679a970n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/07f90893-b1b4-40c8-aa05-9404e679a970n%40googlegroups.com?utm_medium=email&utm_source=footer>.