Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
#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
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