You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
➜ Casper-master ./bin/casperc -nooutput -stdout -w 10000 WordCount.java
/Users/Big Data/Casper-master/WordCount.java:7:
Could not find type "List".
countWords(List words, Map<String, Integer> counts) {
^--^
Another issue is the run.sh script says nodejs not found even when its there:
➜ bin ./check.sh
checking for java... /usr/bin/java
FOUND! checking for nodejs... MISSING!
checking for dafny... /Users/Big Data/Casper-master/dafny/dafny
FOUND!
checking for sketch... /Users/Big Data/Casper-master/sketch-1.6.7/sketch-frontend/sketch
FOUND!
checking for ant... /usr/local/bin/ant
FOUND!
➜ bin nodejs --version
v6.3.1
➜ bin
The text was updated successfully, but these errors were encountered:
As for the first problem: I am not able to reproduce the error. Could you provide me more details about your setup?
As for the second issue, good catch! Creating a symlink from "node" to "nodejs" should satisfy the check script: $ ln -s /usr/local/bin/node /usr/local/bin/nodejs
Just FYI: We also just put up a Docker image with everything installed and configured to make trying out Casper easier (instructions can be found in the readme file). Please let me know if I can help you with anything else.
➜ Casper-master ./bin/casperc -nooutput -stdout -w 10000 WordCount.java
/Users/Big Data/Casper-master/WordCount.java:7:
Could not find type "List".
countWords(List words, Map<String, Integer> counts) {
^--^
Another issue is the run.sh script says nodejs not found even when its there:
➜ bin ./check.sh
checking for java... /usr/bin/java
FOUND!
checking for nodejs... MISSING!
checking for dafny... /Users/Big Data/Casper-master/dafny/dafny
FOUND!
checking for sketch... /Users/Big Data/Casper-master/sketch-1.6.7/sketch-frontend/sketch
FOUND!
checking for ant... /usr/local/bin/ant
FOUND!
➜ bin nodejs --version
v6.3.1
➜ bin
The text was updated successfully, but these errors were encountered: