Not compiling anymore.. :-(

[ssardina]

In the new Linux/Ubuntu distro with new gcc, and cmake, both NuSMV 2.6.0 and hence NuGAT 0.6.0 both break at compilation time :-(

@leonking4 , you are the C++ guru, would you be able to help us out with this to recover NuGAT in a modern LInux? We still use it for some game-solving problems! NuSMV gives errors like this one:

It's totally OK if you don't have bandwidth, but if you want to have dream backs.. I can put the NuSMCV into its own repo

[leonking4]

vi NuSMV-2.6.0/cudd-2.4.1.1/util/pipefork.c

replace line41 with:

if (defined linux) || (defined hpux) || (defined osf__) || (defined _IBMR2) || (defined SVR4) || (defined CYGWIN32) || (defined MINGW32__)

[ssardina]

Thanks @leonking4 Lorenzo for replying!

Interesting, so it may be more to do with the cudd library in NuSMV....

I went there and this is what I see:

Is line 41 what you suggest to replace? Or 38?

I got NuSMV and it didn't compile either, I fixed a few glitches and upgraded Python script but I get this:

writing NuSMV config file
CMake Error at CMakeLists.txt:472 (get_target_property):
  get_target_property() called with non-existent target
  "/usr/lib/x86_64-linux-gnu/libm.so".

CMake Error at CMakeLists.txt:472 (get_target_property):
  get_target_property() called with non-existent target
  "/usr/lib/x86_64-linux-gnu/libreadline.so".

CMake Error at CMakeLists.txt:472 (get_target_property):
  get_target_property() called with non-existent target
  "/usr/lib/x86_64-linux-gnu/libncurses.so".

I am not sure how you found the NuSMV system, and if we are talking about the very same release, so I put the version here:

https://github.com/ssardina-planning/nusmv

[leonking4]

Hi Sebastian!

Yes, i think is the same, the row 43, just added (defined linux) || to the #ifdef, because it is needed to enable the int status.

Let me know if it works.

Lorenzo

On Mon, 26 Jun 2023 at 01:19, Sebastian Sardina @.***> wrote:

Thanks @leonking4 https://github.com/leonking4 Lorenzo for replying!

Interesting, so it may be more to do with the cudd library in NuSMV....

I went there and this is what I see:

[image: image] https://user-images.githubusercontent.com/2368384/248594566-bbfca920-b8e7-4e83-a749-c1b2b140e043.png

Is line 41 what you suggest to replace? Or 38?

I got NuSMV and it didn't compile either, I fixed a few glitches and upgraded Python script but I get this:

writing NuSMV config file CMake Error at CMakeLists.txt:472 (get_target_property): get_target_property() called with non-existent target "/usr/lib/x86_64-linux-gnu/libm.so".

CMake Error at CMakeLists.txt:472 (get_target_property): get_target_property() called with non-existent target "/usr/lib/x86_64-linux-gnu/libreadline.so".

CMake Error at CMakeLists.txt:472 (get_target_property): get_target_property() called with non-existent target "/usr/lib/x86_64-linux-gnu/libncurses.so".

I am not sure how you found the NuSMV system, and if we are talking about the very same release, so I put the version here:

https://github.com/ssardina-planning/nusmv

— Reply to this email directly, view it on GitHub https://github.com/ssardina-planning/nugat-0.6.0/issues/3#issuecomment-1606315584, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABJNCQ6TAFY7CWKC4PFPIW3XNDBPBANCNFSM6AAAAAAYO3P4UQ . You are receiving this because you were mentioned.Message ID: @.***>

[ssardina]

Hi Lorenzo!!

What about Napoli eh!!?? Ohh I am so happy..

This is what I changed based on your suggestion (and committed to the repo):

CMAKE complains much less, but still has:

I note that all 3 .so are available in those paths:

[ssardina]

Here is the problem in CMAKE:

And this is what prints put with my message added:

Clearly the ones that give error have a path rather than a "name" in capital letters, something is funny there