diff --git a/solve/build.gradle b/solve/build.gradle index e0e51ee906f59f7f619cf42199167a6946270ec8..2af7514a84c2d5d0725bea46e2eb5f38ae94acd7 100644 --- a/solve/build.gradle +++ b/solve/build.gradle @@ -47,9 +47,11 @@ task preprocess(type: JavaExec) { main = "-jar" args = [ "libs/relast-compiler.jar", - "./src/main/jastadd/SocialNetwork.relast", + "--grammarName=src/main/jastadd/SocialNetworkGen", "--listClass=RefList", - "--file" + "--useJastAddNames", + "--file", + "src/main/jastadd/SocialNetwork.relast" ] inputs.files file("./src/main/jastadd/SocialNetwork.relast") @@ -68,7 +70,7 @@ task jastadd(type: JavaExec) { "--incremental=param,debug", "--package=de.tudresden.inf.st.ttc18live.jastadd.model", "--o=src/gen/java", - "--tracing", + "--tracing=api", ] + fileTree("./src/main/jastadd/").matching {exclude "*.relast"}.matching {exclude "*.unused"} doFirst { diff --git a/solve/libs/jastadd2.jar b/solve/libs/jastadd2.jar index 09255c49ed78adddd355733ddb944c9b3586725a..ea4b460839830a10fffbccbf89819fe67fca4a13 100644 Binary files a/solve/libs/jastadd2.jar and b/solve/libs/jastadd2.jar differ diff --git a/solve/libs/relast-compiler.jar b/solve/libs/relast-compiler.jar index b34b7ad458dc69677a919df76e649aa72b773873..1437dc7e386d47033e5bdeb34b6bafbd845aa9be 100644 Binary files a/solve/libs/relast-compiler.jar and b/solve/libs/relast-compiler.jar differ