Spinroot

Mara

Member

Registered: 2012-05-30

Posts: 24

pan renaming

Hi all!
I'm trying to convert a huge amount of trail files, all contained in a single directory, and I'm working in a distributed environment.

I was simply calling spin in this way, for each trail:

spin -p -k trail_name.trail  -c pml_pgm_name.pml > txt_trail_file_name.txt

However, when working with different concurrent jobs, these translation fails, because different jobs may call spin at the same time, generating different pan files overwriting each other.

So my question is: there exist a compilation option that allows to change the name pan to something else?

Thank you very much,
Mara

spinroot

forum

Registered: 2010-11-18

Posts: 695

Website

Re: pan renaming

no, sorry, that's not a usage mode we have foreseen
you may get around this by letting each job create its own working directory before it generates the pan.c files
(e.g., it could create a unique sub-directory using the pid as part of the subdirectory name)

Mara

Member

Registered: 2012-05-30

Posts: 24

Re: pan renaming

Yes, creating a different directory is the only way.
Thank you very much for the answer

Mara