How to use PRISM in JAVA project

[FATMA FATMA]

hello, 

I am trying to use PRISM in the JAVA project on Windows 10; but the following error message appears when I add the PRISM jar (I have tried multiple versions)

java.lang.UnsatisfiedLinkError: no jdd in java.library.path

IDE: Eclipse

java version 1.8.0_31

please how to solve this problem?

thank's.

[Dave Parker]

Hi Fatma,

You need to make sure that the location of PRISM's native libraries (on
Windows, the DLL files in the prism/lib directory) is set up. On
Windows, that means setting the PATH variable.

Full instructions for Eclipse are here:

https://github.com/prismmodelchecker/prism/wiki/Setting-up-Eclipse

Best wishes,

Dave

> hello,
> I am trying to use PRISM in the JAVA project on Windows 10; but the
> following error message appears when I add the PRISM jar (I have tried
> multiple versions)

> *java.lang.UnsatisfiedLinkError: no jdd in java.library.path*
> *
> *

[FATMA FATMA]

Hi Dave, 

I followed the instructions in the link you gave me, but I have the following problem (I tried first cd cudd/

rmdir lib/ 
./setup.sh
cd ..

make OSTYPE=cygwin )

:

G:\PRISM\MC\prism\prism>make OSTYPE=cygwin

VERSION: 4.6.dev

OSTYPE/ARCH: cygwin x86_64

JAVA_DIR: /c/Program Files (x86)/Java/jdk1.8.0_31

JAVA_DIR_BACKUP:

JAVAC: /c/Program Files (x86)/Java/jdk1.8.0_31/bin/javac.exe

Making cudd ...

make[1]: Entering directory `/g/PRISM/MC/prism/cudd'

sh ./setup.sh

Making cudd ...

make[2]: Entering directory `/g/PRISM/MC/prism/cudd/cudd'

/usr/bin/x86_64-w64-mingw32-gcc -c  cuddAPI.c -I../include -O3 -Wformat  -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=4 -static-libgcc -static-libstdc++

make[2]: /usr/bin/x86_64-w64-mingw32-gcc: Command not found

make[2]: *** [cuddAPI.o] Error 127

make[2]: Leaving directory `/g/PRISM/MC/prism/cudd/cudd'

Making dddmp ...

and I tried the following commands:

C:\Windows\System32>uname -o

Msys

C:\Windows\System32>uname -s

MINGW32_NT-6.2

C:\Windows\System32>uname -a

MINGW32_NT-6.2 FK 1.0.19(0.48/3/2) 2016-07-13 17:45 i686 Msys

MINGW I have installed it in order to use make.

[Dave Parker]

It looks like you are missing some Cygwin packages, probaby
mingw64-x86_64-gcc-g++. See:

https://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions#cygwin

Dave

On 05/03/2021 19:11, FATMA FATMA wrote:
> Hi Dave,
> I followed the instructions in the link you gave me, but I have the
> following problem (I tried first cd cudd/
> rmdir lib/
> ./setup.sh
> cd ..
> make OSTYPE=cygwin)
> :

> *G:\PRISM\MC\prism\prism>make OSTYPE=cygwin*
> *VERSION: 4.6.dev*
> *OSTYPE/ARCH: cygwin x86_64*
> *JAVA_DIR: /c/Program Files (x86)/Java/jdk1.8.0_31*
> *JAVA_DIR_BACKUP:*
> *JAVAC: /c/Program Files (x86)/Java/jdk1.8.0_31/bin/javac.exe*
> *Making cudd ...*
> *make[1]: Entering directory `/g/PRISM/MC/prism/cudd'*
> *sh ./setup.sh*
> *Making cudd ...*
> *make[2]: Entering directory `/g/PRISM/MC/prism/cudd/cudd'*
> */usr/bin/x86_64-w64-mingw32-gcc -c  cuddAPI.c -I../include -O3

> -Wformat  -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0
> -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0
> -DHAVE_SYS_WAIT_H=0 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=4 -static-libgcc

> -static-libstdc++*
> *make[2]: /usr/bin/x86_64-w64-mingw32-gcc: Command not found*
> *make[2]: *** [cuddAPI.o] Error 127*
> *make[2]: Leaving directory `/g/PRISM/MC/prism/cudd/cudd'*
> *Making dddmp ...*

> --
> 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/31ddf83a-6588-4f5b-9e20-a418ce7dd737n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/31ddf83a-6588-4f5b-9e20-a418ce7dd737n%40googlegroups.com?utm_medium=email&utm_source=footer>.

[FATMA FATMA]

Hi Dave,

thank you for your advice.

I have updated the cygwin installation and run the  command  make OSTYPE=cygwin , but the following error appears:
Copying obj/prism/ngprism.exe -> bin/ngprism.exe
cp: cannot stat 'obj/prism/ngprism.exe': No such file or directory
make: *** [Makefile:396: bin_scripts] Error 1  

I looked in the obj subfolder and found it to be empty; if I comment out this line in Makefile is it causing a problem in the operation of prism?

[FATMA FATMA]

Hi, 

I tried to comment this two line of code:

@echo Copying "$(PRISM_OBJ_DIR)/prism/ngprism$(EXE) -> bin/ngprism$(EXE)" && \

cp $(PRISM_OBJ_DIR)/prism/ngprism$(EXE) bin/ngprism$(EXE)

 to avoid this problem:

Copying obj/prism/ngprism.exe -> bin/ngprism.exe
cp: cannot stat 'obj/prism/ngprism.exe': No such file or directory
make: *** [Makefile:396: bin_scripts] Error 1    

 but I got another error:

Fichier introuvable - *.bat

Please, how to avoid these problems?

[Dave Parker]

Hi Fatma,

ngprism is not essential, but if make did not succeed in building it,
there may be other things going wrong too.

If your Cygwin install has the right packages now, I suggest doing a
clean install and checking for any error messages. Either do "make
OSTYPE=darwin clean_all" or unzip/clone a fresh copy, and start again.

Best wishes,

Dave

On 08/03/2021 08:51, FATMA FATMA wrote:
> Hi,
> I tried to comment this two line of code:

> *@echo Copying "$(PRISM_OBJ_DIR)/prism/ngprism$(EXE) ->
> bin/ngprism$(EXE)" && \*
> *cp $(PRISM_OBJ_DIR)/prism/ngprism$(EXE) bin/ngprism$(EXE)*
>  to avoid this problem:
> /*Copying obj/prism/ngprism.exe -> bin/ngprism.exe

> cp: cannot stat 'obj/prism/ngprism.exe': No such file or directory

> make: *** [Makefile:396: bin_scripts] Error 1*/

>  but I got another error:

> *Fichier introuvable - *.bat*

>
> Please, how to avoid these problems?
> Le dimanche 7 mars 2021 à 05:58:06 UTC+1, FATMA FATMA a écrit :
>
> Hi Dave,
> thank you for your advice.

> I have updated the cygwin installation and run the  command *make
> OSTYPE=cygwin* , but the following error appears:
> /*Copying obj/prism/ngprism.exe -> bin/ngprism.exe

> cp: cannot stat 'obj/prism/ngprism.exe': No such file or directory

> make: *** [Makefile:396: bin_scripts] Error 1*/

> I looked in the obj subfolder and found it to be empty; if I comment
> out this line in Makefile is it causing a problem in the operation
> of prism?
>
> Le vendredi 5 mars 2021 à 23:19:28 UTC+1, d.a.parker a écrit :
>
> It looks like you are missing some Cygwin packages, probaby
> mingw64-x86_64-gcc-g++. See:
>
> https://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions#cygwin
> <https://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions#cygwin>
>
>
> Dave
>
> On 05/03/2021 19:11, FATMA FATMA wrote:
> > Hi Dave,
> > I followed the instructions in the link you gave me, but I
> have the
> > following problem (I tried first cd cudd/
> > rmdir lib/
> > ./setup.sh
> > cd ..
> > make OSTYPE=cygwin)
> > :
> > *G:\PRISM\MC\prism\prism>make OSTYPE=cygwin*

> > *VERSION: 4.6.dev <http://4.6.dev>*

> <https://groups.google.com/d/msgid/prismmodelchecker/31ddf83a-6588-4f5b-9e20-a418ce7dd737n%40googlegroups.com?utm_medium=email&utm_source=footer
> <https://groups.google.com/d/msgid/prismmodelchecker/31ddf83a-6588-4f5b-9e20-a418ce7dd737n%40googlegroups.com?utm_medium=email&utm_source=footer>>.

>
>
> --
> 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/4bf6e744-2748-4574-b369-70bcb1eed983n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/4bf6e744-2748-4574-b369-70bcb1eed983n%40googlegroups.com?utm_medium=email&utm_source=footer>.