-
This is obviously not a bug. You don't have JDK installed.
2008-03-21 15:14:01 UTC by nobody
-
Hello,
The makefile runs unix commands, and will probably not work on windows.
At some point, we may replace the makefile with an ant build system.
If you downloaded a distribution, the compiled JSHOP2.jar should be included.
2008-02-12 21:14:23 UTC by ronwalf
-
Hello,
The make file is meant to run on a unix system.
If you downloaded the distribution, there should be a bin\JSHOP2.jar which is already compiled.
Since you are on windows, the make file is not directly useful, but it should be instructive in how to compile the examples.
2008-02-12 21:09:37 UTC by ronwalf
-
hello
I am very new for Jshop2.
I dowloaded and try to check how it works. I follow the procedures in readme but I gor this error:
c:\jshop2\make c
make verison 5.2 copyright(c)1987,2000 borland
cd src/shop2; java antlr.tool shop2.g; javac *.java
**error -1** deleting c
is there anyone what does it mean? and what shall I do?
abrehet.
2008-02-12 17:42:42 UTC by abrehet
-
Hi i am trying to use jshop2
while using make i am getting the error
C:\JSHOP2>make
ANTLR Parser Generator Version 2.7.6 (2005-12-22) 1989-2005
JSHOP2.g:580: warning:nondeterminism between alts 2 and 6 of block upon
JSHOP2.g:580: k==1:LP
JSHOP2.g:580: k==2:LP,RP,"nil",VARID
'javac' is not recognized as an internal or external command,
operable program or batch file...
2008-02-08 11:48:24 UTC by nobody
-
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).
2007-10-11 02:20:25 UTC by sf-robot
-
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).
2007-10-10 02:20:08 UTC by sf-robot
-
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).
2007-10-10 02:20:08 UTC by sf-robot
-
Fix pending for next release.
getIterator needs the constructor calls for the contained preconditions, so this would mean generating a new class for each forall statement.
Instead, I fixed the code generated from LogicalExpressionConjunction so that it doesn't prematurely bind preconditions.
2007-09-27 02:06:29 UTC by ronwalf
-
Fix pending (in next release).
2007-09-25 17:28:16 UTC by ronwalf