[SMT-LIB] a question about Benchmark Scrambler

[jieling ai]

Hi all,
I had a problem when I tried to run benchmark scrambler.
I downloaded the source code and followed the instructions in this link
http://www.smtcomp.org/2009/scrambler.shtml, which are "*To build:* tar xfz
scrambler.tgz; cd scrambler; make allj *To use:* java -jar scrambler.jar
[+pats] *seed* *file.smt*"

When I executed "make allj", I got this error:
"jar cfe scrambler.jar Main *.class
•
jar: invalid option – e"
I noticed "jar cfe scrambler.jar Main *.class" is a command in Makefile(the
downloaded code), but in my enviroment,  -e option is not recognized.

I was wondering is that because of my enviroment? I run it on
Cygwin/Windows.

Thank you very much!
<http://www.smtcomp.org/2009/scrambler.shtml>
-- 
Jieling