Spinroot

A forum for Spin users

You are not logged in.

#1 Re: Bug Reports » tempfile and Windows » 2011-05-02 05:24:47

Thank you very much!  I really appreciate it!
Matt

#2 Bug Reports » tempfile and Windows » 2011-05-02 05:06:24

mattklein
Replies: 3

Hello!  I am attempting to use Spin for the first time as part of one of my classes.  I am trying to follow along with the “GettingStarted.html” file, but I run into the following problem.

After attempting #3 of the GettingStarted.html, my log is as follows:

Spin Version 6.0.1 -- 16 December 2010
iSpin Version 1.0.4 -- 11 February 2011
TclTk Version 8.5/8.5
1 D:/Spin/leader.pml:1
2 syntax check
spin: leader.pml:28, Error: cannot create temporary file
child process exited abnormally

I have attempted this on both a Windows 7 and Windws XP SP3 machine with the same result. I know spinroot said this would be fixed in the next release, [url]http://spinroot.com/fluxbb/viewtopic.php?pid=150[/url] post #10, but I was wondering what the work around is for now for running this on a Windows machine.

Thank you,
Matt

Board footer

Powered by FluxBB