Skip to content

Toolkit compilation fails with "TTokenCoupleSolvers.java:30: error: cannot find symbol"

When invoking make all or ./build.sh in the Toolkit directory, an error occurs, ie.

javac -sourcepath . eu/exahype/node/TTokenCoupleSolvers.java  
eu/exahype/node/TTokenCoupleSolvers.java:30: error: cannot find symbol
        ((Analysis) sw).caseTTokenCoupleSolvers(this);
                       ^
  symbol:   method caseTTokenCoupleSolvers(TTokenCoupleSolvers)
  location: interface Analysis

cf.: toolkit-build.log

Reported to Tobias at 2016-12-23:

thanks for the present! Unfortunately, the toolkit no more compiles for me. Seems to be a problem with the code generated by SableCC. I'm compiling with OpenJDK javac 1.7.0.

Answer:

probier mal ein make clean. Das ist kein Java-spezifischer Fehler. Das ist was Dependencies-meassiges. Kannst auch mal das nodes Verzeichnis loeschen. Das war bei mir mal ein Problem,

Make clean doesn't help.