Spinroot

A forum for Spin users

You are not logged in.

#1 2012-07-31 21:56:46

rileyrob
Member
Registered: 2012-07-31
Posts: 7

"Access denied" when attempting to compile verifier from cmd line

Hi,

From the command line, I built my model and attempted to compile the verifier and it gives me "Access Denied":

      C:\Data\ProtocolAnalysis>spin -a RA_Scheduling.pml

      C:\Data\ProtocolAnalysis>cc -o pan pan.c
      Access is denied.

      C:\Data\ProtocolAnalysis>

Does anyone know why I'm getting access denied? I am running on Windows 7 and I know some things require you to run as administrator but I have administrator privileges on my machine. Additionally, I can generate/run the verifier from within the GUI so...

Thanks,
Robin

Offline

#2 2012-08-02 00:41:09

spinroot
forum
Registered: 2010-11-18
Posts: 694
Website

Re: "Access denied" when attempting to compile verifier from cmd line

it looks like you possibly do not have write permission in the directories used by the c compiler,
or, you do not have access to the c compiler from within that windows command shell.
i tend to recommend cygwin as a more hospitable unix-like environment -- and cannot offer much help with a native windows command shell

Offline

#3 2012-08-07 13:00:16

rileyrob
Member
Registered: 2012-07-31
Posts: 7

Re: "Access denied" when attempting to compile verifier from cmd line

actually, for some reason when cygwin installed, it installed with everything read-only, no execute permission. once i changed permissions, it worked. thanks

Offline

Board footer

Powered by FluxBB