From 2e1c6fb26bec03f76f8e3bfe70e280d79cddda12 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Thu, 3 Mar 2022 14:48:42 +0100
Subject: [PATCH] working on tina integration

---
 build.gradle | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/build.gradle b/build.gradle
index b73c7ab..db96906 100644
--- a/build.gradle
+++ b/build.gradle
@@ -142,27 +142,27 @@ jastadd {
 
             jastadd {
                 basedir ".."
-                include "pnml-relast-splitter/src/main/jastadd/**/*.ast"
+         //       include "pnml-relast-splitter/src/main/jastadd/**/*.ast"
                 include "pnml-relast-splitter/src/main/jastadd/**/*.jadd"
-                include "pnml-relast-splitter/src/main/jastadd/**/*.jrag"
+          //      include "pnml-relast-splitter/src/main/jastadd/**/*.jrag"
 
-                include "pnml-relast-base/src/main/jastadd/**/*.ast"
+          //      include "pnml-relast-base/src/main/jastadd/**/*.ast"
                 include "pnml-relast-base/src/main/jastadd/**/*.jadd"
-                include "pnml-relast-base/src/main/jastadd/**/*.jrag"
+            //    include "pnml-relast-base/src/main/jastadd/**/*.jrag"
                 include "pnml-relast-base/src/gen/jastadd/**/*.ast"
                 include "pnml-relast-base/src/gen/jastadd/**/*.jadd"
-                include "pnml-relast-base/src/gen/jastadd/**/*.jrag"
+            //    include "pnml-relast-base/src/gen/jastadd/**/*.jrag"
             }
 
             scanner {
                 basedir ".."
-                include "pnml-relast-base/main/jastadd/PnmlScanner.flex"
-                include "pnml-relast-base/jastadd/clauses/expressions.flex"
+            //    include "pnml-relast-base/main/jastadd/PnmlScanner.flex"
+                include "pnml-relast-base/src/main/jastadd/clauses/expressions.flex"
             }
 
             parser {
                 basedir ".."
-                include "pnml-relast-base/jastadd/PnmlParser.parser"
+            //    include "pnml-relast-base/jastadd/PnmlParser.parser"
             }
         }
     }
-- 
GitLab